Pointer Analysis for Multithreaded Programs (1999)

by Radu Rugina, Martin Rinard
Venue:ACM SIGPLAN 99