Işil Dillig

Registered user since Thu 10 Apr 2014

Name:Işil 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

ICSE 2024 Committee Member in Research Track within the Research Track-track
SPLASH 2023 Author of Automated Translation of Functional Big Data Queries to SQL within the OOPSLA-track
SPLASH 2022 Author of Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring within the OOPSLA-track
Author of Synthesizing fine-grained synchronization protocols for implicit monitors within the OOPSLA-track
Author of Type-Directed Synthesis of Visualizations from Natural Language Queries within the V-OOPSLA-track
Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the COVID Time Papers In Person-track
Session Chair of Testing and Maintenance (part of OOPSLA)
Author of Automated transpilation of imperative to functional code using neural-guided program synthesis within the OOPSLA-track
ESEC/FSE 2022 Author of Explaining Mispredictions of Machine Learning Models using Rule Induction within the ESEC/FSE 2021-track
ASE 2022 Author of Learning Contract Invariants Using Reinforcement Learning within the Research Papers-track
PLDI 2022 Session Chair of Keynote: Emery Berger (part of PLDI)
Author of Welcome to PLDI 2022 within the PLDI-track
Author of Business Meeting within the PLDI-track
Program Chair in Organizing Committee
Program Chair in PLDI within the PLDI-track
ICSE 2022 Author of Counterfactual Explanations for Models of Code within the SEIP - Software Engineering in Practice-track
POPL 2022 Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the POPL-track
Author of Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution within the POPL-track
Author of SIGPLAN Reynolds Dissertation Award within the POPL-track
Author of SIGPLAN Programming Languages Achievements Award within the POPL-track
VMCAI 2022 Keynote Speaker of Simplifying Concurrent Programming via Synchronization Synthesis within the VMCAI 2022-track
SPLASH 2021 Author of Web Question Answering with Neurosymbolic Program Synthesis within the SIGPLAN Papers-track
Author of UDF to SQL Translation through Compositional Lazy Inductive Synthesis within the OOPSLA-track
Session Chair of Awards (part of Awards)
Author of Automated Policy Synthesis for System Call Sandboxing within the SIGPLAN Papers-track
ESEC/FSE 2021 Author of Checking Conformance of Applications against GUI Policies within the Research Papers-track
Author of Explaining Mispredictions of Machine Learning Models using Rule Induction within the Research Papers-track
PLDI 2021 Author of Synthesizing Data Structure Refinements from Integrity Constraints within the PLDI-track
Session Chair of Keynote (part of Invited Talks)
Committee Member in Program Committee within the PLDI-track
Author of Web Question Answering with Neurosymbolic Program Synthesis within the PLDI-track
Committee Member in Virtualization Committee
MAPS 2021 Chair of Opening Remarks within the MAPS 2021-track
Program Chair in Organizing Committee within the MAPS 2021-track
PLMW@PLDI 2021 Panelist of Panel on Advising and Research within the PLMW@PLDI 2021-track
POPL 2021 Author of Verifying Correct Usage of Context-Free API Protocols within the POPL-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
ASE 2020 Author of Demystifying Loops in Smart Contracts within the Research Papers-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
MAPL 2020 Invited Speaker of LambdaNet: Probabilistic Type Inference using Graph Neural Networks within the MAPL-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
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
ESEC/FSE 2018 Author of Singularity: Pattern Fuzzing for Worst Case Complexity within the Research Papers-track
SPLASH 2018 Author of Verified Three-Way Program Merge within the OOPSLA-track
Author of Relational Program Synthesis within the OOPSLA-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
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
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)
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)
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
PLMW 2017 Organizer in Mentors within the PLMW-track
PLDI 2017 Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-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
PLMW Committee Member in Speaker within the PLMW-track
Author of Abductive Reasoning in Deductive Verification within the PLMW-track
SPLASH 2016 Committee Member in Program Committee within the OOPSLA-track
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
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
PLMW Author of Student Interaction Activity within the PLMW-track
Committee Member in Organizing Committee
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
ESOP 2015 Committee Member in Program Committee within the ESOP-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