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.

Affiliation: University of Texas at Austin

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

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

Contributions

MAPS 2021	Program Chair in Organizing Committee within the MAPS 2021-track
SPLASH 2010
PLDI 2021	Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2021	Author of Verifying Correct Usage of Context-Free API Protocols within the Research Papers-track
MAPL 2020	Invited Speaker of LambdaNet: Probabilistic Type Inference using Graph Neural Networks within the MAPL-track
ASE 2020	Author of Demystifying Loops in Smart Contracts within the Research Papers-track
SPLASH 2020	Committee Member in External Review Committee within the OOPSLA-track Author of Automated Policy Synthesis for System Call Sandboxing within the OOPSLA-track
PLMW 2020	Author of Automated Program Verification using Abductive Reasoning within the PLMW 2020-track Invited Speaker in Invited speakers within the PLMW 2020-track
PLDI 2020	Committee Member in Steering Committee Committee Member in Program Committee within the PLDI Research Papers-track Author of "Ask Me Anything" with Işil Dillig within the Ask Me Anything-track Author of Multi-modal Synthesis of Regular Expressions within the PLDI Research Papers-track
POPL 2020	Author of Visualization by Example within the Research Papers-track
SPLASH 2019	Author of Relational Verification using Reinforcement Learning within the OOPSLA-track Committee Member in External Review Committee within the OOPSLA-track Keynote Speaker of Programming Support for Evolving Database Applications within the Keynotes-track
PLDI 2019	Author 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 2018	Speaker in Speakers within the PLMW @ PLDI 2018-track Presenter of Program verification using abductive reasoning within the PLMW @ PLDI 2018-track
SPLASH 2018	Author of Verified Three-Way Program Merge within the OOPSLA-track Author of Relational Program Synthesis within the OOPSLA-track
VMCAI 2018	Co-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 2018	Author of Singularity: Pattern Fuzzing for Worst Case Complexity within the Research Papers-track
PLDI 2018	Author 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 2017	Organizer in Mentors within the PLMW-track
POPL 2018	Committee 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)
PLMW	Committee Member in Speaker within the PLMW-track Author of Abductive Reasoning in Deductive Verification within the PLMW-track
POPL 2017	ERC member in External Review Committee within the POPL-track Author of Component-Based Synthesis for Complex APIs within the POPL-track
SPLASH 2017	Author 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 2017	Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track
PLMW	Author of Student Interaction Activity within the PLMW-track Committee Member in Organizing Committee
PLDI 2016	Author 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 2016	Committee Member in Program Committee within the OOPSLA-track
POPL 2016	ERC 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 2015	Committee Member in Program Committee within the ESOP-track
SPLASH 2015	Author of EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties within the OOPSLA-track
PLDI 2015	Student 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 2014	Session 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 2013	Committee 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 2012	Committee Member in Program Committee Committee Member in Program Committee within the OOPSLA Research Papers-track