Alexandru Salcianu Martin C. Rinard Pointer and escape analysis for multithreaded programs. 12-23 2001 PPOPP http://doi.acm.org/10.1145/379539.379553 db/conf/ppopp/ppopp2001.html#SalcianuR01