Show simple item record

dc.contributor.authorChauhan, Arun
Kennedy, Ken
McCosh, Cheryl
dc.date.accessioned 2017-08-02T22:02:58Z
dc.date.available 2017-08-02T22:02:58Z
dc.date.issued 2003-01-17
dc.identifier.urihttps://hdl.handle.net/1911/96308
dc.description.abstract Telescoping 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.extent 14 pp
dc.language.iso eng
dc.rights You 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.title Type-Based Speculative Specialization in a Telescoping Compiler for MATLAB
dc.type Technical report
dc.date.note January 17, 2003
dc.identifier.digital TR03-411
dc.type.dcmi Text
dc.identifier.citation Chauhan, Arun, Kennedy, Ken and McCosh, Cheryl. "Type-Based Speculative Specialization in a Telescoping Compiler for MATLAB." (2003) https://hdl.handle.net/1911/96308.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record