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
Colloquium
Tags
Institute Colloquium
Host
Krishnendu Chatterjee
Contact
Central building lecture hall
Image


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.


Qr image
Register Here
Download ICS Download invitation
Back to eventlist