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

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

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