research
∙
05/29/2023
Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
Developers often dedicate significant time to maintaining and refactorin...
share
research
∙
05/17/2023
Data Extraction via Semantic Regular Expression Synthesis
Many data extraction tasks of practical relevance require not only synta...
research
∙
05/16/2023
Satisfiability-Aided Language Models Using Declarative Prompting
Prior work has combined chain-of-thought prompting in large language mod...
research
∙
05/04/2023
Program Synthesis for Robot Learning from Demonstrations
This paper presents a new synthesis-based approach for solving the Learn...
research
∙
04/06/2023
ImageEye: Batch Image Processing Using Program Synthesis
This paper presents a new synthesis-based approach for batch image proce...
research
∙
03/16/2023
TypeT5: Seq2seq Type Inference using Static Analysis
There has been growing interest in automatically predicting missing type...
research
∙
03/02/2023
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations
Learning from demonstration (LfD) is a widely researched paradigm for te...
research
∙
09/28/2022
Guiding Safe Exploration with Weakest Preconditions
In reinforcement learning for safety-critical settings, it is often desi...
research
∙
09/02/2022
Type-Directed Synthesis of Visualizations from Natural Language Queries
We propose a new technique based on program synthesis for automatically ...
research
∙
06/13/2022
Metric Program Synthesis
We present a new domain-agnostic synthesis technique for generating prog...
research
∙
04/12/2022
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems
We present a study of crash-consistency bugs in persistent-memory (PM) f...
research
∙
03/02/2022
STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations
Accurate kinodynamic models play a crucial role in many robotics applica...
research
∙
03/01/2022
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)
A monitor is a widely-used concurrent programming abstraction that encap...
research
∙
11/10/2021
Counterfactual Explanations for Models of Code
Machine learning (ML) models play an increasingly prevalent role in many...
research
∙
09/11/2021
Making Table Understanding Work in Practice
Understanding the semantics of tables at scale is crucial for tasks like...
research
∙
07/13/2021
Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution
We present a novel bottom-up method for the synthesis of functional recu...
research
∙
04/14/2021
Web Question Answering with Neurosymbolic Program Synthesis
In this paper, we propose a new technique based on program synthesis for...
research
∙
04/14/2021
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation
We propose a new algorithm to simplify the controller development for di...
research
∙
10/19/2020
Verifying Correct Usage of Context-Free API Protocols (Extended Version)
Several real-world libraries (e.g., reentrant locks, GUI frameworks, ser...
research
∙
10/04/2020
Optimal Neural Program Synthesis from Multimodal Specifications
Multimodal program synthesis, which leverages different types of user in...
research
∙
09/26/2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
We present Revel, a partially neural reinforcement learning (RL) framewo...
research
∙
05/02/2020
Benchmarking Multimodal Regex Synthesis with Complex Structures
Existing datasets for regular expression (regex) generation from natural...
research
∙
04/29/2020
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
As gradual typing becomes increasingly popular in languages like Python ...
research
∙
03/03/2020
Data Migration using Datalog Program Synthesis
This paper presents a new technique for migrating data between different...
research
∙
08/16/2019
Sketch-Driven Regular Expression Generation from Natural Language and Examples
Recent systems for converting natural language descriptions into regular...
research
∙
08/09/2019
Multi-Modal Synthesis of Regular Expressions
Despite their usefulness across a wide range of application domains, reg...
research
∙
04/22/2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
In recent years, the notion of local robustness (or robustness for short...
research
∙
04/22/2019
Optimization + Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
In recent years, the notion of local robustness (or robustness for short...
research
∙
04/11/2019
Synthesizing Database Programs for Schema Refactoring
Many programs that interact with a database need to undergo schema refac...
research
∙
12/20/2018
Formal Specification and Verification of Smart Contracts for Azure Blockchain
In this paper, we describe the formal verification of Smart Contracts of...
research
∙
09/07/2018
Relational Program Synthesis
This paper proposes relational program synthesis, a new problem that con...
research
∙
04/11/2018
Learning Abstractions for Program Synthesis
Many example-guided program synthesis techniques use abstractions to pru...
research
∙
04/07/2018
Symbolic Reasoning for Automatic Signal Placement (Extended Version)
Explicit signaling between threads is a perennial cause of bugs in concu...
research
∙
02/19/2018
Verifying Semantic Conflict-Freedom in Three-Way Program Merges
Even though many programmers rely on 3-way merge tools to integrate chan...
research
∙
11/21/2017
Program Synthesis using Conflict-Driven Learning
We propose a new conflict-driven program synthesis technique that is cap...
research
∙
11/10/2017
Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example
While many applications export data in hierarchical formats like XML and...
research
∙
10/21/2017
Program Synthesis using Abstraction Refinement
We present a new approach to example-guided program synthesis based on c...
research
∙
10/20/2017
Verifying Equivalence of Database-Driven Applications
This paper addresses the problem of verifying equivalence between a pair...
research
∙
07/05/2017
Synthesis of Data Completion Scripts using Finite Tree Automata
In application domains that store data in a tabular format, a common tas...
research
∙
06/14/2017