Thomas Dillig

According to our database, Thomas Dillig authored at least 24 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Synthesis of circular compositional program proofs via abduction.

Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv

Int. J. Softw. Tools Technol. Transf., 2017

SQLizer: query synthesis from natural language.

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig

Proc. ACM Program. Lang., 2017

Type- and Content-Driven Synthesis of SQL Queries from Natural Language.

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig

CoRR, 2017

2015

Bottom-Up Context-Sensitive Pointer Analysis for Java.

Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Consolidation of queries with user-defined functions.

Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Optimal Guard Synthesis for Memory Safety.

Thomas Dillig, Isil Dillig, Swarat Chaudhuri

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Inductive invariant generation via abductive inference.

Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Explain: A Tool for Performing Abductive Inference.

Isil Dillig, Thomas Dillig

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Automated Inference of Library Specifications for Source-Sink Property Verification.

Haiyan Zhu, Thomas Dillig, Isil Dillig

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Automated error diagnosis using abductive inference.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Minimum Satisfying Assignments for SMT.

Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

A modular and symbolic approach to static program analysis.

Thomas Dillig

PhD thesis, 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

Precise reasoning for programs using containers.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Precise and compact modular procedure summaries for heap manipulating programs.

Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Simplifying Loop Invariant Generation Using Splitter Predicates.

Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Reasoning about the unknown in static analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Commun. ACM, 2010

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Static Analysis - 17th International Symposium, 2010

Symbolic heap abstraction with demand-driven axiomatization of memory invariants.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Fluid Updates: Beyond Strong vs. Weak Updates.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Programming Languages and Systems, 2010

2008

Sound, complete and scalable path-sensitive analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

The CLOSER: automating resource management in java.

Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra

Proceedings of the 7th International Symposium on Memory Management, 2008

2007

Static error detection using semantic inconsistency inference.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

An overview of the saturn project.

Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007