Campus Event Calendar
Event Entry
What and Who
Computer-Aided Programming Across Software Stack
Işıl Dillig
University of Texas at Austin
SWS Distinguished Lecture Series
Isil Dillig (PhD, Stanford) is an Associate Professor of Computer Science at the University of Texas at Austin where she leads the UToPiA research group. Her main research area is programming languages, with a specific emphasis on static analysis, verification, and program synthesis. The techniques developed by her group aim to make software systems more reliable, secure, and easier to build. Dr. Dillig is a Sloan Fellow and a recipient of the NSF CAREER award. Her publications have received distinguished paper awards at top-tier conferences, such as PLDI, OOPSLA, ETAPS, and others. She has also served as co-chair of international conferences and workshops, such as, most recently, the 2019 Computer Aided Verification (CAV) conference.
AG 1, AG 2, AG 3, INET, AG 4, AG 5, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 16 December 2019
10:30
60 Minutes
G26
111
Kaiserslautern
Abstract
Program synthesis techniques aim to generate executable programs from some high-level of expression on user intent, such as logical specifications, examples, or naive reference implementation. This talk will survey different flavors of program synthesis and their applications across the entire software stack, ranging from computer end-users all the way to systems programmers. We will also illustrate how program synthesis is useful for addressing different concerns in software development, including functionality, correctness, performance, and security.
Contact
Vera Schreiber
--email hidden
Video Broadcast
Yes
Saarbrücken
E1 5
029
SWS Space 2 (6312)
passcode not visible
logged in users only
Vera Schreiber, 12/10/2019 10:33
Vera Schreiber, 12/06/2019 14:26
Vera Schreiber, 12/06/2019 10:26 -- Created document.
Vera Schreiber, 12/06/2019 14:26
Vera Schreiber, 12/06/2019 10:26 -- Created document.