Type inference for locality analysis of distributed data structures.

Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodk

Browse the full PPoPP paper archive.