Isil Dillig

Seohyun Kim

Vijayaraghavan Murali

Satish Chandra

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Synthesizing data structure refinements from integrity constraints.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Web question answering with neurosymbolic program synthesis.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Optimal Neural Program Synthesis from Multimodal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

Falx: Synthesis-Powered Visualization Authoring.

[BibT_eX]

[DOI]

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

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

[BibT_eX]

[DOI]

Trans. Assoc. Comput. Linguistics, 2020

Symbolic Reasoning for Automatic Signal Placement.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2020

Data Migration using Datalog Program Synthesis.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2020

Visualization by example.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Automated policy synthesis for system call sandboxing.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

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

[BibT_eX]

[DOI]

Kostas Ferles

Jon Stephens

CoRR, 2020

Multi-modal synthesis of regular expressions.

[BibT_eX]

[DOI]

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

Neurosymbolic Reinforcement Learning with Formally Verified Exploration.

[BibT_eX]

[DOI]

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

Demystifying Loops in Smart Contracts.

[BibT_eX]

[DOI]

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

LambdaNet: Probabilistic Type Inference using Graph Neural Networks.

[BibT_eX]

[DOI]

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

Synthesizing JIT Compilers for In-Kernel DSLs.

[BibT_eX]

[DOI]

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

Program Synthesis Using Deduction-Guided Reinforcement Learning.

[BibT_eX]

[DOI]

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

Benchmarking Multimodal Regex Synthesis with Complex Structures.

[BibT_eX]

[DOI]

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

2019

Trinity: An Extensible Synthesis Framework for Data Science.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Relational verification using reinforcement learning.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Synthesizing database programs for schema refactoring.

[BibT_eX]

[DOI]

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

Programming support for evolving database applications (invited talk).

[BibT_eX]

[DOI]

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

Programming support for database schema refactoring (keynote).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Navid Yaghmazadeh

Proc. VLDB Endow., 2018

Program synthesis using abstraction refinement.

[BibT_eX]

[DOI]

Rishabh Singh

Proc. ACM Program. Lang., 2018

Verified three-way program merge.

[BibT_eX]

[DOI]

Marcelo Sousa

Shuvendu K. Lahiri

Proc. ACM Program. Lang., 2018

Relational program synthesis.

[BibT_eX]

[DOI]

Yuepeng Wang

Proc. ACM Program. Lang., 2018

Verifying equivalence of database-driven applications.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Formal Specification and Verification of Smart Contracts for Azure Blockchain.

[BibT_eX]

[DOI]

CoRR, 2018

Symbolic Reasoning for Automatic Signal Placement (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

Marcelo Sousa

Shuvendu K. Lahiri

CoRR, 2018

Singularity: pattern fuzzing for worst case complexity.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Learning Abstractions for Program Synthesis.

[BibT_eX]

[DOI]

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

2017

Synthesis of circular compositional program proofs via abduction.

[BibT_eX]

[DOI]

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

SQLizer: query synthesis from natural language.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Synthesis of data completion scripts using finite tree automata.

[BibT_eX]

[DOI]

Rishabh Singh

Proc. ACM Program. Lang., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Failure-Directed Program Trimming (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

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

Failure-directed program trimming.

[BibT_eX]

[DOI]

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

Component-based synthesis for complex APIs.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Jia Chen

Yu Feng

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

2016

Type-Directed Code Reuse using Integer Linear Programming.

[BibT_eX]

[DOI]

CoRR, 2016

Hunter: next-generation code reuse for Java.

[BibT_eX]

[DOI]

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

Maximal specification synthesis.

[BibT_eX]

[DOI]

Aws Albarghouthi

Arie Gurfinkel

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

Synthesizing transformations on hierarchically structured data.

[BibT_eX]

[DOI]

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

Cartesian hoare logic for verifying k-safety properties.

[BibT_eX]

[DOI]

Marcelo Sousa

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

2015

Static detection of asymptotic performance bugs in collection traversals.

[BibT_eX]

[DOI]

Oswaldo Olivo

Calvin Lin

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

Synthesizing data structure transformations from input-output examples.

[BibT_eX]

[DOI]

John K. Feser

Swarat Chaudhuri

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Oswaldo Olivo

Calvin Lin

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

Bottom-Up Context-Sensitive Pointer Analysis for Java.

[BibT_eX]

[DOI]

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

2014

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Optimal Guard Synthesis for Memory Safety.

[BibT_eX]

[DOI]

Swarat Chaudhuri

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

2013

Inductive invariant generation via abductive inference.

[BibT_eX]

[DOI]

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

Explain: A Tool for Performing Abductive Inference.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Haiyan Zhu

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

2012

Automated error diagnosis using abductive inference.

[BibT_eX]

[DOI]

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

Minimum Satisfying Assignments for SMT.

[BibT_eX]

[DOI]

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

2011

Precise and automatic verification of container-manipulating programs.

[BibT_eX]

[DOI]

PhD thesis, 2011

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

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

Precise reasoning for programs using containers.

[BibT_eX]

[DOI]

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

Precise and compact modular procedure summaries for heap manipulating programs.

[BibT_eX]

[DOI]

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

Simplifying Loop Invariant Generation Using Splitter Predicates.

[BibT_eX]

[DOI]

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

2010

Reasoning about the unknown in static analysis.

[BibT_eX]

[DOI]

Commun. ACM, 2010

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Fluid Updates: Beyond Strong vs. Weak Updates.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2010

2008

Sound, complete and scalable path-sensitive analysis.

[BibT_eX]

[DOI]

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

The CLOSER: automating resource management in java.

[BibT_eX]

[DOI]

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

2007

Static error detection using semantic inconsistency inference.

[BibT_eX]

[DOI]