Partial evaluation of MATLAB

Authors:
Daniel Elphick;Michael Leuschel;Simon Cox
Affiliations:
Department of Electronics and Computer Science, University of Southampton, Highfield, Southampton, SO17 1BJ, UK;Department of Electronics and Computer Science, University of Southampton, Highfield, Southampton, SO17 1BJ, UK;School of Engineering Sciences, University of Southampton, Highfield, Southampton, SO17 1BJ, UK
Venue:
Proceedings of the 2nd international conference on Generative programming and component engineering
Year:
2003

Citing 10
Cited 6

Abstract interpretation and application to logic programs

Journal of Logic Programming
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
Partial dead code elimination

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Advanced compiler design and implementation

Advanced compiler design and implementation
MultiMATLAB: integrating MATLAB with high-performance parallel computing

SC '97 Proceedings of the 1997 ACM/IEEE conference on Supercomputing
MaJIC: compiling MATLAB for speed and responsiveness

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
FALCON: A MATLAB Interactive Restructuring Compiler

LCPC '95 Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing
Compiler techniques for MATLAB programs

Compiler techniques for MATLAB programs
Results from a Parallel MATLAB Compiler

IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Logic program specialisation through partial deduction: Control issues

Theory and Practice of Logic Programming

Partial evaluation of Maple

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
MatForce: supporting rapid algorithm development by automated translation of MatLab prototypes into C++

SE '08 Proceedings of the IASTED International Conference on Software Engineering
Partial evaluation of Maple

Science of Computer Programming
Dynamic elimination of overflow tests in a trace compiler

CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
Source transformation for MATLAB automatic differentiation

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Optimizing MATLAB through just-in-time specialization

CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the problems associated with the creation of high performance code for mathematical computations. We discuss the advantages and disadvantages of using a high level language like MATLAB and then propose partial evaluation as a way of lessening the disadvantages at little cost. We then go on to describe the design of a partial evaluator for MATLAB and present results showing what performance increases can be achieved and the circumstances in which partial evaluation can provide these.