Towards Dynamic Shaping

Shape theory supports techniques for static analysis of the shapes of data structures. This information is being used both to detect errors and to optimise sequential computation. The same techniques will improve the compilation of data parallel programs when all shapes can be statically determined. Even when shapes are not known until execution, research into nested data parallel languages shows that shape information may also be beneficial. This paper considers how shape analysis should be approached in the dynamic setting.

[1]  C. Barry Jay.  Costing parallel programs as a function of shapes , 2000, Sci. Comput. Program..

[2]  Ramesh Subramonian,et al.  LogP: towards a realistic model of parallel computation , 1993, PPOPP '93.

[3]  Murray Cole,et al.  A Monadic Calculus for Parallel Costing of a Functional Language of Arrays , 1997, Euro-Par.

[4]  Robert Harper,et al.  Compiling polymorphism using intensional type analysis , 1995, POPL '95.

[5]  David B. Skillicorn,et al.  Optimizing Data-Parallel Programs Using the BSP Cost Model , 1998, Euro-Par.

[6]  J. C. Hardwick,et al.  Porting a vector library: a comparison of MPI, Paris, CMMD and PVM , 1994, Proceedings Scalable Parallel Libraries Conference.

[7]  Rice UniversityCORPORATE,et al.  High performance Fortran language specification , 1993 .

[8]  Kevin Hammond,et al.  Research Directions in Parallel Functional Programming , 1999, Springer London.

[9]  C. Barry Jay,et al.  A Semantics for Shape , 1995, Sci. Comput. Program..

[10]  Siddhartha Chatterjee,et al.  Compiling nested data-parallel programs for shared-memory multiprocessors , 1993, TOPL.

[11]  Eugenio Moggi,et al.  Notions of Computation and Monads , 1991, Inf. Comput..

[12]  Daniel W. Palmer,et al.  Transforming high-level data-parallel programs into vector operations , 1993, PPOPP '93.

[13]  Guy E. Blelloch,et al.  Implementation of a portable nested data-parallel language , 1993, PPOPP '93.

[14]  Guy E. Blelloch,et al.  Compiling Collection-Oriented Languages onto Massively Parallel Computers , 1990, J. Parallel Distributed Comput..

[15]  C. Barry Jay,et al.  Partial Evaluation of Shaped Programs: Experience with FISh , 1999, PEPM.

[16]  Philip Wadler,et al.  Comprehending monads , 1990, LISP and Functional Programming.