Effective Static Analysis to Find Concurrency Bugs in Java. - Zhi Da Luo; Linda Hillis; Raja Das; Yao Qi (SCAM, 2010)