Race Checking by Context Inference (2004)

by Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar
Venue:In PLDI
Citations:86 - 5 self