Type-Based Speculative Specialization in a Telescoping Compiler for MATLAB

Simple item page
dc.contributor.authorChauhan, Arun
dc.contributor.authorKennedy, Ken
dc.contributor.authorMcCosh, Cheryl
dc.date.accessioned2017-08-02T22:02:58Z
dc.date.available2017-08-02T22:02:58Z
dc.date.issued2003-01-17
dc.date.noteJanuary 17, 2003
dc.description.abstractTelescoping languages is a strategy to automatically generate highly-optimized domain-specific libraries. The key idea is to create specialized variants of library procedures through extensive offline processing. This paper describes a telescoping system, called ARGen, which generates high-performance Fortran or C libraries from prototype Matlab code for the linear algebra library, ARPACK. ARGen uses variable types to guide procedure specializations on possible calling contexts. We show that type-based specializations of generated libraries can lead to more than 50% speedup. ARGen needs to infer Matlab types in order to speculate on the possible variants of library procedures, as well as to generate code. This paper develops an approach combining static and dynamic type inference that includes a graph-theoretic algorithm that is shown to be efficient under a set of conditions that are easily met for most practical cases. The ideas developed here provide a basis for building a more general telescoping system for Matlab.
dc.format.extent14 pp
dc.identifier.citationChauhan, Arun, Kennedy, Ken and McCosh, Cheryl. "Type-Based Speculative Specialization in a Telescoping Compiler for MATLAB." (2003) https://hdl.handle.net/1911/96308.
dc.identifier.digitalTR03-411
dc.identifier.urihttps://hdl.handle.net/1911/96308
dc.language.isoeng
dc.rightsYou are granted permission for the noncommercial reproduction, distribution, display, and performance of this technical report in any format, but this permission is only for a period of forty-five (45) days from the most recent time that you verified that this technical report is still available from the Computer Science Department of Rice University under terms that include this permission. All other rights are reserved by the author(s).
dc.titleType-Based Speculative Specialization in a Telescoping Compiler for MATLAB
dc.typeTechnical report
dc.type.dcmiText
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR03-411.pdf
Size:
347.92 KB
Format:
Adobe Portable Document Format
Download
Collections
Computer Science Technical Reports