research
∙
05/23/2023
GrACE: Generation using Associated Code Edits
Developers expend a significant amount of time in editing code for a var...
share
research
∙
05/02/2023
From Words to Code: Harnessing Data for Program Synthesis from Natural Language
Creating programs to correctly manipulate data is a difficult task, as t...
research
∙
11/01/2022
Revisiting Heterophily in Graph Convolution Networks by Learning Representations Across Topological and Feature Spaces
Graph convolution networks (GCNs) have been enormously successful in lea...
research
∙
07/25/2022
Overwatch: Learning Patterns in Code Edit Sequences
Integrated Development Environments (IDEs) provide tool support to autom...
research
∙
07/24/2022
Neurosymbolic Repair for Low-Code Formula Languages
Most users of low-code platforms, such as Excel and PowerApps, write pro...
research
∙
07/05/2022
DeepPS2: Revisiting Photometric Stereo Using Two Differently Illuminated Images
Photometric stereo, a problem of recovering 3D surface normals using ima...
research
∙
03/31/2022
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)
We introduce the novel concept of Spatial Predictive Control (SPC) to so...
research
∙
01/26/2022
Synchromesh: Reliable code generation from pre-trained language models
Large pre-trained language models have been used to generate code,provid...
research
∙
09/03/2021
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
Multi-modal program synthesis refers to the task of synthesizing program...
research
∙
08/16/2021
A Conjecture Equivalent to the Collatz Conjecture
We present a formulation of the Collatz conjecture that is potentially m...
research
∙
07/30/2021
Shadow Art Revisited: A Differentiable Rendering Based Approach
While recent learning based methods have been observed to be superior fo...
research
∙
06/22/2020
Information-theoretic User Interaction: Significant Inputs for Program Synthesis
Programming-by-example technologies are being deployed in industrial pro...
research
∙
06/01/2020
Learning Distributed Controllers for V-Formation
We show how a high-performing, fully distributed and symmetric neural V-...
research
∙
03/03/2020
Data Invariants: On Trust in Data-Driven Systems
The reliability and proper function of data-driven applications hinge on...
research
∙
02/20/2020
V-Formation via Model Predictive Control
We present recent results that demonstrate the power of viewing the prob...
research
∙
09/12/2019
Quantitative Programming by Examples
Programming-by-Example (PBE) systems synthesize an intended program in s...
research
∙
08/26/2019
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
We show how a distributed flocking controller can be synthesized using d...
research
∙
08/23/2018
SOTER: Programming Safe Robotics System using Runtime Assurance
Autonomous robots increasingly depend on third-party off-the-shelf compo...
research
∙
05/21/2018
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems
We present DAMPC, a distributed, adaptive-horizon and adaptive-neighborh...
research
∙
10/27/2017
Declarative vs Rule-based Control for Flocking Dynamics
The popularity of rule-based flocking models, such as Reynolds' classic ...
research
∙
10/11/2017
Specification Inference from Demonstrations
Learning from expert demonstrations has received a lot of attention in a...
research
∙
09/26/2017
Output Range Analysis for Deep Neural Networks
Deep neural networks (NN) are extensively used for machine learning task...
research
∙
12/21/2016