Isil Dillig

Associate Professor
Isil Dillig is currently an Associate Professor at UTCS. Her main research areas are Programming Languages and Formal Methods (specifically, program verification and synthesis), but her research also touches on Security, Databases, and Artificial Intelligence. Prof. Dillig obtained all her degrees (BS, MS, PhD) from Stanford University, and she is also a Sloan Fellow as as well as an NSF CAREER award recipient. Her research has been recognized by numerous awards, including best paper awards as PLDI, OOPSLA, and ETAPS, and a CACM research highlight. Prof. Dillig has served as co-chair of CAV, the premier conference in Formal Methods, and she has served on Program Committees of most major Programming Languages and Formal Methods conferences.

Research

Research Interests: 
  • Program Analysis and Verification
  • Program Synthesis
  • Automated Logical Reasoning
Current Research: 

Prof. Dillig's main research interests are  program analysis/verification, program synthesis, and automated logical reasoning. She is interested in developing tools and novel techniques to make software systems more secure and reliable. In particular, her research focuses on automatically proving the absence of certain classes of errors and security vulnerabilities in software. She is also interested in techniques for automatically synthesizing programs from formal or informal specifications. 
 

Select Publications

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig. 2018. Program Synthesis using Conflict-Driven Learning. PLDI.
Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin. 2015. EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties. OOPSLA.
John Feser, Swarat Chaudhuri, Isil Dillig. 2015. Synthesizing Data Structure Transformations from Input-Output Examples. PLDI.
Oswaldo Olivo, Isil Dillig, Calvin Lin. 2015. Static Detection of Asymptotic Performance Bugs in Collection Traversals. PLDI.
Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken. 2014. Apposcopy: Semantics-Based Detection of Android Malware Through Static Analysis. FSE.

Awards & Honors

2018 - PLDI Distinguished Paper Award
2017 - OOPSLA Distinguished Paper Award
2017 - ETAPS Best Paper Award
2015 - Sloan Fellow
2015 - NSF CAREER Award
2012 - Distinguished Reviewer Award, OOPSLA
2010 - Stanford Graduate Fellowship
2007 - Forbes School of Engineering Fellowship
2006 - Wegbreit Award
2006 - Firestone Meda