Pacer: proportional detection of data races (0)

by M Bond, K Coons, K McKinley
Venue:In PLDI’11