Race checking by context inference (2004)

by T A Henzinger, R Jhala, R Majumdar
Venue:In PLDI