FastTrack: Efficient and Precise Dynamic Race Detection (2009)

by C Flanagan, S N Freund
Venue:In ACM Conference on Programming Language Design and Implementation