Prakash Prabhu Priti Shankar Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. 110-127 2008 SAS http://dx.doi.org/10.1007/978-3-540-69166-2_8 conf/sas/2008 db/conf/sas/sas2008.html#PrabhuS08