Skip to main content

Işıl Dillig

Professor

Isil Dillig is a Professor at UTCS. Her main research areas are Programming Languages and Formal Methods (specifically, program verification and synthesis), but her research tends to be fairly inter-disciplinary. 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, POPL, 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. She has also won several teaching awards, such as the Texas 10 and CNS teaching excellence award.

Research

Research Areas:
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.

View complete list

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

Contact Info

Işıl Dillig
Professor
Homepage
(512) 471-9794
isil@cs.utexas.edu
GDC 5.726

Related Stories

Işıl Dillig Named 2025 ACM SIGPLAN Robin Milner Young Researcher
NSF Funded Expedition Project Uses AI to Rethink Computer Operating Systems
Paving the Way for a New Era in Crash Consistency Testing
Isil Dillig Named Texas 10 Award Winner
Changing the Evolution of Database Applications
More stories