×
Compute Distance To:
Author ID: dillig.isil Recent zbMATH articles by "Dillig, Isil"
Published as: Dillig, Isil

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 39 times in 36 Documents Cited by Year
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1242.65116
Dillig, Isil; Dillig, Thomas; Aiken, Alex
9
2009
Synthesis of circular compositional program proofs via abduction. Zbl 1381.68057
Li, Boyang; Dillig, Isil; Dillig, Thomas; McMillan, Ken; Sagiv, Mooly
9
2013
Fluid updates: beyond strong vs. weak updates. Zbl 1260.68092
Dillig, Isil; Dillig, Thomas; Aiken, Alex
6
2010
Precise reasoning for programs using containers. Zbl 1284.68175
Dillig, Isil; Dillig, Thomas; Aiken, Alex
5
2011
Component-based synthesis for complex APIs. Zbl 1380.68108
Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
3
2017
Maximal specification synthesis. Zbl 1347.68067
Albarghouthi, Aws; Dillig, Isil; Gurfinkel, Arie
3
2016
Small formulas for large programs: on-line constraint simplification in scalable static analysis. Zbl 1306.68024
Dillig, Isil; Dillig, Thomas; Aiken, Alex
1
2010
Automated inference of library specifications for source-sink property verification. Zbl 1426.68068
Zhu, Haiyan; Dillig, Thomas; Dillig, Isil
1
2013
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1250.90057
Dillig, Isil; Dillig, Thomas; Aiken, Alex
1
2011
Static detection of DoS vulnerabilities in programs that use regular expressions. Zbl 1452.68060
Wüstholz, Valentin; Olivo, Oswaldo; Heule, Marijn J. H.; Dillig, Isil
1
2017
Component-based synthesis for complex APIs. Zbl 1380.68108
Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
3
2017
Static detection of DoS vulnerabilities in programs that use regular expressions. Zbl 1452.68060
Wüstholz, Valentin; Olivo, Oswaldo; Heule, Marijn J. H.; Dillig, Isil
1
2017
Maximal specification synthesis. Zbl 1347.68067
Albarghouthi, Aws; Dillig, Isil; Gurfinkel, Arie
3
2016
Synthesis of circular compositional program proofs via abduction. Zbl 1381.68057
Li, Boyang; Dillig, Isil; Dillig, Thomas; McMillan, Ken; Sagiv, Mooly
9
2013
Automated inference of library specifications for source-sink property verification. Zbl 1426.68068
Zhu, Haiyan; Dillig, Thomas; Dillig, Isil
1
2013
Precise reasoning for programs using containers. Zbl 1284.68175
Dillig, Isil; Dillig, Thomas; Aiken, Alex
5
2011
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1250.90057
Dillig, Isil; Dillig, Thomas; Aiken, Alex
1
2011
Fluid updates: beyond strong vs. weak updates. Zbl 1260.68092
Dillig, Isil; Dillig, Thomas; Aiken, Alex
6
2010
Small formulas for large programs: on-line constraint simplification in scalable static analysis. Zbl 1306.68024
Dillig, Isil; Dillig, Thomas; Aiken, Alex
1
2010
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1242.65116
Dillig, Isil; Dillig, Thomas; Aiken, Alex
9
2009

Citations by Year