Upcoming Talks

Ista white

Program synthesis across the software stack

Date: Monday, May 22, 2023 11:30 - 12:30
Speaker: Isil Dillig (University of Texas at Austin)
Location: Raiffeisen Lecture Hall
Series: Institute colloquium
Host: Krishnendu Chatterjee
Contact: Arinya Eller
Central building lecture hall

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.


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.

Qr image
Register Here
Download ICS Download invitation
Back to eventlist