research
∙
04/27/2021
Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
We present a new synthesis algorithm to solve program synthesis over noi...
research
∙
03/08/2021
Program Synthesis Over Noisy Data with Guarantees
We explore and formalize the task of synthesizing programs over noisy da...
research
∙
12/31/2020
An Order-aware Dataflow Model for Extracting Shell Script Parallelism
We present a dataflow model for extracting data parallelism latent in Un...
research
∙
09/22/2020
Inductive Program Synthesis Over Noisy Data
We present a new framework and associated synthesis algorithms for progr...
research
∙
07/11/2019