FastTrack: efficient and precise dynamic race detection (2009)

by C Flanagan, S N Freund
Venue:In Proceedings of PLDI