2026 Isil Dillig: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	38	10313	10024	4323	4146	141	5623

Research.com Recognitions

2015 - Fellow of Alfred P. Sloan Foundation

Overview

Isil Dillig is affiliated with The University of Texas at Austin in the United States. Their research contributions span multiple areas within computer science, with a primary focus on software engineering and verification.

The main field of study for Isil Dillig is Computer Science, reflecting a broad involvement in this discipline through numerous publications. Within this domain, their work touches on several subfields including:

Artificial Intelligence
Information Systems
Computer Networks and Communications
Software
Hardware and Architecture

The research topics covered by Isil Dillig are diverse and detailed, encompassing:

Software Engineering Research
Software Testing and Debugging Techniques
Security and Verification in Computing
Parallel Computing and Optimization Techniques
Topic Modeling
Formal Methods in Verification
Natural Language Processing Techniques

Their publication record includes papers in leading venues such as:

arXiv (Cornell University)
Proceedings of the ACM on Programming Languages
Transactions of the Association for Computational Linguistics
Proceedings of the VLDB Endowment
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Notable recent papers by Isil Dillig include:

"LambdaNet: Probabilistic Type Inference using Graph Neural Networks" (2020, arXiv)
"Bottom-up synthesis of recursive functional programs using angelic execution" (2022, Proceedings of the ACM on Programming Languages)
"SolType: refinement types for arithmetic overflow in solidity" (2022, Proceedings of the ACM on Programming Languages)
"Automated transpilation of imperative to functional code using neural-guided program synthesis" (2022, Proceedings of the ACM on Programming Languages)
"Sketch-Driven Regular Expression Generation from Natural Language and Examples" (2020, Transactions of the Association for Computational Linguistics)

The scientist collaborates frequently with several co-authors who have contributed to multiple publications together. These frequent collaborators include:

Greg Durrett
Shankara Pailoor
Joydeep Biswas
Swarat Chaudhuri
Qiaochu Chen

Isil Dillig has been recognized for their work with awards, including being named a Fellow of the Alfred P. Sloan Foundation in 2015.

Best Publications

Apposcopy: semantics-based detection of Android malware through static analysis

Yu Feng;Saswat Anand;Isil Dillig;Alex Aiken

570
Citations
Synthesizing data structure transformations from input-output examples

John K. Feser;Swarat Chaudhuri;Isil Dillig

331
Citations
SQLizer: Query Synthesis from Natural Language

Navid Yaghmazadeh;Yuepeng Wang;Isil Dillig;Thomas Dillig

271
Citations
Component-based synthesis of table consolidation and transformation tasks from examples

Yu Feng;Ruben Martins;Jacob Van Geffen;Isil Dillig

192
Citations
Inductive invariant generation via abductive inference

Isil Dillig;Thomas Dillig;Boyang Li;Ken McMillan

173
Citations
Program synthesis using conflict-driven learning

Yu Feng;Ruben Martins;Osbert Bastani;Isil Dillig

170
Citations
Sound, complete and scalable path-sensitive analysis

Isil Dillig;Thomas Dillig;Alex Aiken

162
Citations
An overview of the saturn project

Alex Aiken;Suhabe Bugrara;Isil Dillig;Thomas Dillig

151
Citations
Component-based synthesis for complex APIs

Yu Feng;Ruben Martins;Yuepeng Wang;Isil Dillig

150
Citations
Cartesian hoare logic for verifying k-safety properties

Marcelo Sousa;Isil Dillig

146
Citations
Automated error diagnosis using abductive inference

Isil Dillig;Thomas Dillig;Alex Aiken

132
Citations
Fluid updates: beyond strong vs. weak updates

Isil Dillig;Thomas Dillig;Alex Aiken

115
Citations
Static detection of asymptotic performance bugs in collection traversals

Oswaldo Olivo;Isil Dillig;Calvin Lin

109
Citations
Static error detection using semantic inconsistency inference

Isil Dillig;Thomas Dillig;Alex Aiken

107
Citations
Precise and compact modular procedure summaries for heap manipulating programs

Isil Dillig;Thomas Dillig;Alex Aiken;Mooly Sagiv

99
Citations
Precise reasoning for programs using containers

Isil Dillig;Thomas Dillig;Alex Aiken

96
Citations
Simplifying loop invariant generation using splitter predicates

Rahul Sharma;Isil Dillig;Thomas Dillig;Alex Aiken

95
Citations
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.

Yu Feng;Osbert Bastani;Ruben Martins;Isil Dillig

93
Citations
Optimization and abstraction: a synergistic approach for analyzing neural network robustness

Greg Anderson;Shankara Pailoor;Isil Dillig;Swarat Chaudhuri

92
Citations
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic

Jia Chen;Yu Feng;Isil Dillig

90
Citations
Formal Specification and Verification of Smart Contracts for Azure Blockchain

Shuvendu K. Lahiri;Shuo Chen;Yuepeng Wang;Isil Dillig

75
Citations

Frequent Co-Authors

Alex Aiken Stanford University

Swarat Chaudhuri The University of Texas at Austin

Shuvendu K. Lahiri Microsoft (United States)

Kenneth L. McMillan Microsoft (United States)

Rishabh Singh Google (United States)

Rastislav Bodik University of Washington

Calvin Lin The University of Texas at Austin

Mooly Sagiv Tel Aviv University

Satish Chandra Association for Computing Machinery

William R. Cook The University of Texas at Austin

External Links

Personal website of Isil Dillig

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science opens doors to diverse online degrees that can boost your skills and career prospects. Many students look beyond traditional computer science programs to areas like engineering, data science, and physics for a broader foundation or specialized expertise. For example, pursuing an online physics bachelor's degree can strengthen your analytical skills and understanding of problem-solving in technology fields.

As demand grows for experts in data analysis, affordability is a key consideration for many students. If you’re looking for the cheapest data science course in the US, there are several flexible, cost-effective online options available. Similarly, you can expand your technical background by enrolling in accredited online electrical engineering programs—ideal for those who want to bridge computer science with hardware or applied engineering.

For students seeking a quicker route into the job market, there are also certifications that pay well in tech and related areas. These programs can add valuable credentials to your resume, often in less time than a full degree.