Işıl Dillig's Publications
  1. Verifying Correct Usage of Context-Free API Protocols. Kostas Ferles, Jon Stephens, Isil Dillig. In POPL'21.
  2. Neurosymbolic Reinforcement Learning with Formally Verified Exploration. Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhui. In Neurips'21.
  3. Automated Policy Synthesis for System Call Sandboxing. Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig. In OOPSLA'20.
  4. Demystifying Loops in Smart Contracts. Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig. In ASE'20.
  5. Sketch-Driven Regular Expression Generation from Natural Language and Examples Xi Ye, Jocelyn Chen, Isil Dillig, and Greg Durrett. In TACL'20.
  6. Program Synthesis using Deduction-Guided Reinforcement Learning. Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig and Yu Feng. In CAV'20.
  7. Synthesizing JIT Compilers for In-Kernel DSLs. Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang and Emina Torlak. In CAV'20.
  8. StructuredRegex: A New Dataset for Regex Synthesis from Natural Language and Examples Xi Ye, Jocelyn Chen, Isil Dillig and Greg Durrett. In ACL'20.
  9. Multi-Modal Synthesis of Regular Expressions. Jocelyn Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig. In PLDI'20.
  10. Data Migration using Datalog Program Synthesis. Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig. In VLDB'20.
  11. LambdaNet: Probabilistic Type Inference using Graph Neural Networks. Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig. In ICLR'20.
  12. Visualization by Example. Chenglong Wang, Yu Feng, Ras Bodik, Alvin Cheung, Isil Dillig. In POPL'20.
  13. Relational Verification using Reinforcement Learning. Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig. In OOPSLA'19.
  14. Optimization + Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness. Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri. In PLDI'19. (Distinguished paper award)
  15. Synthesizing Database Applications for Schema Refactoring Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig. In PLDI'19.
  16. Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. In VSTTE'19.
  17. Trinity: An Extensible Synthesis Framework for Data Science. Jia Chen, Ruben Martins, Yanju Chen, Yu Feng, Isil Dillig. In VLDB'19.
  18. Relational Program Synthesis. Yuepeng Wang, Xinyu Wang, Isil Dillig. In OOPSLA'18.
  19. Verified Three-Way Program Merge. Marcelo Sousa, Isil Dillig, Shuvendu Lahiri. In OOPSLA'18.
  20. Singularity: Pattern Fuzzing for Worst Case Complexity. Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig. To appear in FSE'18.
  21. Learning Abstractions for Program Synthesis. Xinyu Wang, Greg Anderson, Isil Dillig, Ken McMillan. In CAV'18.
  22. Symbolic Reasoning for Automatic Signal Placement. Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis. In PLDI'18. [Extended version]
  23. Program Synthesis using Conflict-Driven Learning. Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig. In PLDI'18. (Distinguished paper award)
  24. Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example. Navid Yaghmazadeh, Xinyu Wang, Isil Dillig. In VLDB'18.
  25. Program Synthesis using Abstraction Refinement. Xinyu Wang, Isil Dillig, Rishabh Singh. In POPL'18.
  26. Verifying Equivalence of Database-Driven Applications. Yuepeng Wang, Isil Dillig, Shuvendu Lahiri, William Cook. In POPL'18.
  27. Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic. Jia Chen, Yu Feng, Isil Dillig. In CCS'17.
  28. Static Detection of Asymptotic Side Channel Vulnerabilities in Web Applications. Jia Chen, Oswaldo Olivo, Isil Dillig, Calvin Lin In ASE'17.
  29. Synthesis of Data Completion Scripts using Finite Tree Automata . Xinyu Wang, Isil Dillig, Rishabh Singh. In OOPSLA'17.
  30. SQLizer: Query Synthesis from Natural Language . Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig. In OOPSLA'17. (Distinguished paper award)
  31. Failure-Directed Program Trimming. Kostas Ferles, Valentin Wuestholz, Maria Christakis, Isil Dillig. In FSE'17.
  32. Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. Yu Feng, Ruben Martins, Jacob VanGeffen, Isil Dillig, Swarat Chaudhuri. In PLDI'17. [video]
  33. Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions. Valentin Wuestholz, Oswaldo Olivo, Marijn Heule, Isil Dillig. In TACAS'17. [Extended version] (ETAPS'17 best paper award)
  34. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand. In NDSS'17.
  35. Component-Based Synthesis for Complex APIs. Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Tom Reps. In POPL'17. [Extended version]
  36. Hunter: Type-Directed Code Reuse using Integer Linear Programming. Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss. In FSE'16. [Long version]
  37. Cartesian Hoare Logic for Verifying k-Safety Properties. Marcelo Sousa, Isil Dillig. In PLDI'16. [Extended version]
  38. Synthesizing Transformations on Hierarchically Structured Data. Navid Yaghmazadeh, Chris Klinger, Isil Dillig, Swarat Chaudhuri. In PLDI'16. [demo video]
  39. Maximal Specification Synthesis. Aws Albarghouthi, Isil Dillig, Arie Gurfinkel. In POPL 2016. [Extended version]
  40. Bottom-up Context-Sensitive Pointer Analysis for Java. Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig. In APLAS 2015.
  41. Detecting and Exploiting Second Order Denial of Service Vulnerabilities in Web Applications Oswaldo Olivo, Isil Dillig, Calvin Lin. In CCS 2015.
  42. EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties. Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin. In OOPSLA 2015.
  43. Synthesizing Data Structure Transformations from Input-Output Examples.
    John Feser, Swarat Chaudhuri, Isil Dillig. PLDI 2015.
  44. Static Detection of Asymptotic Performance Bugs in Collection Traversals.
    Oswaldo Olivo, Isil Dillig, Calvin Lin. PLDI 2015.
  45. Apposcopy: Semantics-Based Detection of Android Malware Through Static Analysis.
    Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken. FSE 2014.
  46. Optimal Guard Synthesis for Memory Safety.
    Thomas Dillig, Isil Dillig, Swarat Chaudhuri. CAV 2014. [Extended version] [slides]
  47. Consolidation of Queries with User-Defined Functions .
    Marcelo Sousa, Isil Dillig, Dimitrios Vytionitis, Thomas Dillig, Christos Gkantsidis. PLDI 2014.
  48. Automated Inference of Library Specifications for Source-Sink Property Verification.
    Haiyan Zhu, Thomas Dillig, Isil Dillig. APLAS 2013.
  49. Inductive Invariant Generation via Abductive Inference .
    Isil Dillig, Thomas Dillig, Boyang Li, Ken McMillan. OOPSLA 2013.
  50. EXPLAIN: A Tool for Performing Abductive Inference .
    Isil Dillig, Thomas Dillig. CAV 2013. [slides]
  51. Synthesis of Circular Compositional Program Proofs via Abduction .
    Boyang Li, Isil Dillig, Thomas Dillig, Ken McMillan, Mooly Sagiv. In TACAS 2013. Journal version in STTT'15. [slides] (Invited for journal special issue)
  52. Minimum Satisfying Assignments for SMT.   Isil Dillig, Thomas Dillig, Ken McMillan, Alex Aiken. Computer Aided Verification (CAV) 2012. [slides]
  53. Automated Error Diagnosis Using Abductive Inference. Isil Dillig, Thomas Dillig, Alex Aiken. Programming Languages Design and Implementation (PLDI) 2012. [Extended version] [slides] [poster]
  54. Precise and Automatic Verification of Container Manipulating Programs PhD Thesis, Stanford University Computer Science Department, 2011.
  55. Simplifying Loop Invariant Generation Using Splitter Predicates
    Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the International Conference on Computer Aided Verification (CAV) 2011. [Full version] [slides]
  56. Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
    Isil Dillig, Thomas Dillig, Alex Aiken. Formal Methods in System Design (FMSD) CAV 2009 special issue.
  57. Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs
    Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv. Proceedings of the Conference on Programming Language Design and Implementation (PLDI) 2011. [slides]
  58. Precise Reasoning for Programs Using Containers
    Isil Dillig, Thomas Dillig, Alex Aiken. Principles of Programming Languages (POPL) 2011. [slides]
  59. Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
    Isil Dillig, Thomas Dillig, Alex Aiken. Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) 2010. [slides]
  60. Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
    Isil Dillig, Thomas Dillig, Alex Aiken. Static Analysis Symposium (SAS) 2010. Perpignan, France. [slides]
  61. Reasoning About the Unknown in Static Analysis
    Isil Dillig, Thomas Dillig, Alex Aiken. Research highlight, Communications of the ACM (CACM), August 2010.
  62. Fluid Updates: Beyond Strong vs. Weak Updates
    Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the European Symposium on Programming (ESOP) 2010. Paphos, Cyprus. (Conference version without appendix)
    Slides: [odp version] [pdf version]
  63. Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
    Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of Computer Aided Verification (CAV) 2009. Grenoble, France. [slides] (Invited for journal special issue)
  64. SAIL: Static Analysis Intermediate Language with a Two-Level Representation
    Isil Dillig, Thomas Dillig, Alex Aiken. Technical Report, Stanford University 2009. [Project Website]
  65. Sound, Complete, and Scalable Path-Sensitive Analysis
    Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the Conference on Programming Language Design and Implementation (PLDI), June 2008. Tucson, AZ. [slides] (CACM research highlight)
  66. The CLOSER: Automating Resource Management in Java
    Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra. Proceedings of the International Symposium on Memory Management (ISMM), June 2008. Tucson, AZ. [slides]
  67. Static Error Detection Using Semantic Inconsistency Inference
    Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the Conference on Programming Language Design and Implementation (PLDI), pages 435-446, June 2007. San Diego, CA. [slides]
  68. An Overview of the Saturn Project
    A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins and B. Hackett. Proceedings of the Workshop on Program Analysis for Software Tools and Engineering (PASTE), pages 43-48, June 2007. San Diego, CA.
  69. The Saturn Program Analysis System.
    A. Aiken, S. Bugrara, I. Dillig, T. Dillig, B. Hackett, and P. Hawkins. Stanford University Computer Science Technical Report, December 2006.