Shivali Agarwal Rajkishore Barik V. Krishna Nandivada R. K. Shyamasundar Pradeep Varma Static Detection of Place Locality and Elimination of Runtime Checks. 53-74 2008 APLAS http://dx.doi.org/10.1007/978-3-540-89330-1_5 conf/aplas/2008 db/conf/aplas/aplas2008.html#AgarwalBNSV08