Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (2002)

by Jong-deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan