Sketch-Driven Regular Expression Generation from Natural Language and Examples
Xi Ye , Qiaochu Chen , Xinyu Wang , Isil Dillig
Transactions of the Association for Computational Linguistics 8 679 -694
2
2020
Static detection of asymptotic performance bugs in collection traversals
Oswaldo Olivo , Isil Dillig , Calvin Lin
programming language design and implementation 50 ( 6) 369 -378
63
2015
Optimal Guard Synthesis for Memory Safety
Thomas Dillig , Isil Dillig , Swarat Chaudhuri
computer aided verification 491 -507
9
2014
Programming support for evolving database applications (invited talk)
Isil Dillig
international conference on systems 3
2019
An overview of the saturn project
Alex Aiken , Suhabe Bugrara , Isil Dillig , Thomas Dillig
workshop on program analysis for software tools and engineering 43 -48
95
2007
Static error detection using semantic inconsistency inference
Isil Dillig , Thomas Dillig , Alex Aiken
Sigplan Notices
7
2007
Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications
Oswaldo Olivo , Isil Dillig , Calvin Lin
computer and communications security 616 -628
17
2015
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers
Isil Dillig , Thomas Dillig , Alex Aiken
formal methods 39 ( 3) 246 -260
4
2011
Minimum Satisfying Assignments for SMT
Isil Dillig , Thomas Dillig , Kenneth L. McMillan , Alex Aiken
Computer Aided Verification 394 -409
46
2012
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
Greg Anderson , Shankara Pailoor , Isil Dillig , Swarat Chaudhuri
arXiv: Programming Languages
73
2019
Synthesizing database programs for schema refactoring
Yuepeng Wang , James Dong , Rushi Shah , Isil Dillig
programming language design and implementation 286 -300
10
2019
Programming support for database schema refactoring (keynote)
Isil Dillig
database programming languages 2 -2
2019
Verifying equivalence of database-driven applications
Yuepeng Wang , Isil Dillig , Shuvendu K. Lahiri , William R. Cook
Proceedings of the ACM on Programming Languages 2 56
10
2017
Program synthesis using abstraction refinement
Xinyu Wang , Isil Dillig , Rishabh Singh
Proceedings of the ACM on Programming Languages 2 63
29
2017
Failure-directed program trimming
Kostas Ferles , Valentin Wüstholz , Maria Christakis , Isil Dillig
foundations of software engineering 174 -185
12
2017
Cartesian hoare logic for verifying k-safety properties
Marcelo Sousa , Isil Dillig
programming language design and implementation 51 ( 6) 57 -69
87
2016
Consolidation of queries with user-defined functions
Marcelo Sousa , Isil Dillig , Dimitrios Vytiniotis , Thomas Dillig
Sigplan Notices
5
2014
Reasoning about the unknown in static analysis
Isil Dillig , Thomas Dillig , Alex Aiken
Communications of The ACM 53 ( 8) 115 -123
9
2010
Fluid updates: beyond strong vs. weak updates
Isil Dillig , Thomas Dillig , Alex Aiken
european symposium on programming 246 -266
81
2010
Verifying correct usage of context-free API protocols
Kostas Ferles , Jon Stephens , Isil Dillig
symposium on principles of programming languages 5 1 -30
2021