@TechReport{HPF2, author = {High Performance Fortran Forum}, title = {High Performance Fortran Language Specification Version 2.0}, institution = {Rice University}, year = 1997} @Book{mpi2, author = {William Gropp and Steven Huss-Lederman and Andrew Lumsdaine and Ewing Lusk and Bill Nitzberg and William Saphir and Marc Snir}, title = {MPI: The Complete Reference (Vol. 2)}, publisher = {The MIT Press}, year = 1998 } @InProceedings{keller-chak:tflat, author = {Gabriele Keller and Manuel M. T. Chakravarty}, title = {Flattening Trees}, booktitle = {Euro-Par'98, Parallel Processing}, pages = {709--719}, year = 1998, editor = {David Pritchard and Jeff Reeve}, number = {1470}, series = {Lecture Notes in Computer Science}, address = {Berlin}, publisher = {Springer-Verlag} } @InProceedings{chak-keller:more-types, author = {Manuel M. T. Chakravarty and Gabriele Keller}, title = {More Types for Nested Data Parallel Programming}, editor = {Philip Wadler}, booktitle = {Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP'00)}, year = 2000, publisher = {ACM Press}, pages = {94--105} } @InProceedings{leshchinskiy-etal:ho-flattening, author = {Roman Leshchinskiy and Manuel M. T. Chakravarty and Gabriele Keller}, title = {Higher Order Flattening}, booktitle = {Third International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2006)}, year = 2006, number = 3992, series = {LNCS}, publisher = {Springer-Verlag} } @inproceedings{appel-jim:CPS-CPS, author = {A. W. Appel and T. Jim}, title = {Continuation-passing, closure-passing style}, booktitle = {POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, year = {1989}, isbn = {0-89791-294-2}, pages = {293--302}, location = {Austin, Texas, United States}, doi = {http://doi.acm.org/10.1145/75277.75303}, publisher = {ACM Press}, address = {New York, NY, USA}, } @Manual{CUDA, title = {NVIDIA CUDA Compute Unified Device Architecture, Programming Guide, Version 1.1}, organization = {NVIDIA}, note = {\url{http://developer.download.nvidia.com/compute/cuda/1_1/NVIDIA_CUDA_Programming_Guide_1.1.pdf}}, year = 2007} @InProceedings{fluet-etal:implicit-threaded, title = {Implicitly-threaded parallelism in Manticore}, author = {M. Fluet and M. Rainey and J. Reppy and A. Shaw}, booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP'08)}, year = 2008, publisher = {ACM Press}} @InProceedings{fluet-etal:manticore, author = {Matthew Fluet and Mike Rainey and John Reppy and Adam Shaw and Yingqi Xiao}, title = {Manticore: A heterogeneous parallel language}, booktitle = {Proceedings of the Workshop on Declarative Aspects of Multicore Programming (DAMP 2007)}, year = 2007, publisher = {ACM Press} } @InProceedings{darema:SPMD, author = {Frederica Darema}, title = {The SPMD Model: Past, Present and Future}, booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface}, year = 2001, volume = 2131, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag} } @inproceedings {palmer-etal:efficient-trafo, author = {Daniel Palmer and Jan Prins and Stephan Westfold}, title = {Work-Efficient Nested Data-Parallelism}, booktitle = {Proceedings of the Fifth Symposium on the Frontiers of Massively Parallel Processing (Frontiers 95)}, publisher = {IEEE Press}, year = 1995 } @InProceedings{chak-etal:DPH, author = {Manuel M. T. Chakravarty and Roman Leshchinskiy and Simon {Peyton Jones} and Gabriele Keller and Simon Marlow}, title = {{D}ata {P}arallel {H}askell: a status report}, booktitle = {{DAMP} 2007: Workshop on Declarative Aspects of Multicore Programming}, year = 2007, publisher = {ACM Press} } @Book{blelloch:diss, author = "Guy E. Blelloch", title = "Vector Models for Data-Parallel Computing", publisher = "The MIT Press", year = 1990 } @article{blelloch-etal:impl-nested-parallel, author = "Guy~E. Blelloch and Siddhartha Chatterjee and Jonathan~C. Hardwick and Jay Sipelstein and Marco Zagha", title = "Implementation of a Portable Nested Data-Parallel Language", journal = "Journal of Parallel and Distributed Computing", volume = 21, number = 1, pages = "4--14", month = apr, year = 1994} @InProceedings{mills-etal:proteus, author = {P. Mills and L. Nyland and J. Prins and J. Reif}, title = {Software Issues in High-Performance Computing and a Framework for the Development of HPC Applications}, booktitle = {Computer Science Agendas for High Perfromance Computing}, year = 1994, publisher = {ACM Press}} @InProceedings{so-etal:dp-many-core, author = {Byoungro So and Anwar Ghuloum and Youfeng Wu}, title = {Optimizing Data Parallel Operations on Many-Core Platforms}, booktitle = {First Workshop on Software Tools for Multi-Core Systems (STMCS)}, year = 2006, note = {\url{http://www.isi.edu/~kintali/stmcs06/prog.html}} } @InProceedings{keller-chak:dtypes, author = {Gabriele Keller and Manuel M. T. Chakravarty}, title = {On the Distributed Implementation of Aggregate Data Structures by Program Transformation}, booktitle = {Parallel and Distributed Processing, Fourth International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'99)}, pages = {108--122}, year = 1999, editor = {Jos\'e Rolim and others}, number = 1586, series = {LNCS}, address = {Berlin, Germany}, publisher = {Springer-Verlag} } @InProceedings{fluet-etal:manticore-status, author = {M. Fluet and N. Ford and M. Rainey and J. Reppy and A. Shaw and Y. Xiao}, title = {Status Report: The Manticore project}, booktitle = {2007 ACM SIGPLAN Workshop on ML}, year = 2007, publisher = {ACM Press}} @InProceedings{chak-keller:afp-arrays, author = {Manuel M. T. Chakravarty and Gabriele Keller}, title = {An Approach to Fast Arrays in Haskell}, booktitle = {Lecture notes for The Summer School and Workshop on Advanced Functional Programming 2002}, year = 2003, editor = {Johan Jeuring and Simon Peyton Jones}, number = 2638, series = {Lecture Notes in Computer Science} } @inproceedings{CLS07, author = {Duncan Coutts and Roman Leshchinskiy and Don Stewart}, title = {Stream Fusion: From Lists to Streams to Nothing at All}, booktitle = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP 2007}, year = 2007, month = apr, } @inproceedings{CSL06, author = {Duncan Coutts and Don Stewart and Roman Leshchinskiy}, title = {Rewriting Haskell Strings}, booktitle = {Practical Aspects of Declarative Languages 8th International Symposium, PADL 2007}, year = 2007, month = jan, pages = {50--64}, publisher = {Springer-Verlag}, } @Article{prins-etal:irr-fortran, author = "Jan F. Prins and S. Chatterjee and M. Simons", title = "Irregular Computations in {Fortran} --- Expression and Implementation Strategies", journal = "Scientific Programming", volume = 7, year = 1999, pages = {313--326} } @Article{blelloch-sabot:compiling-collection, author = {Guy E. Blelloch and Gary W. Sabot}, title = {Compiling Collection-Oriented Languages onto Massively Parallel Computers}, journal = {Journal of Parallel and Distributed Computing}, year = 1990, volume = 8, pages = {119--134} } @Article{blelloch:ppa, author = "Guy E. Blelloch", title = "Programming Parallel Algorithms", journal = "Communications of the ACM", year = 1996, volume = "39", number = "3", pages = "85--97" } @inproceedings {prins-etal:nested-trafo, author = { Jan Prins and Daniel Palmer}, title = { Transforming High-Level Data-Parallel Programs into Vector Operations}, booktitle = { Proceedings of the Fourth {ACM} SIGPLAN Symposium on Principles and Practice of Parallel Programming}, address = { San Diego, CA., May 19-22 }, publisher = {ACM Press}, pages = { 119-128 }, year = 1993 }