research
∙
08/23/2023
Saggitarius: A DSL for Specifying Grammatical Domains
Common data types like dates, addresses, phone numbers and tables can ha...
share
research
∙
12/08/2022
Technical Report: Match-reference regular expressions and lenses
A lens is a single program that specifies two data transformations at on...
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
∙
03/26/2020
Data-Driven Inference of Representation Invariants
A representation invariant is a property that holds of all values of abs...
research
∙
10/26/2018
Synthesizing Symmetric Lenses
Lenses are programs that can be run both "front to back" and "back to fr...
research
∙
06/08/2018
Program Synthesis Through Reinforcement Learning Guided Tree Search
Program Synthesis is the task of generating a program from a provided sp...
research
∙
10/09/2017