Type inference for locality analysis of distributed data structures

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Volumn , Issue , 2008, Pages 11-22

  Chandra, Satish ^a   Saraswat, Vijay ^a   Sarkar, Vivek ^b   Bodik, Rastislav ^c  

^a IBM RESEARCH   (United States)

^b RICE UNIVERSITY   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Equality based constraint system; Partitioned global address space; Type inference; Unification; X10

Indexed keywords

DATA STRUCTURES; INFERENCE ENGINES; PARALLEL PROGRAMMING; PROGRAM COMPILERS;

CONSTRAINT SYSTEMS; DEPENDENT TYPE SYSTEM; DISTRIBUTED DATA STRUCTURES; HEAP DATA STRUCTURES; PARTITIONED GLOBAL ADDRESS SPACE; TYPE INFERENCE ALGORITHM; TYPE INFERENCES; UNIFICATION;

FUNCTIONAL PROGRAMMING;

EID: 58549113687     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1345206.1345211     Document Type: Conference Paper

References (13)

1. Watson Libraries for Program Analysis WALA). URL wala. sf .net.
2. Report on the experimental language X10. URL x10. sf.net.
3. Christopher Barton, Cálin Casçaval, George Almási, Yili Zheng, Montse Farreras, Siddhartha Chatterje, and José Nelson Amaral. Shared memory programming for large scale machines. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, pages 108-117, New York, NY, USA, 2006. ACM Press. ISBN 1-59593-320-4.
4. Martin C. Carlisle and Anne Rogers. Software caching and computation migration in Olden. Journal of Parallel and Distributed Computing, 38 (2):248-255, 1996.
5. Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, and Vivek Sarkar. X10: an object-oriented approach to non-uniform cluster computing. In OOPSLA, pages 519-538, 2005.
6. Sigmund Cherem and Radu Rugina. Region analysis and transformation for Java programs. In ISMM '04: Proceedings of the 4th international symposium on Memory management, pages 85-96, New York, NY, USA, 2004. ACM. ISBN 1-58113-945-4.
7. Cristian Coarfa, Yuri Dotsenko, John Mellor-Crummey, François Cantonnet, Tarek El-Ghazawi, Ashrujit Mohanti, Yiyi Yao, and Daniel Chavarria-Miranda. An evaluation of global address space languages: co-array Fortran and unified parallel C. In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, pages 36-47, New York, NY, USA, 2005. ACM Press. ISBN 1-59593-080-9.
8. L. Damas and R. Milner. Principal type schemes in functional programming. In Proceedings of the 1982 Symposium on Principles of Programming Languages, 1982.
9. F. Henglein. Type inference with polymoprphic recursion. ACM Transactions on Programming Languages and Systems, 15, 1993.
10. Ben Liblit and Alexander Aiken. Type systems for distributed data structures. In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 199-213, New York, NY, USA, 2000. ACM Press. ISBN 1-58113-125-9.
11. N. Nystrom, M. Clarkson, and A. Myers. Polyglot: An extensible compiler framework for Java. In 12th International Conference on Compiler Construction, 2003.
12. Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 1997.
13. Yingchun Zhu and L. J. Hendren. Locality analysis for parallel C programs. In PACT '97: Proceedings of the 1997 International Conference on Parallel Architectures and Compilation Techniques, page 2, Washington, DC, USA, 1997. IEEE Computer Society. ISBN 0-8186-8090-3.