FastTrack: efficient and precise dynamic race detection.

Cormac Flanagan, Stephen N. Freund

Browse the full PLDI paper archive.