Isil Dillig

Available identifiers

zbMath Open dillig.isilMaRDI QIDQ453502

List of research outcomes

Publication	Date of Publication	Type
Program synthesis using deduction-guided reinforcement learning	2021-02-09	Paper
Static detection of DoS vulnerabilities in programs that use regular expressions	2020-08-05	Paper
Component-based synthesis for complex APIs	2017-10-20	Paper
Maximal specification synthesis	2016-10-24	Paper
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: Isil Dillig