Fall 2021 Research Seminar Speakers

September 10, 2021 - 12:30 PM to 1:30 PM
Woodward 106

Aalok Thakkar

Ph.D. student, Computer and Information Science

University of Pennsylvania

 

Example-guided Synthesis of Relational Queries 

Program synthesis tasks are commonly specified via input-output examples. Existing enumerative techniques for such tasks are primarily guided by program syntax and only make indirect use of the examples. We identify a class of synthesis algorithms for programming-by-examples, which we call Example-Guided Synthesis (EGS), that exploits latent structure in the provided examples while generating candidate programs. We present an instance of EGS for the synthesis of relational queries and evaluate it on 86 tasks from three application domains: knowledge discovery, program analysis, and database querying. Our evaluation shows that EGS outperforms state-of-the-art synthesizers based on enumerative search, constraint solving, and hybrid techniques in terms of synthesis time, quality of synthesized programs, and ability to prove unrealizability.

alumni scholarship fund

The Alumni Gives Scholarship allows students to pursue their dreams and contribute to the technology community.  This needs-based scholarship empowers students to overcome financial hurdles while pursuing their education goals and gives preference to underrepresented populations within the CCI student body. 

Give to alumni Crowdfund