Race checking by context inference.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

Browse the full PLDI paper archive.