Thomas Dillig

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automated inference of library specifications for source-sink property verification Programming Languages and Systems	2015-01-12	Paper
Precise reasoning for programs using containers Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
Synthesis of circular compositional program proofs via abduction Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers Formal Methods in System Design	2012-09-27	Paper
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis Static Analysis	2010-10-01	Paper
Fluid updates: beyond strong vs. weak updates Programming Languages and Systems	2010-05-04	Paper
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers Computer Aided Verification	2009-06-30	Paper

Research outcomes over time

This page was built for person: Thomas Dillig