Sound predictive race detection in polynomial time.

Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan

Browse the full POPL paper archive.