Effective static race detection for java (2006)

by M Naik, A Aiken
Venue:in SIGPLAN Conference on Programming Language Design and Implementation (PLDI