Sound predictive race detection in polynomial time. (2012)

by Y Smaragdakis, J Evans, C Sadowski, J Yi, C Flanagan
Venue:In POPL,