Seminars

View all Seminars  |  Download ICal for this event

Example Guided Synthesis of Relational Queries

Series: Department Seminar

Speaker: Aalok Thakkar

Date/Time: Oct 08 11:30:00

Location: CSA Auditorium, (Room No. 104, Ground Floor)

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.

Speaker Bio:
Aalok Thakkar obtained his PhD from the University of Pennsylvania in May 2023, and is currently an Assistant Professor of Computer Science at Ashoka University. His research focuses on integrating formal methods and artificial intelligence, with particular emphasis on applying formal methods in programming-by-examples for relational queries, synthesis of reactive programs, bounded model checking, verification of smart contracts, and text generation.

Host Faculty: Deepak D'Souza