Effective static race detection for Java (2006)

by M Naik, A Aiken, J Whaley
Venue:In PLDI