Specifying and checking semantic atomicity for multithreaded programs.

Jacob Burnim, George C. Necula, Koushik Sen

Browse the full ASPLOS paper archive.