Satish Chandra Vijay A. Saraswat Vivek Sarkar Rastislav Bodík Type inference for locality analysis of distributed data structures. 11-22 2008 PPOPP http://doi.acm.org/10.1145/1345206.1345211 conf/ppopp/2008 db/conf/ppopp/ppopp2008.html#ChandraSSB08