Isil Dillig

Identifiers

No identifiers captured yet.

Papers (20)

1. Optimal Predicate Pushdown Synthesis cs.PL · 2026 · author #4
2. Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation cs.PL · 2026 · author #4
3. Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness cs.PL · 2019 · author #3
4. Synthesizing Database Programs for Schema Refactoring cs.PL · 2019 · author #4
5. Formal Specification and Verification of Smart Contracts for Azure Blockchain cs.PL · 2018 · author #5
6. Relational Program Synthesis cs.PL · 2018 · author #3
7. Learning Abstractions for Program Synthesis cs.PL · 2018 · author #3
8. Symbolic Reasoning for Automatic Signal Placement (Extended Version) cs.PL · 2018 · author #3
9. Verifying Semantic Conflict-Freedom in Three-Way Program Merges cs.PL · 2018 · author #2
10. Program Synthesis using Conflict-Driven Learning cs.PL · 2017 · author #4
11. Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example cs.PL · 2017 · author #3
12. Program Synthesis using Abstraction Refinement cs.PL · 2017 · author #2
13. Verifying Equivalence of Database-Driven Applications cs.LO · 2017 · author #2
14. Synthesis of Data Completion Scripts using Finite Tree Automata cs.PL · 2017 · author #2
15. Failure-Directed Program Trimming (Extended Version) cs.SE · 2017 · author #4
16. Type- and Content-Driven Synthesis of SQL Queries from Natural Language cs.DB · 2017 · author #3
17. Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version) cs.CR · 2017 · author #4
18. Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples cs.PL · 2016 · author #4
19. Type-Directed Code Reuse using Integer Linear Programming cs.SE · 2016 · author #5
20. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability cs.CR · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Yuepeng Wang 6 shared papers
• Xinyu Wang 5 shared papers
• Ruben Martins 4 shared papers
• Yu Feng 4 shared papers
• Osbert Bastani 3 shared papers
• Greg Anderson 2 shared papers
• Jacob Van Geffen 2 shared papers
• Kostas Ferles 2 shared papers
• Navid Yaghmazadeh 2 shared papers
• Rishabh Singh 2 shared papers
• Shuvendu K. Lahiri 2 shared papers
• Swarat Chaudhuri 2 shared papers
• Valentin W\"ustholz 2 shared papers
• Arati Kaushik 1 shared papers
• Celeste Barnaby 1 shared papers
• Cody Born 1 shared papers
• Danny Ding 1 shared papers
• Dixin Tang 1 shared papers
• Eric Hayden Campbell 1 shared papers
• Immad Naseer 1 shared papers