Edit Profile (opens in new tab) Dillig, Isil Compute Distance To: Compute Author ID: dillig.isil Published as: Dillig, Isil Documents Indexed: 12 Publications since 2009 3 Contributions as Editor Co-Authors: 23 Co-Authors with 15 Joint Publications 538 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Dillig, Thomas 5 Aiken, Alex 2 Feng, Yu 2 Tasiran, Serdar 1 Albarghouthi, Aws 1 Bastani, Osbert 1 Chen, Yanju 1 Gurfinkel, Arie 1 Heule, Marijn J. H. 1 Li, Boyang 1 Martins, Ruben 1 McMillan, Kenneth L. 1 Nelson, Luke 1 Olivo, Oswaldo 1 Palsberg, Jens 1 Reps, Thomas W. 1 Sagiv, Mooly 1 Torlak, Emina 1 Van Geffen, Jacob 1 Wang, Chenglong 1 Wang, Yuepeng 1 Wüstholz, Valentin 1 Zhu, Haiyan Serials 3 Lecture Notes in Computer Science 1 Formal Methods in System Design Fields 13 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 2 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 11 Publications have been cited 55 times in 47 Documents Cited by ▼ Year ▼ Synthesis of circular compositional program proofs via abduction. Zbl 1381.68057Li, Boyang; Dillig, Isil; Dillig, Thomas; McMillan, Ken; Sagiv, Mooly 13 2013 Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1242.65116Dillig, Isil; Dillig, Thomas; Aiken, Alex 10 2009 Fluid updates: beyond strong vs. weak updates. Zbl 1260.68092Dillig, Isil; Dillig, Thomas; Aiken, Alex 6 2010 Precise reasoning for programs using containers. Zbl 1284.68175Dillig, Isil; Dillig, Thomas; Aiken, Alex 5 2011 Maximal specification synthesis. Zbl 1347.68067Albarghouthi, Aws; Dillig, Isil; Gurfinkel, Arie 5 2016 Component-based synthesis for complex APIs. Zbl 1380.68108Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W. 4 2017 Automated inference of library specifications for source-sink property verification. Zbl 1426.68068Zhu, Haiyan; Dillig, Thomas; Dillig, Isil 3 2013 Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1250.90057Dillig, Isil; Dillig, Thomas; Aiken, Alex 3 2011 Static detection of DoS vulnerabilities in programs that use regular expressions. Zbl 1452.68060Wüstholz, Valentin; Olivo, Oswaldo; Heule, Marijn J. H.; Dillig, Isil 3 2017 Small formulas for large programs: on-line constraint simplification in scalable static analysis. Zbl 1306.68024Dillig, Isil; Dillig, Thomas; Aiken, Alex 2 2010 Program synthesis using deduction-guided reinforcement learning. Zbl 1478.68054Chen, Yanju; Wang, Chenglong; Bastani, Osbert; Dillig, Isil; Feng, Yu 1 2020 Program synthesis using deduction-guided reinforcement learning. Zbl 1478.68054Chen, Yanju; Wang, Chenglong; Bastani, Osbert; Dillig, Isil; Feng, Yu 1 2020 Component-based synthesis for complex APIs. Zbl 1380.68108Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W. 4 2017 Static detection of DoS vulnerabilities in programs that use regular expressions. Zbl 1452.68060Wüstholz, Valentin; Olivo, Oswaldo; Heule, Marijn J. H.; Dillig, Isil 3 2017 Maximal specification synthesis. Zbl 1347.68067Albarghouthi, Aws; Dillig, Isil; Gurfinkel, Arie 5 2016 Synthesis of circular compositional program proofs via abduction. Zbl 1381.68057Li, Boyang; Dillig, Isil; Dillig, Thomas; McMillan, Ken; Sagiv, Mooly 13 2013 Automated inference of library specifications for source-sink property verification. Zbl 1426.68068Zhu, Haiyan; Dillig, Thomas; Dillig, Isil 3 2013 Precise reasoning for programs using containers. Zbl 1284.68175Dillig, Isil; Dillig, Thomas; Aiken, Alex 5 2011 Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1250.90057Dillig, Isil; Dillig, Thomas; Aiken, Alex 3 2011 Fluid updates: beyond strong vs. weak updates. Zbl 1260.68092Dillig, Isil; Dillig, Thomas; Aiken, Alex 6 2010 Small formulas for large programs: on-line constraint simplification in scalable static analysis. Zbl 1306.68024Dillig, Isil; Dillig, Thomas; Aiken, Alex 2 2010 Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Zbl 1242.65116Dillig, Isil; Dillig, Thomas; Aiken, Alex 10 2009 all cited Publications top 5 cited Publications all top 5 Cited by 100 Authors 5 Bromberger, Martin 5 Weidenbach, Christoph 3 Itzhaky, Shachar 2 Alberti, Francesco 2 Alrajeh, Dalal 2 Cavezza, Davide Giacomo 2 Chatterjee, Krishnendu 2 Cheon, Hyunjoon 2 de Moura, Leonardo 2 Fedyukovich, Grigory 2 Ghilardi, Silvio 2 György, András 2 Han, Yo-Sub 2 Henzinger, Thomas A. 2 Jovanović, Dejan 2 Monniaux, David P. 2 Otop, Jan 2 Peleg, Hila 2 Rümmer, Philipp 2 Sebastiani, Roberto 2 Sharygina, Natasha 2 Sturm, Thomas 2 Tinelli, Cesare 1 Aiken, Alex 1 Backeman, Peter 1 Barbosa, Haniel 1 Barrett, Clark W. 1 Beyer, Dirk 1 Blondin, Michael 1 Bodik, Rastislav 1 Braine, Julien 1 Bruttomesso, Roberto 1 Chakraborty, Supratik 1 Chalupa, Marek 1 Chang, Bor-Yuh Evan 1 Christ, Jürgen 1 Dangl, Matthias 1 Darulova, Eva 1 Dross, Claire 1 Echenim, Mnacho 1 Falke, Stephan 1 Filliâtre, Jean-Christophe 1 Fleury, Mathias 1 Fulara, Jędrzej 1 Garg, Pranav 1 Gonnord, Laure 1 Griggio, Alberto 1 Gupta, Aarti 1 Gupta, Ashutosh 1 Haase, Christoph 1 Hahn, Joonghyuk 1 Hanaoka, Goichiro 1 Hoenicke, Jochen 1 Izycheva, Anastasiia 1 Journault, Matthieu 1 Kapur, Deepak 1 Kaufman, Samuel J. 1 Kröning, Daniel 1 Larraz, Daniel 1 Le, Thi Thieu Hoa 1 Leroux, Jérôme 1 Liu, Jiangchao 1 Lu, Tianhan 1 Madhusudan, Parthasarathy 1 Matsuda, Takahiro 1 Miné, Antoine 1 Moy, Yannick 1 Neider, Daniel 1 Offtermatt, Philip 1 Park, Daejun 1 Peltier, Nicolas 1 Pick, Lauren 1 Polikarpova, Nadia 1 Ranise, Silvio 1 Ranzato, Francesco 1 Reynolds, Andrew 1 Rival, Xavier 1 Rowe, Reuben N. S. 1 Saha, Shambwaditya 1 Schwarz, Simon 1 Seidl, Helmut 1 Sergey, Ilya 1 Sharma, Rahul Kumar 1 Shoham, Sharon 1 Singher, Eytan 1 Strejček, Jan 1 Subotic, Pavle 1 Sung, Sicheol 1 Tang, Hao 1 Tomasi, Silvia 1 Trivedi, Ashutosh 1 Unadkat, Divyesh 1 Wang, Xiaoyin 1 Weissenbacher, Georg 1 Wendler, Philipp 1 Xiong, Yingfei 1 Yahav, Eran 1 Zeljić, Aleksandar 1 Zhang, Lingming 1 Zhang, Lu all top 5 Cited in 7 Serials 7 Formal Methods in System Design 6 Journal of Automated Reasoning 2 Acta Informatica 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic all top 5 Cited in 6 Fields 46 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 5 Operations research, mathematical programming (90-XX) 2 Measure and integration (28-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year