Automatic type-driven library generation for telescoping languages

Proceedings of the 2003 ACM/IEEE Conference on Supercomputing, SC 2003

Volumn , Issue , 2003, Pages

  Chauhan, Arun ^a   McCosh, Cheryl ^a   Kennedy, Ken ^a   Hanson, Richard ^a  

^a Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALLING CONTEXTS; DOMAIN SPECIFIC; LIBRARY GENERATION; LINEAR ALGEBRA LIBRARIES; MATLAB CODE; OFF-LINE PROCESSING;

LIBRARIES; LINEAR ALGEBRA;

MATLAB;

EID: 84877038766     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1048935.1050201     Document Type: Conference Paper

References (18)

1. G. Almási. MaJIC: A Matlab Just-in-time Compiler. PhD thesis, University of Illinois at Urbana-Champaign, 2001.
2. G. Almási and D. Padua. MaJIC: Compiling MATLAB for speed and responsiveness. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 294-303, June 2002.
3. A. Chauhan. Telescoping MATLAB for DSP applications: Thesis proposal. Technical Report TR02-409, Rice University, 2002.
4. A. Chauhan and K. Kennedy. Procedure strength reduction and procedure vectorization: Optimization strategies for telescoping languages. In Proceedings of ACM-SIGARCH International Conference on Supercomputing, June 2001.
5. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, Oct. 1991.
6. O. Danvy. Type-directed partial evaluation. In Proceedings of ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, St. Petersburg, Florida, pages 242-257, Jan. 1996.
7. L. DeRose and D. Padua. Techniques for the translation of MATLAB programs into Fortran 90. ACM Transactions on Programming Languages and Systems, 21(2):286-323, Mar. 1999.
8. L. A. DeRose. Compiler Techniques for Matlab Programs. PhD thesis, University of Illinois at Urbana-Champaign, 1996.
9. M. Frigo and S. 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, May 1998.
10. D. Grove and L. Torczon. Interprocedural constant propagation: A study of jump function implementations. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 90-99, June 1993.
11. C. V. Hall. Using Hindley-Milner type inference to optimise list representation. In Proceedings of the 1994 ACM conference on LISP and functional programming, pages 162-172. ACM Press, 1994.
12. K. Kennedy, B. Broom, K. Cooper, J. Dongarra, R. Fowler, D. Gannon, L. Johnson, J. Mellor-Crummey, and L. Torczon. Telescoping Languages: A strategy for automatic generation of scientific problem-solving systems from annotated libraries. Journal of Parallel and Distributed Computing, 61(12):1803-1826, Dec. 2001.
13. C. McCosh. Type-based specialization in a telescoping compiler for MATLAB. Master's thesis. Technical Report TR03-412, Rice University, 2003.
14. A. Ohori. Type-directed specialization of polymorphism. Information and Computation, 155(1-2):64-107, 1999. (Pubitemid 129610454)
15. D. C. Sorensen, R. B. Lehoucq, and C. Yang. ARPACK Users' Guide: Solution of Large Scale Eigenvalue Problems with Implicitly Restarted Arnoldi Methods, 1997.
16. M. van Waveren, C. Addison, and P. Harrison. Code generator for the HPF library and Fortran 95 tranformational functions. Concurency-Practice and Experience, 14(8-9):589-602, 2002. (Pubitemid 34798639)
17. R. C. Whaley and J. J. Dongarra. Automatically Tuned Linear Algebra Software. In Proceedings of SC: High Performance Networking and Computing Conference, Nov. 1998.
18. H. Xi and F. Pfenning. Eliminating array bound checking through dependent types. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 249-257, June 1998.