PACER: Proportional detection of data races (2010)

by M D Bond, K E Coons, K S McKinley
Venue:In Proceedings of the ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation