Registered user since Thu 10 Apr 2014
Name: Isil Dillig
Bio: I am an assistant professor at the computer science department of the University of Texas at Austin. My main research interests are program analysis and verification, formal methods, and automated logical reasoning. The overarching goal of my research is to make software systems more reliable, secure, and easier to build in a robust way.
I obtained all my degrees (BS, MS, PhD) at Stanford University , where my PhD advisor was Alex Aiken . Prior to joining UT Austin, I worked as a researcher at Microsoft Research Cambridge (2013-2014) and as an assitant professor at the College of William & Mary (2012-2013).
Research Interests: my main research interests are static program analysis/verification and automated logical reasoning. I am interested in developing tools and novel techniques to make software systems more secure and reliable. In particular, my research focuses on automatically proving the absence of certain classes of errors (such as memory safety errors, assertion failures, etc.) in software.
More specifically, my research on static analysis tackles the challenge of designing algorithms that are both sound (i.e., never miss any potential program errors) as well as precise (i.e., do not report a lot of false alarms) and scalable (i.e., work on large programs). Towards this goal, I have worked on a variety of topics including pointer and data structure analysis, loop invariant generation, path-sensitive analysis, and compositional reasoning. On the automated logical reasoning side, I have worked on decision procedures for logical satisfiability, constraint simplification, and abductive inference. I am also interested in program synthesis, applications of static analysis in security, and program optimization techniques.
Affiliation: University of Texas, Austin
Personal website: http://www.cs.utexas.edu/~isil/
PLDI 2015 Activities
- Student Research Competition Chair in Organizing Committee for PLDI 2015
- Session Chair of Student Research Competition Talks (part of PLDI 2015 Student Research Competition)
- Author of Automated Detection of Performance Bugs via Static Analysis within the Research Papers-track in PLDI 2015
- Session Chair of Synthesis II (part of PLDI 2015 Research Papers)
- Student Research Competition Chair of Student Research Competition Awards Session within the Student Research Competition-track in PLDI 2015
- Committee Member in External Review Committee for PLDI 2015 Research Papers
- Author of Synthesizing Data Structure Transformations from Input-Output Examples within the Research Papers-track in PLDI 2015
- Show activities from other conferences
View general profile