FastTrack: efficient and precise dynamic race detection (2009)

by Cormac Flanagan, Stephen N Freund
Venue:In PLDI '09: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation