Thomas Dillig

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 3

Top Topics

Abductive Inference

Natural Language

Functional Programs

Efficient Processing

Top Venues

Proc. ACM Program. Lang.

Publications

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
SQLizer: query synthesis from natural language. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv
Synthesis of circular compositional program proofs via abduction. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
Type- and Content-Driven Synthesis of SQL Queries from Natural Language. CoRR (2017)
Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
Bottom-Up Context-Sensitive Pointer Analysis for Java. APLAS (2015)
Thomas Dillig, Isil Dillig, Swarat Chaudhuri
Optimal Guard Synthesis for Memory Safety. CAV (2014)
Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis
Consolidation of queries with user-defined functions. PLDI (2014)
Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan
Inductive invariant generation via abductive inference. OOPSLA (2013)
Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv
Synthesis of Circular Compositional Program Proofs via Abduction. TACAS (2013)
Isil Dillig, Thomas Dillig
Explain: A Tool for Performing Abductive Inference. CAV (2013)
Haiyan Zhu, Thomas Dillig, Isil Dillig
Automated Inference of Library Specifications for Source-Sink Property Verification. APLAS (2013)
Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken
Minimum Satisfying Assignments for SMT. CAV (2012)
Isil Dillig, Thomas Dillig, Alex Aiken
Automated error diagnosis using abductive inference. PLDI (2012)
Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken
Simplifying Loop Invariant Generation Using Splitter Predicates. CAV (2011)
Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv
Precise and compact modular procedure summaries for heap manipulating programs. PLDI (2011)
Isil Dillig, Thomas Dillig, Alex Aiken
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Formal Methods Syst. Des. 39 (3) (2011)
Isil Dillig, Thomas Dillig, Alex Aiken
Precise reasoning for programs using containers. POPL (2011)
Isil Dillig, Thomas Dillig, Alex Aiken
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. SAS (2010)
Isil Dillig, Thomas Dillig, Alex Aiken
Fluid Updates: Beyond Strong vs. Weak Updates. ESOP (2010)
Isil Dillig, Thomas Dillig, Alex Aiken
Symbolic heap abstraction with demand-driven axiomatization of memory invariants. OOPSLA (2010)
Isil Dillig, Thomas Dillig, Alex Aiken
Reasoning about the unknown in static analysis. Commun. ACM 53 (8) (2010)
Isil Dillig, Thomas Dillig, Alex Aiken
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. CAV (2009)
Isil Dillig, Thomas Dillig, Alex Aiken
Sound, complete and scalable path-sensitive analysis. PLDI (2008)
Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra
The CLOSER: automating resource management in java. ISMM (2008)
Isil Dillig, Thomas Dillig, Alex Aiken
Static error detection using semantic inconsistency inference. PLDI (2007)
Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
An overview of the saturn project. PASTE (2007)