Static datarace analysis for multithreaded object-oriented programs (2001)

by J-D Choi, A Loginov, V Sarkar
Venue:IBM Research Division, Thomas J. Watson Research Center