A translator system for the MATLAB language

Software - Practice and Experience

Volumn 37, Issue 5, 2007, Pages 535-578

  Joisha, Pramod G ^a   Banerjee, Prithviraj ^b  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

Code generation; Translator architecture; Type inference; Typeless array languages

Indexed keywords

AUTOMATIC PROGRAMMING; COMPUTER ARCHITECTURE; INFORMATION RETRIEVAL SYSTEMS; MEASUREMENT THEORY; NATURAL LANGUAGE PROCESSING SYSTEMS; TRANSLATION (LANGUAGES);

TRANSLATOR ARCHITECTURE; TYPE INFERENCE; TYPELESS ARRAY LANGUAGES;

PROGRAM TRANSLATORS;

EID: 34247113306     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.781     Document Type: Article

References (58)

1. Iverson KE. A Programming Language. Wiley: New York, 1962.
2. The MathWorks, Inc. The MathWorks-MATLAB Compiler, http://www.mathworks. com/products/compiler/index.shtml [28 August 2006].
3. The MathWorks, Inc. Accelerating MATLAB: The MATLAB JIT-Accelerator, September 2002. http://www.mathworks.com/company/newsletters/digest/sept02/ accel_matlab.pdf [28 August 2006].
4. Quinn MJ, Malishevsky A, Seelam N, Zhao Y. Preliminary results from a parallel MATLAB compiler. Proceedings of the 12th International Parallel Processing Symposium & 9th Symposium on Parallel and Distributed Processing, April 1998, Sahni S (ed.). IEEE Computer Society Press: Los Alamitos, CA, 1998; 81-87.
5. Chauveau S, Bodin F. Menhir: An environment for high performance MATLAB. Proceedings of the 4th International Workshop on Languages, Compilers and Run-Time Systems, May 1998 (Lecture Notes in Computer Science, vol. 1511). Springer: Berlin, 1998; 27-40.
6. De Rose LA, Padua DA. Techniques for the translation of MATLAB programs into FORTRAN 90. ACM Transactions on Programming Languages and Systems 1999; 21(2):286-323.
7. Weigang J. An introduction to STSC's APL compiler. Proceedings of the ACM SIGAPL Conference on Array Processing Languages, May 1985. Association for Computing Machinery, 1985; 231-238.
8. Ching W-M. Program analysis and code generation in an APL/370 compiler. IBM Journal of Research and Development 1986; 30(6):594-602.
9. Budd T. An APL Compiler. Springer: New York, 1988.
10. Joisha PG, Kanhere A, Banerjee P, Shenoy UN, Choudhary A. Handling context-sensitive issues in the design of a front-end for a MATLAB compiler. Proceedings of the ACM SIGAPL Conference on Array Processing Languages, July 2000. Association for Computing Machinery, 2000; 27-40 (Proceedings Supplement).
11. Joisha PG, Banerjee P. Correctly detecting intrinsic type errors in typeless languages such as MATLAB. Proceedings of the ACM SIGAPL Conference on Array Processing Languages, June 2001. Association for Computing Machinery, 2001; 6-21.
12. Joisha PG, Banerjee P. The MAGICA type inference engine for MATLAB. Proceedings of the 12th International Conference on Compiler Construction, April 2003 (Lecture Notes in Computer Science, vol. 2622). Springer: Berlin, 2003; 121-125.
13. Joisha PG, Banerjee P. An algebraic array shape inference system for MATLAB. ACM Transactions on Programming Languages and Systems 2006; 28(5):848-907. DOI: 10.1145/1152649.1152651.
14. Joisha PG, Banerjee P. Static array storage optimization in MATLAB. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, June 2003. Association for Computing Machinery, 2003; 294-303.
15. AT2C Home Page, September 2004. http://www.ece. northwestern.edu/cpdc/pjoisha/MAT2C/ [28 August 2006].
16. The MAGICA Home Page, October 2002. http://www.ece.northwestern.edu/cpdc/ pjoisha/MAGICA/ [28 August 2006].
17. Muchnick SS. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, Inc.: San Francisco, CA, 1997.
18. De Rose LA. Compiler techniques for MATLAB programs. PhD Thesis, University of Illinois at Urbana-Champaign, May 1996.
19. Tremblay JP, Manohar R. Discrete Mathematical Structures with Applications to Computer Science (Computer Science Series). McGraw-Hill: New York, 1975.
20. Almási G, Padua DA. MAJIC: Compiling MATLAB for speed and responsiveness. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2002. Association for Computing Machinery, 2002; 294-303.
21. Cytron R, Ferrante J, Rosen BK, Wegman MN. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems 1991; 13(4):451-490.
22. Aho AV, Sethi R, Ullman JD. Compilers; Principles, Techniques, and Tools (Computer Science Series). Addison-Wesley: Redwood City, CA, 1988.
23. Wolfram S. The Mathematica Book (4th edn). Wolfram Media, Inc.: Champaign, IL, 1999.
24. Joisha PG, Banerjee P. MAGICA: A software tool for inferring types in MATLAB. Technical Report CPDC-TR-2002-10-004, Center for Parallel and Distributed Computing, Department of Electrical and Computer Engineering, Northwestern University, October 2002.
25. The MathWorks, Inc. Using MATLAB (Version 5). MATLAB: The Language of Technical Computing. The MathWorks, Inc.: Natick, MA, 1997.
26. The MathWorks, Inc. MATLAB C Math Library: The Language of Technical Computing, User's Guide (Version 2.1). The MathWorks, Inc.: Natick, MA, 2000.
27. The MathWorks, Inc. MATLAB C++ Math Library: The Language of Technical Computing, User's Guide (Version 2.1). The MathWorks, Inc.: Natick, MA, 2000.
28. Cormen TH, Leiserson CE, Rivest RL. Introduction to Algorithms (The MIT Electrical Engineering and Computer Science Series). The MIT Press: Cambridge, MA, 1995.
29. Kemighan BW, Ritchie DM. The C Programming Language. Prentice-Hall: Englewood Cliffs, NJ, 1988.
30. Wiedmann C. Steps toward an APL compiler. Proceedings of the ACM SIGAPL Conference on Array Processing Languages, May 1979, Anger A (ed.). Association for Computing Machinery, 1979; 321-328.
31. Moler C. Cleve's corner: The tetragamma function and numerical craftsmanship. MATLAB News & Notes, February 2002; 12-13.
32. The Netlib. http://www.netlib.org [28 August 2006].
33. Kahan W. MATLAB's Loss is Nobody's Gain, April 1998. http://www.cs. berkeley.edu/~wkahan/MxMulEps.pdf [28 August 2006].
34. McGarrity S. Integer and single-precision math in MATLAB 7. MATLAB Digest 2004; 12(4).
35. Sun Microsystems, Inc. Numerical computation guide. Part No. 806-7996-10, Revision A, Sun Microsystems, Palo Alto, CA, July 2001.
36. Malishevsky A. Implementing a run-time library for a parallel MATLAB compiler. Master's Thesis, Oregon State University, April 1998.
37. Friedland P. Algorithm 312: Absolute value and square root of a complex number. Communications of the ACM 1967; 10(10):665.
38. Moler C, Morrison D. Replacing square roots by pythagorean sums. IBM Journal of Research and Development 1983; 27(6):577-581.
39. Dubrulle AA. A class of numerical methods for the computation of pythagorean sums. IBM Journal of Research and Development 1983; 27(6):582-589.
40. Goldberg D. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys 1991; 23(1):5-48.
41. Kahan W. Branch cuts for complex elementary functions or much ado about nothing's sign bit. Proceedings of the Joint IMA/SIAM Conference on The State of the Art in Numerical Analysis, April 1986. Society for Industrial and Applied Mathematics, 1986; 165-211.
42. Joisha PG. A type inference system for MATLAB with applications to code optimization. PhD Thesis, Northwestern University, December 2003.
43. Galley N. Picking up the pace with the MATLAB profiler. MATLAB News & Notes, May 2003.
44. Benincasa M, Besler R, Brassaw D, Kohler RL Jr. Rapid development of real-time systems using RTExpress. Proceedings of the 12th International Parallel Processing Symposium & 9th Symposium on Parallel and Distributed Processing, April 1998, Sahni S (ed.). IEEE Computer Society Press: Los Alamitos, CA, 1998; 594-599.
45. Milosavljević IZ, Jabri MA. Automatic array alignment in parallel MATLAB scripts. Proceedings of the 13th International Parallel Processing Symposium & 10th Symposium on Parallel and Distributed Processing, April 1999. IEEE Computer Society Press: Los Alamitos, CA, 1999; 285-289.
46. Gropp W, Lusk E, Skjellum A. Using MPI: Portable Parallel Programming with the Message-Passing Interface (Scientific and Engineering Computation Series). The MIT Press: Cambridge, MA, 1994.
47. The MAJIC Project, http://polaris.cs.uiuc.edu/majic/majic.html [28 August 2006].
48. Kennedy K, Broom B, Chauhan A, Fowler RJ, Garvin J, Koelbel C, McCosh C, Mellor-Crummey J. Telescoping languages: A system for automatic generation of domain languages. Proceedings of the IEEE 2005; 93(2):387-408.
49. The Octave Home Page, http://www.gnu.org/software/octave/ [28 August 2006].
50. Abrams PS. An APL machine. PhD Thesis, Stanford University, February 1970. Available as Technical Report SLAC-114, Stanford Linear Accelerator Center.
51. Guibas LJ, Wyatt DK. Compilation and delayed evaluation in APL. Proceedings of the 5th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1978. Association for Computing Machinery, 1978; 1-8.
52. Wiedmann C. A performance comparison between an APL interpreter and compiler. Proceedings of the ACM SIGAPL Conference on Array Processing Languages, April 1983. Association for Computing Machinery, 1983; 211-217.
53. Driscoll GC Jr, Orth DL. Compiling APL: The Yorktown APL translator. IBM Journal of Research and Development 1986; 30(6):583-593.
54. Otto TP. An APL compiler. Proceedings of the ACM SIGAPL Conference on Array Processing Languages, July 2000. Association for Computing Machinery, 2000; 186-193.
55. Nayak A, Haldar M, Kanhere A, Joisha PG, Shenoy UN, Choudhary A, Banerjee P. A library-based compiler to execute MATLAB programs on a heterogeneous platform. Proceedings of the 13th IASTED International Conference on Parallel and Distributed Computing Systems, Las Vegas, NV, August 2000. ACTA Press: Calgary, AB, 2000.
56. Johnston RL. The Dynamic Incremental Compiler of APL3000. Proceedings of the ACM SIGAPL Conference on Array Processing Languages, May 1979, Anger A (ed.). Association for Computing Machinery, 1979; 82-87.
57. Budd TA. An APL compiler for a vector processor. ACM Transactions on Programming Languages and Systems 1984; 6(3):297-313.
58. Ching W-M, Katz A. An experimental APL compiler for a distributed memory parallel machine. Proceedings of the 1994 ACM/IEEE Conference on Supercomputing, Washington, DC, November 1994. ACM Press: New York, 1994; 59-68.