Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs.

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

Browse the full PLDI paper archive.