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/
SPLASH 2014 Activities
- Session Chair of SRC Posters (part of SPLASH 2014 Student Research Competition)
- Student Research Competition Co-Chair in Organizing Committee for SPLASH 2014
- Co-chair in Organizing Committee for SPLASH 2014 Student Research Competition
- Session Chair of SRC Presentations (part of SPLASH 2014 Student Research Competition)
- Show activities from other conferences
View general profile