Show simple item record

dc.contributor.authorAllen, Eric
Kennedy, Ken
McCosh, Cheryl
Taha, Walid
dc.date.accessioned 2017-08-02T22:03:01Z
dc.date.available 2017-08-02T22:03:01Z
dc.date.issued 2004-09-01
dc.identifier.urihttps://hdl.handle.net/1911/96330
dc.description.abstract The telescoping languages approach achieves high performance from applications encoded as high-level scripts. The core idea is to pre-compile underlying libraries to generate multiple variants optimized for use indifferent possible contexts including different argument types. This paper proposes a type inference algorithm that enables this kind of specialization. The algorithm infers types over untyped library procedures before actual inputs are known. For our Matlab compiler, the notion of type captures matrix properties such as size, sparsity pattern, and data type. Type inference is necessary both to determine the minimum number of variants needed to handle all possible uses of the library procedure as well as to statically determine, for each variant, which optimized implementations should be dispatched at each call location. A key contribution that arose from this work is a notion of mutually exclusive types. To illustrate these types, we formalize the underlying type system, constraint-collection, and solution. Finally, we prove that the algorithm is polynomial under practical conditions.
dc.format.extent 18 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 Static Type Inference for Specialization in a Telescoping Compiler
dc.type Technical report
dc.date.note September 1, 2004
dc.identifier.digital TR04-439
dc.type.dcmi Text
dc.identifier.citation Allen, Eric, Kennedy, Ken, McCosh, Cheryl, et al.. "Static Type Inference for Specialization in a Telescoping Compiler." (2004) https://hdl.handle.net/1911/96330.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record