Isil Dillig

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Verifying correct usage of context-free API protocols.
Proc. ACM Program. Lang., 2021

Falx: Synthesis-Powered Visualization Authoring.
CoRR, 2021

2020
Sketch-Driven Regular Expression Generation from Natural Language and Examples.
Trans. Assoc. Comput. Linguistics, 2020

Symbolic Reasoning for Automatic Signal Placement.
ACM SIGOPS Oper. Syst. Rev., 2020

Data Migration using Datalog Program Synthesis.
Proc. VLDB Endow., 2020

Visualization by example.
Proc. ACM Program. Lang., 2020

Automated policy synthesis for system call sandboxing.
Proc. ACM Program. Lang., 2020

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

Optimal Neural Program Synthesis from Multimodal Specifications.
CoRR, 2020

Multi-modal synthesis of regular expressions.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Neurosymbolic Reinforcement Learning with Formally Verified Exploration.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Demystifying Loops in Smart Contracts.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

LambdaNet: Probabilistic Type Inference using Graph Neural Networks.
Proceedings of the 8th International Conference on Learning Representations, 2020

Synthesizing JIT Compilers for In-Kernel DSLs.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Program Synthesis Using Deduction-Guided Reinforcement Learning.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Benchmarking Multimodal Regex Synthesis with Complex Structures.
Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019
Trinity: An Extensible Synthesis Framework for Data Science.
Proc. VLDB Endow., 2019

Relational verification using reinforcement learning.
Proc. ACM Program. Lang., 2019

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Optimization and abstraction: a synergistic approach for analyzing neural network robustness.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Synthesizing database programs for schema refactoring.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Programming support for evolving database applications (invited talk).
Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

Programming support for database schema refactoring (keynote).
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.
Proc. VLDB Endow., 2018

Program synthesis using abstraction refinement.
Proc. ACM Program. Lang., 2018

Verified three-way program merge.
Proc. ACM Program. Lang., 2018

Relational program synthesis.
Proc. ACM Program. Lang., 2018

Verifying equivalence of database-driven applications.
Proc. ACM Program. Lang., 2018

Formal Specification and Verification of Smart Contracts for Azure Blockchain.
CoRR, 2018

Symbolic Reasoning for Automatic Signal Placement (Extended Version).
CoRR, 2018

Verifying Semantic Conflict-Freedom in Three-Way Program Merges.
CoRR, 2018

Singularity: pattern fuzzing for worst case complexity.
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.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Learning Abstractions for Program Synthesis.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Synthesis of circular compositional program proofs via abduction.
Int. J. Softw. Tools Technol. Transf., 2017

SQLizer: query synthesis from natural language.
Proc. ACM Program. Lang., 2017

Synthesis of data completion scripts using finite tree automata.
Proc. ACM Program. Lang., 2017

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

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

Failure-Directed Program Trimming (Extended Version).
CoRR, 2017

Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Failure-directed program trimming.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Component-based synthesis for complex APIs.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Component-based synthesis of table consolidation and transformation tasks from examples.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Static detection of asymptotic resource side-channel vulnerabilities in web applications.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Type-Directed Code Reuse using Integer Linear Programming.
CoRR, 2016

Hunter: next-generation code reuse for Java.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

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

Synthesizing transformations on hierarchically structured data.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Cartesian hoare logic for verifying k-safety properties.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015
Static detection of asymptotic performance bugs in collection traversals.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Synthesizing data structure transformations from input-output examples.
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.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Bottom-Up Context-Sensitive Pointer Analysis for Java.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
Apposcopy: automated detection of Android malware (invited talk).
Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Apposcopy: semantics-based detection of Android malware through static analysis.
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.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Optimal Guard Synthesis for Memory Safety.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Inductive invariant generation via abductive inference.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Explain: A Tool for Performing Abductive Inference.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Automated Inference of Library Specifications for Source-Sink Property Verification.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
Automated error diagnosis using abductive inference.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Minimum Satisfying Assignments for SMT.
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.
Formal Methods Syst. Des., 2011

Precise reasoning for programs using containers.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Precise and compact modular procedure summaries for heap manipulating programs.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Simplifying Loop Invariant Generation Using Splitter Predicates.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Reasoning about the unknown in static analysis.
Commun. ACM, 2010

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Symbolic heap abstraction with demand-driven axiomatization of memory invariants.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Fluid Updates: Beyond Strong vs. Weak Updates.
Proceedings of the Programming Languages and Systems, 2010

2008
Sound, complete and scalable path-sensitive analysis.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

The CLOSER: automating resource management in java.
Proceedings of the 7th International Symposium on Memory Management, 2008

2007
Static error detection using semantic inconsistency inference.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

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


  Loading...