Broadway: A compiler for exploiting the domain-specific semantics of software libraries

Proceedings of the IEEE

Volumn 93, Issue 2, 2005, Pages 342-357

  Guyer, Samuel Z ^a   Lin, Calvin ^a  

^a University of Texas at Austin   (United States)

Author keywords

Compiler; Domain specific; Library level optimization

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; MATHEMATICAL MODELS; OPTIMIZATION; PROGRAM COMPILERS; SEMANTICS;

COMPILER; DOMAIN SPECIFIC; LIBRARY-LEVEL OPTIMIZATION; OPTIMIZING COMPILERS;

DIGITAL LIBRARIES;

EID: 20744452343     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2004.840489     Document Type: Conference Paper

References (38)

1. A. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools. Englewood Cliffs, NJ: Addison-Wesley, 1986.
2. E. Anderson, Z. Bai, C. Bischof, J. Demmel, J. Dongarra, J. Du Croz, A. Greenbaum, S. Hammarling, A. McKenney, S. Ostrouchov, and D. Sorensen, LAPACK Users' Guide, 2nd ed. Philadelphia: SIAM, 1995.
3. G. Baker, J. Gunnels, G. Morrow, B. Riviere, and R. van de Geijn, "PLAPACK: High performance through high-level abstraction," in Proc. Int. Conf. Parallel Processing, 1998, pp. 414-423.
4. P. Benner and E. S. Quintana-Orti, "Parallel distributed solvers for large stable generalized Lyapunov equations," Parallel Process. Lett., 1998.
5. A. Chauhan, "Telescoping MATLAB for DSP applications (technical report, thesis proposal),", Dept. Comput. Sci., Rice Univ., Houston, TX, Jun. 2002.
6. A. Chauhan, C. McCosh, and K. Kennedy, "Automatic type-driven library generation for telescoping languages," presented at the SC: High-Performance Computing and Networking Conf., 2003.
7. S. Chiba, "A metaobject protocol for C++," in Proc. ACM SIGPLAN Conf. Object-Oriented Programming Systems, Languages and Applications, 1995, pp. 285-299.
8. R. Choy and A. Edelman, "Parallel MATLAB: Doing it right," Proc. IEEE, vol. 93, no. 2, pp. 331-341, Feb. 2005.
9. T. S. Collins, "Efficient matrix computations through hierarchical type specifications," Ph.D. dissertation, Univ. Texas, Austin, 1996.
10. J. Demmel, J. Dongarra, V. Eijkhout, E. Fuentes, A. Petitet, R. Vuduc, C. Whaley, and K. Yelick, "Self-adapting linear algebra algorithms and software," Proc. IEEE, vol. 93, no. 2, pp. 293-312, Feb. 2005.
11. L. A. DeRose, "Compiler techniques for MATLAB programs," Ph.D. dissertation, Univ. Illinois, Urbana-Champaign, 1996.
12. J. J. Dongarra, I. Duff, J. DuCroz, and S. Hammarling, "A set of level 3 basic linear algebra subprograms," ACM Trans. Math. Softw., vol. 16, no. 1, pp. 1-28, 1990.
13. C. Edwards, P. Geng, A. Patra, and R. van de Geijn, "Parallel matrix distributions: Have we been doing it all wrong?," Univ. Texas, Austin, Tech. Rep. CS-TR-95-39, 1995.
14. D. R. Engler, "Incorporating application semantics and control into compilation," in Proc. USENIX Conf. Domain-Specific Languages, 1997, pp. 103-118.
15. M. Frigo and S. G. Johnson, "The design and implementation of FFTW3," Proc. IEEE, vol. 93, no. 2, pp. 216-231, Feb. 2005.
16. S. Z. Guyer, "Incorporating domain-specific information into the compilation process," Ph.D. dissertation, Dept. Comput. Sci., Univ. Texas, Austin, 2003.
17. S. Z. Guyer, E. Berger, and C. Lin, "Detecting errors with configurable whole-program dataflow analysis," Dept. Comput. Sci., Univ. Texas at Austin, Tech. Rep. TR 02-04, Feb. 2002.
18. S. Z. Guyer, D. A. Jiménez, and C. Lin, "The C-Breeze compiler infrastructure," Dept. Comput. Sci., Univ. Texas, Austin, Tech. Rep. TR 01-43, Nov. 2001.
19. S. Z. Guyer and C. Lin, "An annotation language for optimizing software libraries," in Proc. USENIX Conf. Domain-Specific Languages, 1999, pp. 39-52.
20. _, "Optimizing the use of high performance software libraries," in Proc. Workshop Languages and Compilers for Parallel Computing, 2000, pp. 221-238.
21. _, "Client-driven pointer analysis," in Proc. Int. Static Analysis Symp., 2003, pp. 214-236.
22. M. W. Hall, J. M. Anderson, S. P. Amarasinghe, B. R. Murphy, S. W. Liao, E. Bugnion, and M. S. Lam, "Maximizing multiprocessor performance with the SUIF compiler," IEEE Computer, vol. 29, no. 12, pp. 84-89, Dec. 1996.
23. K. Kennedy, B. Broom, A. Chauhan, R. Fowler, J. Garvin, C. Koelbel, C. McCosh, and J. Mellor-Crummey, "Telescoping languages: A system for automatic generation of domain languages," Proc. IEEE, vol. 93, no. 2, pp. 387-408, Feb. 2005.
24. G. Kiczales, J. des Rivieres, and D. G. Bobrow, The Art of the Meta-Object Protocol. Cambridge, MA: MIT Press, 1991.
25. G. A. Kildall, "A unified approach to global program optimization," in Proc. ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, 1973, pp. 194-206.
26. E. Kohlbecker, D. P. Friedman, M. Felleisen, and B. Duba, "Hygienic macro expansion," in Proc. ACM Conf. LISP and Functional Programming, 1986, pp. 151-181.
27. V. Kotlyar, K. Pingali, and P. Stodghill, "Compiling parallel code for sparse matrix applications," in Proc. 1997 ACM/IEEE Conf. Supercomputing, pp. 1-18.
28. F. Martin, "PAG - an efficient program analyzer generator," Int. J. Softw. Tools Technol. Transf., vol. 2, no. 1, pp. 46-67, 1998.
29. M. Püschel, J. M. F. Moura, J. Johnson, D. Padua, M. Veloso, B. W. Singer, J. Xiong, F. Franchetti, A. Gačić, Y. Voronenko, K. Chen, R. W. Johnson, and N. Rizzolo, "SPIRAL: Code generation for DSP transforms," Proc. IEEE, vol. 93, no. 2, pp. 232-275, Feb. 2005.
30. E. S. Quintana and R. van de Geijn, "Specialized parallel algorithms for solving linear matrix equations in control theory," J. Parallel Distrib. Comput., vol. 61, pp. 1489-1504, 2001.
31. L. De Rose and D. Padua, "Techniques for the translation of MATLAB programs into Fortran 90," ACM Trans. Program. Lang. Syst., vol. 21, no. 2, pp. 286-323, Mar. 1999.
32. R. Strom and S. Yemini, "Typestate: a programming language concept for enhancing software reliability," IEEE Trans. Softw. Eng., vol. 12, no. 1, pp. 157-171, 1986.
33. S. W. K. Tjiang and J. L. Hennessy, "Sharlit - a tool for building optimizers," in Proc. SIGPLAN Conf. Programming Language Design and Implementation, 1992, pp. 82-93.
34. R. van de Geijn, Using PLAPACK - Parallel Linear Algebra Package. Cambridge, MA: MIT Press, 1997.
35. T. L. Veldhuizen, "Expression templates," C++ Rep., vol. 7, no. 5, pp. 26-31, 1995.
36. T. L. Veldhuizen and D. Gannon, "Active libraries: rethinking the roles of compilers and libraries," presented at the SIAM Workshop Object Oriented Methods for Inter-Operable Scientific and Engineering Computing (OO'98), Yorktown Heights, NY, 1998.
37. D. Weise and R. Crew, "Programmable syntax macros," in Proc. SIGPLAN Conf. Programming Language Design and Implementation, 1993, pp. 156-165.
38. D. Whitfield and M. L. Soffa, "Automatic generation of global optimizers," ACM SIGPLAN Notices, vol. 26, no. 6, pp. 120-129, Jun. 1991.