An overview of the saturn project. - Alex Aiken; Suhabe Bugrara; Isil Dillig; Thomas Dillig; Brian Hackett; Peter Hawkins (PASTE, 2007)

Static error detection using semantic inconsistency inference. - Isil Dillig; Thomas Dillig; Alex Aiken (PLDI, 2007)

The CLOSER: automating resource management in java. - Isil Dillig; Thomas Dillig; Eran Yahav; Satish Chandra 001 (ISMM, 2008)

Sound, complete and scalable path-sensitive analysis. - Isil Dillig; Thomas Dillig; Alex Aiken (PLDI, 2008)

Fluid Updates: Beyond Strong vs. Weak Updates. - Isil Dillig; Thomas Dillig; Alex Aiken (ESOP, 2010)

Symbolic heap abstraction with demand-driven axiomatization of memory invariants. - Isil Dillig; Thomas Dillig; Alex Aiken (OOPSLA, 2010)

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. - Isil Dillig; Thomas Dillig; Alex Aiken (SAS, 2010)

Reasoning about the unknown in static analysis. - Isil Dillig; Thomas Dillig; Alex Aiken (Commun. ACM, 2010)

Simplifying Loop Invariant Generation Using Splitter Predicates. - Rahul Sharma 001; Isil Dillig; Thomas Dillig; Alex Aiken (CAV, 2011)

Precise and compact modular procedure summaries for heap manipulating programs. - Isil Dillig; Thomas Dillig; Alex Aiken; Mooly Sagiv (PLDI, 2011)

Precise reasoning for programs using containers. - Isil Dillig; Thomas Dillig; Alex Aiken (POPL, 2011)

Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. - Isil Dillig; Thomas Dillig; Alex Aiken (Formal Methods Syst. Des., 2011)

A modular and symbolic approach to static program analysis. - Thomas Dillig (2011)

Minimum Satisfying Assignments for SMT. - Isil Dillig; Thomas Dillig; Kenneth L. McMillan; Alex Aiken (CAV, 2012)

Automated error diagnosis using abductive inference. - Isil Dillig; Thomas Dillig; Alex Aiken (PLDI, 2012)

Automated Inference of Library Specifications for Source-Sink Property Verification. - Haiyan Zhu; Thomas Dillig; Isil Dillig (APLAS, 2013)

Explain: A Tool for Performing Abductive Inference. - Isil Dillig; Thomas Dillig (CAV, 2013)

Inductive invariant generation via abductive inference. - Isil Dillig; Thomas Dillig; Boyang Li 002; Kenneth L. McMillan (OOPSLA, 2013)

Optimal Guard Synthesis for Memory Safety. - Thomas Dillig; Isil Dillig; Swarat Chaudhuri (CAV, 2014)

Consolidation of queries with user-defined functions. - Marcelo Sousa; Isil Dillig; Dimitrios Vytiniotis; Thomas Dillig; Christos Gkantsidis (PLDI, 2014)

Bottom-Up Context-Sensitive Pointer Analysis for Java. - Yu Feng 001; Xinyu Wang 006; Isil Dillig; Thomas Dillig (APLAS, 2015)

Type- and Content-Driven Synthesis of SQL Queries from Natural Language. - Navid Yaghmazadeh; Yuepeng Wang 001; Isil Dillig; Thomas Dillig (CoRR, 2017)

SQLizer: query synthesis from natural language. - Navid Yaghmazadeh; Yuepeng Wang 001; Isil Dillig; Thomas Dillig (Proc. ACM Program. Lang., 2017)

Synthesis of circular compositional program proofs via abduction. - Isil Dillig; Thomas Dillig; Boyang Li 002; Kenneth L. McMillan; Mooly Sagiv (Int. J. Softw. Tools Technol. Transf., 2017)