PetaBricks: A language and compiler for algorithmic choice

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2009, Pages 38-49

  Ansel, Jason ^a   Chan, Cy ^a   Wong, Yee Lok ^a   Olszewski, Marek ^a   Zhao, Qin ^a   Edelman, Alan ^a   Amarasinghe, Saman ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Algorithms; Languages; Performance

Indexed keywords

ALGORITHMIC PARAMETERS; AUTO-TUNE; AUTOMATIC PARALLELIZATION TECHNIQUES; CONVERGENCE CRITERION; DATA DISTRIBUTION; DIRECT AND ITERATIVE METHOD; HIGH PERFORMANCE ALGORITHMS; LEVEL SELECTION; MULTIPLE ALGORITHMS; NOVEL TECHNIQUES; OPTIMAL EFFICIENCY; PARALLEL LANGUAGES; PROBLEM SIZE; PROGRAMMING LANGUAGE; SYSTEM RESOURCES; TIGHTLY-COUPLED;

ADA (PROGRAMMING LANGUAGE); ALGORITHMIC LANGUAGES; C (PROGRAMMING LANGUAGE); CONVERGENCE OF NUMERICAL METHODS; LINGUISTICS; PARALLEL ALGORITHMS; PARALLEL PROGRAMMING; PROBLEM ORIENTED LANGUAGES; QUERY LANGUAGES;

PROGRAM COMPILERS;

EID: 70450227331     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542476.1542481     Document Type: Conference Paper

References (29)

1. Ayaz Ali, Lennart Johnsson, and Jaspal Subhlok. Scheduling FFT computation on SMP and multicore systems. In Proceedings of the ACM/IEEE Conference on Supercomputing, pages 293-301, New York, NY, USA, 2007. ACM. ISBN 978-1-59593-768-1.
2. Ed Anderson, Zhaojun Bai, Christian Bischof, Susan Blackford, James Demmel, Jack Dongarra, Jeremy Du Croz, Anne Greenbaum, Sven Hammarling, A. McKenney, and Danny Sorensen. LAPACK Users' Guide. Society for Industrial and Applied Mathematics, Philadelphia, PA, third edition, 1999. ISBN 0-89871-447-8.
3. Jeff Bilmes, Krste Asanovic, Chee-Whye Chin, and Jim Demmel. Optimizing matrix multiply using PHiPAC: a portable, high-performance, ANSI C coding methodology. In Proceedings of the ACM/IEEE Conference on Supercomputing, pages 340-347, New York, NY, USA, 1997. ACM. ISBN 0-89791-902-5.
4. Eric A. Brewer. High-level optimization via automated statistical modeling. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 80-91, New York, NY, USA, 1995. ACM. ISBN 0-89791-701-6.
5. James W. Demmel. Applied Numerical Linear Algebra. SIAM, August 1997.
6. Matteo Frigo and Steven G. Johnson. The design and implementation of FFTW3. Proceedings of the IEEE, 93(2):216-231, February 2005. Invited paper, special issue on "Program Generation, Optimization, and Platform Adaptation".
7. Matteo Frigo and Steven G. Johnson. FFTW: An adaptive software architecture for the FFT. In Proceedings of the IEEE International Conference on Acoustics Speech and Signal Processing, volume 3, pages 1381-1384. IEEE, 1998.
8. Matteo Frigo, Charles E. Leiserson, and Keith H. Randall. The implementation of the Cilk-5 multithreaded language. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 212-223, Montreal, Quebec, Canada, Jun 1998. Proceedings published ACM SIGPLAN Notices, Vol. 33, No. 5, May, 1998.
9. John A. Gunnels, Fred G. Gustavson, Greg M. Henry, and Robert A. van de Geijn. FLAME: Formal Linear Algebra Methods Environment. ACM Transactions on Mathematical Software, 27(4):422-455, December 2001. ISSN 0098-3500.
10. Eun-jin Im and Katherine Yelick. Optimizing sparse matrix computations for register reuse in SPARSITY. In Proceedings of the International Conference on Computational Science, pages 127-136. Springer, 2001.
11. Michail G. Lagoudakis and Michael L. Littman. Algorithm selection using reinforcement learning. In Proceedings of the International Conference On Machine Learning, pages 511-518. Morgan Kaufmann, 2000.
12. Xiaoming Li, Maria Jesus Garzaran, and David Padua. A dynamically tuned sorting library. In Proceedings of the International Symposium on Code Generation and Optimization, pages 111-122, March 2004.
13. Xiaoming Li, Mara Jess Garzarn, and David Padua. Optimizing sorting with genetic algorithms. In Proceedings of the International Symposium on Code Generation and Optimization, pages 99-110. IEEE Computer Society, 2005.
14. Marek Olszewski and Michael Voss. Install-time system for automatic generation of optimized parallel sorting algorithms. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, pages 17-23, 2004.
15. Justin Mazzola Paluska, Hubert Pham, Umar Saif, Grace Chau, Chris Terman, and Steve Ward. Structured decomposition of adaptive applications. In Proceedings of the Annual IEEE International Conference on Pervasive Computing and Communications, pages 1-10, Washington, DC, USA, 2008. IEEE Computer Society. ISBN 978-0-7695-3113-7.
16. Markus Puschel, Jose M. F. Moura, Jeremy R. Johnson, David Padua, Manuela M. Veloso, Bryan W. Singer, Jianxin Xiong, Aca Gacic Franz Franchetti, Robbert W. Johnson Yevgen Voronenko, Kang Chen, and Nicholas Rizzolo. SPIRAL: Code generation for DSP transforms. In Proceedings of the IEEE, volume 93, pages 232-275. IEEE, Feb 2005.
17. Richard H. Rand. Computer algebra in applied mathematics: an introduction to MACSYMA. Number 94 in Research notes in mathematics. 1984. ISBN 0-273-08632-4.
18. Nathan Thomas, Gabriel Tanase, Olga Tkachyshyn, Jack Perdue, Nancy M. Amato, and Lawrence Rauchwerger. A framework for adaptive algorithm selection in STAPL. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 277-288, New York, NY, USA, 2005. ACM. ISBN 1-59593-080-9.
19. Michael Voss and Rudolf Eigenmann. Adapt: Automated de-coupled adaptive program transformation. In Proceedings of the International Conference on Parallel Processing, pages 163-170, 2000.
20. Michael Voss and Rudolf Eigenmann. High-level adaptive program optimization with adapt. ACM SIGPLAN Notices, 36(7):93-102, 2001. ISSN 0362-1340.
21. Richard Vuduc, James W. Demmel, and Jeff A. Bilmes. Statistical models for empirical search-based performance tuning. International Journal of High Performance Computing Applications, 18(1):65-94, 2004. ISSN 1094-3420.
22. Richard Vuduc, James W. Demmel, and Katherine A. Yelick. OSKI: A library of automatically tuned sparse matrix kernels. In Proceedings of the Scientific Discovery through Advanced Computing Conference, Journal of Physics: Conference Series, San Francisco, CA, USA, June 2005. Institute of Physics Publishing.
23. Richard Clint Whaley and Jack J. Dongarra. Automatically tuned linear algebra software. In Proceedings of the ACM/IEEE Conference on Supercomputing, pages 1-27, Washington, DC, USA, 1998. IEEE Computer Society. ISBN 0-89791-984-X.
24. Richard Clint Whaley and Antoine Petitet. Minimizing development and maintenance costs in supporting persistently optimized BLAS. Software: Practice and Experience, 35(2):101-121, February 2005.
25. Samuel Webb Williams, Andrew Waterman, and David A. Patterson. Roofline: An insightful visual performance model for floating-point programs and multicore architectures. Technical Report UCB/EECS-2008-134, EECS Department, University of California, Berkeley, Oct 2008.
26. Jianxin Xiong, Jeremy Johnson, Robert Johnson, and David Padua. SPL: a language and compiler for DSP algorithms. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 298-308, New York, NY, USA, 2001. ACM. ISBN 1-58113-414-2.
27. Qing Yi and Richard Clint Whaley. Automated transformation for performance-critical kernels. In Proceedings of the ACM SIGPLAN Symposium on Library-Centric Software Design, Oct. 2007.
28. Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibulskis, Gerald DeJong, Maria Garzaran, David Padua, Keshav Pingali, Paul Stodghill, and Peng Wu. A comparison of empirical and model-driven optimization. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 63-76, New York, NY, USA, 2003. ACM. ISBN 1-58113-662-5.
29. Hao Yu, Dongmin Zhang, and Lawrence Rauchwerger. An adaptive algorithm selection framework. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, pages 278-289, Washington, DC, USA, 2004. IEEE Computer Society. ISBN 0-7695-2229-7.