Sangmin has a new paper on Unicorn, a tool to pinpoint the location of bugs in parallel and concurrent software programs. Unicorn generalizes his prior work on Falcon to include the case when a bug in a concurrent program involves more than variable (so-called multivariable atomicity violations). The Unicorn paper will appear in the 2012 International Conference on Software Testing, Verification, and Validation (ICST). Congratulations to Sangmin and his advisor, Mary Jean Harrold!
Citation: S. Park, R. Vuduc, and M. J. Harrold. “A unified approach for localizing non-deadlock concurrency bugs.” In Proc. IEEE Int’l. Conf. Software Testing, Verification, and Validation (ICST), Montréal, Canada, April 2012. (accepted)