A type-based prototype compiler for telescoping languages

dc.contributor.advisorKennedy, Kenen_US
dc.contributor.advisorCooper, Keith D.en_US
dc.creatorMcCosh, Cherylen_US
dc.date.accessioned2011-07-25T01:38:43Zen_US
dc.date.available2011-07-25T01:38:43Zen_US
dc.date.issued2009en_US
dc.description.abstractScientists want to encode their applications in domain languages with high-level operators that reflect the way they conceptualize computations in their domains. Telescoping languages calls for automatically generating optimizing compilers for these languages by pre-compiling the underlying libraries that define them to generate multiple variants optimized for use in different possible contexts, including different argument types. The resulting compiler replaces calls to the high-level constructs with calls to the optimized variants. This approach aims to automatically derive high-performance executables from programs written in high-level domain-specific languages. TeleGen is a prototype telescoping-languages compiler that performs type-based specializations. For the purposes of this dissertation, types include any set of variable properties such as intrinsic type, size and array sparsity pattern. Type inference and specialization are cornerstones of the telescoping-languages strategy. Because optimization of library routines must occur before their full calling contexts are available, type inference gives critical information needed to determine which specialized variants to generate as well as how to best optimize each variant to achieve the highest performance. To build the prototype compiler, we developed a precise type-inference algorithm that infers all legal type tuples, or type configurations, for the program variables, including routine arguments, for all legal calling contexts. We use the type information inferred by our algorithm to drive specialization and optimization. We demonstrate the practical value of our type-inference algorithm and the type-based specialization strategy in TeleGen.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.callnoTHESIS COMP. SCI. 2009 MCCOSHen_US
dc.identifier.citationMcCosh, Cheryl. "A type-based prototype compiler for telescoping languages." (2009) Diss., Rice University. <a href="https://hdl.handle.net/1911/61851">https://hdl.handle.net/1911/61851</a>.en_US
dc.identifier.urihttps://hdl.handle.net/1911/61851en_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.subjectApplied sciencesen_US
dc.titleA type-based prototype compiler for telescoping languagesen_US
dc.typeThesisen_US
dc.type.materialTexten_US
thesis.degree.departmentComputer Scienceen_US
thesis.degree.disciplineEngineeringen_US
thesis.degree.grantorRice Universityen_US
thesis.degree.levelDoctoralen_US
thesis.degree.nameDoctor of Philosophyen_US
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
3362354.PDF
Size:
5.98 MB
Format:
Adobe Portable Document Format