Race Checking by Context Inference (2004)

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