Efcient and precise datarace detection for multithreaded object-oriented programs (2002)

by J Choi, K Lee, A Loginov, V Sarkar R O'Callahan, M Sridharan
Venue:In PLDI