Effective Static Analysis to Find Concurrency Bugs in Java.

Zhi Da Luo, Linda Hillis, Raja Das, Yao Qi

Browse the full SCAM paper archive.