Program synthesis across the software stack

Program synthesis aims to automatically synthesize programs from high-level expressions of user intent, such as examples, logical specifications, or a simple reference implementation. This talk will survey some of the techniques underlying modern program synthesis tools and highlight its applications for both end-users and professional developers. The talk will aim to illustrate how program synthesis can help automate tasks across many layers in the software stack, ranging from low-level systems code all the way up to computer end users.

Bio

Isil Dillig is a Professor of Computer Science at the University of Texas at Austin where she leads the UToPiA research group. Her primary research area is Programming Languages, with an emphasis on Program Synthesis and Software Verification.  Dillig is a Sloan Fellow,  an NSF CAREER award winner, and recipient of numerous best & distinguished paper awards. She has all of her degrees (BS, MS, PhD) in computer science from Stanford University.