Inductive and Deductive Synthesis for Database Applications
Name
feser-feser-phd-eecs-2023-thesis.pdf
Description
Thesis PDF
Size
2.14 MB
Format
Adobe PDF
Checksum (MD5)
5c99d05f9b28968a6fcce6fd870d179e
Author(s)
Feser, John Killian
Advisor(s)
Solar-Lezama, Armando
Date Issued
June 2023
Publisher
Massachusetts Institute of Technology
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.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
In Copyright - Educational Use Permitted
Copyright retained by author(s)
Persistent DSpace Link
