dc.contributor.advisor | Solar-Lezama, Armando | |
dc.contributor.author | Feser, John Killian | |
dc.date.accessioned | 2023-07-31T19:28:09Z | |
dc.date.available | 2023-07-31T19:28:09Z | |
dc.date.issued | 2023-06 | |
dc.date.submitted | 2023-07-13T14:20:51.398Z | |
dc.identifier.uri | https://hdl.handle.net/1721.1/151281 | |
dc.description.abstract | Program synthesis is a promising method for building efficient, flexible software by deriving low-level implementations from high-level specifications. In this thesis, I use programming-languages techniques to develop systems for synthesizing high-performance, specialized software and to build better general-purpose program-synthesis algorithms. I describe two new synthesis systems. First, I present a full-featured, synthesis-based pipeline for generating database implementations that are specialized to query workloads. This project shows that synthesis is a promising approach for building systems software, but building efficient synthesizers is still difficult, and in general a new synthesizer must be built for every new language. To address this need, I present a new, general-purpose inductive synthesizer, and show that it offers state-of-the-art performance on several challenging tasks. | |
dc.publisher | Massachusetts Institute of Technology | |
dc.rights | In Copyright - Educational Use Permitted | |
dc.rights | Copyright retained by author(s) | |
dc.rights.uri | https://rightsstatements.org/page/InC-EDU/1.0/ | |
dc.title | Inductive and Deductive Synthesis for Database Applications | |
dc.type | Thesis | |
dc.description.degree | Ph.D. | |
dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | |
mit.thesis.degree | Doctoral | |
thesis.degree.name | Doctor of Philosophy | |