44 citations · 94 across the 3 of their papers we have counts for
3 papers
Validating AI-Generated Code with Live Programming
Kasra Ferdowsi, Ruanqianqian Huang, Michael B. James +2
AI-powered programming assistants are increasingly gaining popularity, with GitHub Copilot alone used by over a million developers worldwide. These tools are far from perfect, howe…
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?…
Program Synthesis by Type-Guided Abstraction Refinement
Zheng Guo, Michael James, David Justo +4
We consider the problem of type-directed component based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the que…