research
∙
06/15/2023
Live Exploration of AI-Generated Programs
AI-powered programming assistants are increasingly gaining popularity, w...
share
research
∙
12/08/2022
babble: Learning Better Abstractions with E-Graphs and Anti-Unification
Library learning compresses a given corpus of programs by extracting com...
research
∙
06/30/2022
Grounded Copilot: How Programmers Interact with Code-Generating Models
Powered by recent advances in code-generating models, AI assistants like...
research
∙
06/15/2022
Searching Entangled Program Spaces
Many problem domains, including program synthesis and rewrite-based opti...
research
∙
03/30/2022
Type-Directed Program Synthesis for RESTful APIs
With the rise of software-as-a-service and microservice architectures, R...
research
∙
10/16/2020
Just-in-Time Learning for Bottom-Up Enumerative Synthesis
A key challenge in program synthesis is the astronomical size of the sea...
research
∙
06/29/2020
Liquid Resource Types
This article presents liquid resource types, a technique for automatical...
research
∙
01/29/2020
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers – Extended Version
In program synthesis there is a well-known trade-off between concise and...
research
∙
11/11/2019
Program Synthesis by Type-Guided Abstraction Refinement
We consider the problem of type-directed component based synthesis where...
research
∙
04/30/2019
Targeted Synthesis for Programming with Data Invariants
Programmers frequently maintain implicit data invariants, which are rela...
research
∙
04/16/2019
Resource-Guided Program Synthesis
This article presents resource-guided synthesis, a technique for synthes...
research
∙
07/18/2018
Structuring the Synthesis of Heap-Manipulating Programs - Extended Version
This paper describes a deductive approach to synthesizing imperative pro...
research
∙
07/18/2018