SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.

Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan

Browse the full ESOP paper archive.