Atomizer: a dynamic atomicity checker for multithreaded programs.

Cormac Flanagan, Stephen N. Freund

Browse the full POPL paper archive.