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: UT Austin

Personal website: http://www.cs.utexas.edu/~isil/

Research interests: Program analysis, program synthesis, program verification, programming languages, security, software engineering

Contributions

PLDI 2020Author in Steering Committee
Committee Member in Program Committee within the PLDI Research Papers-track
SPLASH 2019Author of Relational Verification using Reinforcement Learning within the OOPSLA-track
Committee Member in External Review Committee within the OOPSLA-track
PLDI 2019Author of Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness within the PLDI Research Papers-track
2017 Member at Large in Steering Committee
Author of Synthesizing Database Programs for Schema Refactoring within the PLDI Research Papers-track
Committee Member in External Program Committee within the PLDI Research Papers-track
PLMW @ PLDI 2018Speaker in Speakers within the PLMW @ PLDI 2018-track
Presenter of Program verification using abductive reasoning within the PLMW @ PLDI 2018-track
SPLASH 2018Author of Verified Three-Way Program Merge within the OOPSLA-track
Author of Relational Program Synthesis within the OOPSLA-track
VMCAI 2018Co-chair in Organizing Committee within the VMCAI 2018-track
Session Chair of Invited Talk by Ranjit Jhala (part of VMCAI 2018)
Program Co-Chair in Program Committee within the VMCAI 2018-track
Session Chair of Invited Talk by Azadeh Farzan (part of VMCAI 2018)
ESEC/FSE 2018Author of Singularity: Pattern Fuzzing for Worst Case Complexity within the Research Papers-track
PLDI 2018Author of Symbolic Reasoning for Automatic Signal Placement within the PLDI Research Papers-track
Author of Program Synthesis using Conflict-Driven Learning within the PLDI Research Papers-track
Session Chair of Program Analysis (part of PLDI Research Papers)
Steering Committee Member in Steering Committee
Committee Member in Program Committee
PLMW 2017Organizer in Mentors within the PLMW-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
Author of Program Synthesis using Abstraction Refinement within the Research Papers-track
Author of Verifying Equivalence of Database-Driven Applications within the Research Papers-track
Session Chair of Program Analysis II (part of Research Papers)
PLMWCommittee Member in Speaker within the PLMW-track
Author of Abductive Reasoning in Deductive Verification within the PLMW-track
POPL 2017ERC member in External Review Committee within the POPL-track
Author of Component-Based Synthesis for Complex APIs within the POPL-track
SPLASH 2017Author of Synthesis of Data Completion Scripts using Finite Tree Automata within the OOPSLA-track
Author of SQLizer: Query Synthesis from Natural Language within the OOPSLA-track
PLDI 2017Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track
PLMWAuthor of Student Interaction Activity within the PLMW-track
Committee Member in Organizing Committee
PLDI 2016Author of Cartesian Hoare Logic for Verifying k-Safety Properties within the Research Papers-track
Session Chair of Verification I (part of Research Papers)
Author of Synthesizing Transformations on Hierarchically Structured Data within the Research Papers-track
Committee Member in Program Committee
SPLASH 2016Committee Member in Program Committee within the OOPSLA-track
POPL 2016ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
Author of Maximal Specification Synthesis within the Research Papers-track
ESOP 2015Committee Member in Program Committee within the ESOP-track
SPLASH 2015Author of EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties within the OOPSLA-track
PLDI 2015Student Research Competition Chair in Organizing Committee
Session Chair of Student Research Competition Talks (part of Student Research Competition)
Author of Automated Detection of Performance Bugs via Static Analysis within the Research Papers-track
Session Chair of Synthesis II (part of Research Papers)
Student Research Competition Chair of Student Research Competition Awards Session within the Student Research Competition-track
Committee Member in External Review Committee within the Research Papers-track
Author of Synthesizing Data Structure Transformations from Input-Output Examples within the Research Papers-track
SPLASH 2014Session Chair of SRC Posters (part of Student Research Competition)
Student Research Competition Co-Chair in Organizing Committee
Co-chair in Organizing Committee within the Student Research Competition-track
Session Chair of SRC Presentations (part of Student Research Competition)
SPLASH 2013Committee Member in External Review Committee within the OOPSLA-track
Author of Inductive Invariant Generation via Abductive Inference within the OOPSLA-track
Chair in Committee within the ACM SRC-track
SPLASH 2012Committee Member in Program Committee
Committee Member in Program Committee within the OOPSLA Research Papers-track