Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.

Cormac Flanagan, Stephen N. Freund, Jaeheon Yi

Browse the full PLDI paper archive.