Dinakar Dhurjati Sumant Kowshik Vikram S. Adve SAFECode: enforcing alias analysis for weakly typed languages. 144-157 2006 conf/pldi/2006 PLDI http://doi.acm.org/10.1145/1133981.1133999 db/conf/pldi/pldi2006.html#DhurjatiKA06