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

by J D Choi, K Lee, A Loginov, R O’Callahan, V Sarkar, M Sridharan
Venue:In Conference on Programing Language Design and Implementation