Pointer analysis for multithreaded programs (1999)

by R Rugina, M Rinard
Venue:Proceedings of the Programming Language Design and Implementation (PLDI