Type-Based Speculative Specialization in a Telescoping Compiler for MATLAB

Simple item page
dc.contributor.authorChauhan, Arunen_US
dc.contributor.authorKennedy, Kenen_US
dc.contributor.authorMcCosh, Cherylen_US
dc.date.accessioned2017-08-02T22:02:58Zen_US
dc.date.available2017-08-02T22:02:58Zen_US
dc.date.issued2003-01-17en_US
dc.date.noteJanuary 17, 2003en_US
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.en_US
dc.format.extent14 ppen_US
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.en_US
dc.identifier.digitalTR03-411en_US
dc.identifier.urihttps://hdl.handle.net/1911/96308en_US
dc.language.isoengen_US
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).en_US
dc.titleType-Based Speculative Specialization in a Telescoping Compiler for MATLABen_US
dc.typeTechnical reporten_US
dc.type.dcmiTexten_US
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