Pacer: Proportional Detection of Data Races (2010)

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