Type-based specialization in a telescoping compiler for Matlab

dc.contributor.advisorKennedy, Kenen_US
dc.creatorMcCosh, Cherylen_US
dc.date.accessioned2009-06-04T08:02:32Zen_US
dc.date.available2009-06-04T08:02:32Zen_US
dc.date.issued2003en_US
dc.description.abstractThis thesis develops telescoping-language technology for automatically generating high performance libraries from development code written in high-level languages, like Matlab. The generated library subroutines have pre-optimized variants based on possible uses of the library. Specifically, a specialized variant is generated for each possible type configuration on inputs to the library. This thesis develops an efficient graph-theoretical, constraint-based algorithm for inferring types in Matlab needed for translation into lower-level languages, optimization, and determination of which specialized variants to generate. The algorithm computes type jump functions, which allows it to infer types interprocedurally. To illustrate the power of the technology, this thesis develops ARGen, a system which generates code equivalent to ARPACK, a Fortran linear algebra library, from its Matlab development code. By accomplishing the type inferencing algorithm and ARGen, which uses it, this thesis provides a basis for a general system for telescoping languages.en_US
dc.format.extent59 p.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.callnoTHESIS COMP.SCI. 2003 MCCOSHen_US
dc.identifier.citationMcCosh, Cheryl. "Type-based specialization in a telescoping compiler for Matlab." (2003) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/17609">https://hdl.handle.net/1911/17609</a>.en_US
dc.identifier.urihttps://hdl.handle.net/1911/17609en_US
dc.language.isoengen_US
dc.rightsCopyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.en_US
dc.subjectComputer scienceen_US
dc.titleType-based specialization in a telescoping compiler for Matlaben_US
dc.typeThesisen_US
dc.type.materialTexten_US
thesis.degree.departmentComputer Scienceen_US
thesis.degree.disciplineEngineeringen_US
thesis.degree.grantorRice Universityen_US
thesis.degree.levelMastersen_US
thesis.degree.nameMaster of Scienceen_US
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
1414281.PDF
Size:
4.45 MB
Format:
Adobe Portable Document Format