FastTrack: Efficient and precise dynamic race detection (2009)

by C Flanagan, S Freund
Venue:In Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation