Isil Dillig

According to our database, Isil Dillig authored at least 79 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Verifying correct usage of context-free API protocols.

Kostas Ferles, Jon Stephens, Isil Dillig

Proc. ACM Program. Lang., 2021

Falx: Synthesis-Powered Visualization Authoring.

Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko

CoRR, 2021

2020

Sketch-Driven Regular Expression Generation from Natural Language and Examples.

Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett

Trans. Assoc. Comput. Linguistics, 2020

Symbolic Reasoning for Automatic Signal Placement.

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

ACM SIGOPS Oper. Syst. Rev., 2020

Data Migration using Datalog Program Synthesis.

Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig

Proc. VLDB Endow., 2020

Visualization by example.

Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig

Proc. ACM Program. Lang., 2020

Automated policy synthesis for system call sandboxing.

Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig

Proc. ACM Program. Lang., 2020

Verifying Correct Usage of Context-Free API Protocols (Extended Version).

Kostas Ferles, Jon Stephens, Isil Dillig

CoRR, 2020

Optimal Neural Program Synthesis from Multimodal Specifications.

Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett

CoRR, 2020

Multi-modal synthesis of regular expressions.

Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Neurosymbolic Reinforcement Learning with Formally Verified Exploration.

Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Demystifying Loops in Smart Contracts.

Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

LambdaNet: Probabilistic Type Inference using Graph Neural Networks.

Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig

Proceedings of the 8th International Conference on Learning Representations, 2020

Synthesizing JIT Compilers for In-Kernel DSLs.

Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Program Synthesis Using Deduction-Guided Reinforcement Learning.

Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Benchmarking Multimodal Regex Synthesis with Complex Structures.

Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019

Trinity: An Extensible Synthesis Framework for Data Science.

Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig

Proc. VLDB Endow., 2019

Relational verification using reinforcement learning.

Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig

Proc. ACM Program. Lang., 2019

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.

Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Optimization and abstraction: a synergistic approach for analyzing neural network robustness.

Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Synthesizing database programs for schema refactoring.

Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Programming support for evolving database applications (invited talk).

Isil Dillig

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

Programming support for database schema refactoring (keynote).

Isil Dillig

Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

2018

Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example.

Navid Yaghmazadeh, Xinyu Wang, Isil Dillig

Proc. VLDB Endow., 2018

Program synthesis using abstraction refinement.

Xinyu Wang, Isil Dillig, Rishabh Singh

Proc. ACM Program. Lang., 2018

Verified three-way program merge.

Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri

Proc. ACM Program. Lang., 2018

Relational program synthesis.

Yuepeng Wang, Xinyu Wang, Isil Dillig

Proc. ACM Program. Lang., 2018

Verifying equivalence of database-driven applications.

Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook

Proc. ACM Program. Lang., 2018

Formal Specification and Verification of Smart Contracts for Azure Blockchain.

Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig

CoRR, 2018

Symbolic Reasoning for Automatic Signal Placement (Extended Version).

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

CoRR, 2018

Verifying Semantic Conflict-Freedom in Three-Way Program Merges.

Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri

CoRR, 2018

Singularity: pattern fuzzing for worst case complexity.

Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Program synthesis using conflict-driven learning.

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Learning Abstractions for Program Synthesis.

Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Synthesis of circular compositional program proofs via abduction.

Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv

Int. J. Softw. Tools Technol. Transf., 2017

SQLizer: query synthesis from natural language.

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig

Proc. ACM Program. Lang., 2017

Synthesis of data completion scripts using finite tree automata.

Xinyu Wang, Isil Dillig, Rishabh Singh

Proc. ACM Program. Lang., 2017

Type- and Content-Driven Synthesis of SQL Queries from Natural Language.

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig

CoRR, 2017

Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version).

Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig

CoRR, 2017

Failure-Directed Program Trimming (Extended Version).

Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig

CoRR, 2017

Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions.

Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Failure-directed program trimming.

Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Component-based synthesis for complex APIs.

Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Component-based synthesis of table consolidation and transformation tasks from examples.

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.

Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Static detection of asymptotic resource side-channel vulnerabilities in web applications.

Jia Chen, Oswaldo Olivo, Isil Dillig, Calvin Lin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic.

Jia Chen, Yu Feng, Isil Dillig

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Type-Directed Code Reuse using Integer Linear Programming.

Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss

CoRR, 2016

Hunter: next-generation code reuse for Java.

Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Maximal specification synthesis.

Aws Albarghouthi, Isil Dillig, Arie Gurfinkel

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Synthesizing transformations on hierarchically structured data.

Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Cartesian hoare logic for verifying k-safety properties.

Marcelo Sousa, Isil Dillig

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Static detection of asymptotic performance bugs in collection traversals.

Oswaldo Olivo, Isil Dillig, Calvin Lin

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Synthesizing data structure transformations from input-output examples.

John K. Feser, Swarat Chaudhuri, Isil Dillig

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.

Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis.

Isil Dillig

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications.

Oswaldo Olivo, Isil Dillig, Calvin Lin

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Bottom-Up Context-Sensitive Pointer Analysis for Java.

Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Apposcopy: automated detection of Android malware (invited talk).

Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken

Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Apposcopy: semantics-based detection of Android malware through static analysis.

Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Consolidation of queries with user-defined functions.

Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Optimal Guard Synthesis for Memory Safety.

Thomas Dillig, Isil Dillig, Swarat Chaudhuri

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Inductive invariant generation via abductive inference.

Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Explain: A Tool for Performing Abductive Inference.

Isil Dillig, Thomas Dillig

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Automated Inference of Library Specifications for Source-Sink Property Verification.

Haiyan Zhu, Thomas Dillig, Isil Dillig

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Automated error diagnosis using abductive inference.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Minimum Satisfying Assignments for SMT.

Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Cuts from proofs: a complete and practical technique for solving linear inequalities over integers.

Isil Dillig, Thomas Dillig, Alex Aiken

Formal Methods Syst. Des., 2011

Precise reasoning for programs using containers.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Precise and compact modular procedure summaries for heap manipulating programs.

Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Simplifying Loop Invariant Generation Using Splitter Predicates.

Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Reasoning about the unknown in static analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Commun. ACM, 2010

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Static Analysis - 17th International Symposium, 2010

Symbolic heap abstraction with demand-driven axiomatization of memory invariants.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Fluid Updates: Beyond Strong vs. Weak Updates.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Programming Languages and Systems, 2010

2008

Sound, complete and scalable path-sensitive analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

The CLOSER: automating resource management in java.

Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra

Proceedings of the 7th International Symposium on Memory Management, 2008

2007

Static error detection using semantic inconsistency inference.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

An overview of the saturn project.

Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007