Registered user since Thu 10 Apr 2014
Name:Işıl 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
2022
SPLASH
- Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
- Synthesizing fine-grained synchronization protocols for implicit monitors
- Type-Directed Synthesis of Visualizations from Natural Language Queries
- SolType: Refinement Types for Arithmetic Overflow in Solidity
- Session Chair of Testing and Maintenance (part of OOPSLA)
- Automated transpilation of imperative to functional code using neural-guided program synthesis
SPLASH 2022-profile
View general profile
View general profile