Kasra Ferdowsi

Small-Step Live Programming by Example

2020

Live programming is a paradigm in which the programming environment continually displays runtime values. Program synthesis is a technique that can generate programs or program snippets from examples. \deltextThis paper presents a new programming paradigm …

Validating AI-Generated Code with Live Programming

2023 · arXiv (Cornell University)

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, however, producing code suggestions that may be incorrect in subtle ways. …