65 citations · 347 across the 17 of their papers we have counts for
4 papers · 1 filter
babble: Learning Better Abstractions with E-Graphs and Anti-Unification
David Cao, Rose Kunkel, Chandrakana Nandi +3
Library learning compresses a given corpus of programs by extracting common structure from the corpus into reusable library functions. Prior work on library learning suffers from t…
Searching Entangled Program Spaces
James Koppel, Zheng Guo, Edsko de Vries +2
Many problem domains, including program synthesis and rewrite-based optimization, require searching astronomically large spaces of programs. Existing approaches often rely on build…
Grounded Copilot: How Programmers Interact with Code-Generating Models
Shraddha Barke, Michael B. James, Nadia Polikarpova
Powered by recent advances in code-generating models, AI assistants like Github Copilot promise to change the face of programming forever. But what is this new face of programming?…
Type-Directed Program Synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong +3
With the rise of software-as-a-service and microservice architectures, RESTful APIs are now ubiquitous in mobile and web applications. A service can have tens or hundreds of API me…