Staged static techniques to efficiently implement array copy semantics in a MATLAB JIT compiler

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6601 LNCS, Issue , 2011, Pages 22-41

  Lameed, Nurudeen ^a   Hendren, Laurie ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS APPROACH; DYNAMIC ASPECTS; JIT COMPILER; REFERENCE COUNTING; RUN-TIME CHECKS; STATIC TECHNIQUES;

JUST IN TIME PRODUCTION; SEMANTICS; STATIC ANALYSIS;

PROGRAM COMPILERS;

EID: 79953272444     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19861-8_3     Document Type: Conference Paper

References (28)

1. GNU Octave, http://www.gnu.org/software/octave/index.html
2. McLab, http://www.sable.mcgill.ca/mclab/
3. Python, http://www.python.org
4. Anderson, E., Bai, Z., Bischof, C., Blackford, S., Demmel, J., Dongarra, J., Du Croz, J., Greenbaum, A., Hammarling, S., McKenney, A., Sorensen, D.: LAPACK Users' Guide, 3rd edn. SIAM, Philadelphia (1999)
5. Aslam, T., Doherty, J., Dubrau, A., Hendren, L.: AspectMatlab: An Aspect-Oriented Scientific Programming Language. In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, pp. 181-192 (March 2010)
6. Boehm, H., Spertus, M.: N2310: Transparent Programmer-Directed Garbage Collection for C++ (June 2007), http://www.open-std.org/jtc1/sc22/wg21/docs/ papers/2007/n2310.pdf
7. Casey, A., Hendren, L.: MetaLexer: A Modular Lexical Specification Language. In: Proceedings of the 10th International Conference on Aspect-Oriented Software Development (March 2011)
8. Chevalier-Boisvert, M.: McVM: An Optimizing Virtual Machine for the MATLAB Programming Language. Master's thesis, McGill University (August 2009)
9. Chevalier-Boisvert, M., Hendren, L., Verbrugge, C.: Optimizing MATLAB through Just-In-Time Specialization. In: International Conference on Compiler Construction, pp. 46-65 (March 2010)
10. Moler, C.: Numerical Computing with MATLAB. SIAM, Philadelphia (2004)
11. Ekman, T., Hedin, G.: The Jastadd Extensible Java Compiler. In: OOPSLA 2007: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications, pp. 1-18. ACM, New York (2007)
12. Gopinath, K., Hennessy, J.L.: Copy Elimination in Functional Languages. In: POPL 1989: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 303-314. ACM, New York (1989)
13. Goyal, D., Paige, R.: A New Solution to the Hidden Copy Problem. In: Levi, G. (ed.) SAS 1998. LNCS, vol. 1503, pp. 327-348. Springer, Heidelberg (1998)
14. Hudak, P., Bloss, A.: The Aggregate Update Problem in Functional Programming Systems. In: POPL 1985: Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 300-314. ACM, New York (1985)
15. Iverson, K.E.: A Programming Language. John Wiley and Sons, Inc., Chichester (1962)
16. Lameed, N., Hendren, L.: Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler. Technical Report SABLE-TR-2010-5, School of Computer Science, McGill University, Montréal, Canada (July 2010)
17. Lattner, C., Adve, V.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: CGO 2004: Proceedings of the International Symposium on Code Generation and Optimization, p. 75. IEEE Computer Society, Washington, DC, USA (2004)
18. Li, J.: McFor: A MATLAB to FORTRAN 95 Compiler. Master's thesis, McGill University (August 2009)
19. MathWorks. MATLAB Programming Fundamentals. The MathWorks, Inc. (2009)
20. Muchnick, S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (1997)
21. Odersky, M.: How to Make Destructive Updates Less Destructive. In: POPL 1991: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 25-36. ACM, New York (1991)
22. Press, H.W., Teukolsky, A.S., Vetterling, T.W., Flannery, P.B.: Numerical Recipes: the Art of Scientific Computing. Cambridge University Press, Cambridge (1986)
23. Rose, L.D., Gallivan, K., Gallopoulos, E., Marsolf, B.A., Padua, D.A.: FALCON: A MATLAB Interactive Restructuring Compiler. In: Huang, C.-H., Sadayappan, P., Banerjee, U., Gelernter, D., Nicolau, A., Padua, D.A. (eds.) LCPC 1995. LNCS, vol. 1033, pp. 269-288. Springer, Heidelberg (1996)
24. Sastry, A.V.S.: Efficient Array Update Analysis of Strict Functional Languages. PhD thesis, University of Oregon, Eugene, USA (1994)
25. Schwartz, J.T., Dewar, R.B., Schonberg, E., Dubinsky, E.: Programming with Sets; an Introduction to SETL. Springer, New York (1986)
26. Wand, M., Clinger, W.D.: Set Constraints for Destructive Array Update Optimization. Journal of Functional Programming 11(3), 319-346 (2001)
27. Weigang, J.: An Introduction to STSC's APL Compiler. SIGAPL APL Quote Quad 15(4), 231-238 (1985)
28. Whaley, R.C., Petitet, A., Dongarra, J.J.: Automated Empirical Optimizations of Software and the ATLAS Project. Parallel Computing 27(1-2), 3-35 (2001)