Effective static race detection for Java.

Mayur Naik, Alex Aiken, John Whaley

Browse the full PLDI paper archive.