Show simple item record

dc.contributor.authorChauhan, Arun
Kennedy, Ken
McCosh, Cheryl
dc.date.accessioned 2017-08-02T22:03:01Z
dc.date.available 2017-08-02T22:03:01Z
dc.date.issued 2004-04-14
dc.identifier.urihttps://hdl.handle.net/1911/96326
dc.description.abstract Telescoping languages is a strategy for allowing users to develop code in high-level, domain-specific languages and still achieve high performance. It uses extensive offline processing of the library defining the language. This process speculatively determines the possible uses of the library subroutines and generates variants specialized toward those uses. LibGen is a telescoping-language system for generating high-performance Fortran or C libraries with multiple specialized variants from a single version of MATLAB prototype code. LibGen uses variable types to guide specialization. Previously, we have shown that the generated code has comparable performance to hand-coded and optimized Fortran libraries and that specialization on type is important for achieving high performance. In this paper, we describe the type inference system necessary for LibGen to speculate on the possible variants of library procedures and to generate code. We develop the concept of type jump-functions, which describe the transfer of type information through and across procedures. To compute these type jump-functions, we develop a static type-inference approach that uses a constraint-based formulation and a graph-theoretical algorithm shown to be efficient under conditions met in most practical cases.
dc.format.extent 10 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 Domain-Specific Type Inference for Library Generation in a Telescoping Compiler
dc.type Technical report
dc.date.note April 14, 2004
dc.identifier.digital TR04-434
dc.type.dcmi Text
dc.identifier.citation Chauhan, Arun, Kennedy, Ken and McCosh, Cheryl. "Domain-Specific Type Inference for Library Generation in a Telescoping Compiler." (2004) https://hdl.handle.net/1911/96326.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record