Thomas Dillig

Available identifiers

zbMath Open dillig.thomasMaRDI QIDQ453503

List of research outcomes

Publication	Date of Publication	Type
Automated Inference of Library Specifications for Source-Sink Property Verification	2015-01-12	Paper
Precise reasoning for programs using containers	2014-04-10	Paper
Synthesis of Circular Compositional Program Proofs via Abduction	2013-08-05	Paper
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers	2012-09-27	Paper
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis	2010-10-01	Paper
Fluid Updates: Beyond Strong vs. Weak Updates	2010-05-04	Paper
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers	2009-06-30	Paper

Research outcomes over time

This page was built for person: Thomas Dillig