Effective static race detection for java”. (2006)

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