VerifiedFT: a verified, high-performance precise dynamic race detector.

James R. Wilcox, Cormac Flanagan, Stephen N. Freund

Browse the full PPoPP paper archive.