Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Isil Dillig

Registered user since Thu 10 Apr 2014

Name:Isil Dillig
Bio:

Isil Dillig 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 in a robust way. Dr. Dillig is a Sloan Fellow and a recipient of the NSF CAREER award. She obtained all her degrees (BS, MS, and PhD) from Stanford University.

Country:United States
Affiliation:University of Texas at Austin
Research interests:Program analysis, program synthesis, program verification, programming languages, security, software engineering

Contributions

MAPS 2021 Opening Remarks
Program Chair in Organizing Committee within the MAPS 2021-track
PLMW@PLDI 2021 Panel on Advising and Research
PLDI 2021 Synthesizing Data Structure Refinements from Integrity Constraints
Session Chair of Keynote (part of Invited Talks)
Committee Member in Program Committee within the PLDI-track
Web Question Answering with Neurosymbolic Program Synthesis
Committee Member in Virtualization Committee
Show activities from other conferences

PLDI 2021-profile
View general profile