Seminar Announcement
Date: Monday, 17 February 2025
Time: 10:30 AM
Venue: Seminar Hall
Example-guided Synthesis of Relational Queries
Aalok Thakkar
Ashoka University.
17-02-25

---

Abstract

The goal of program synthesis is to automatically generate programs that meet user intention. While a number of methods for expressing user intention has gained traction over the last five decades, programming-by-example has proven to be useful in domains where the user may not be able to articulate the desired program behavior as a logical specification but can describe it through demonstrative input-output examples. In this talk, we present the paradigm of example-guided synthesis and its application to the domain of relational queries. This line of work does not require additional user supervision in the form of templates to restrict the space of candidate programs, and therefore makes it completely end-to-end automated. The example-guided technique is further extended to support expressive features such as disjunction, recursion, and comparison predicates, as well as learning in presence of noise. We implement this technique and demonstrate that it outperforms the state-of-the-art tools on a diverse set of benchmarks in terms of both, running time and the quality of examples.