Nadia Polikarpova
3 papers in the PaperMetrix corpus
Papers by this author
-
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. …
-
Solving Data-centric Tasks using Large Language Models
2024
Shraddha Barke, Christian Poelitz, Carina Negreanu, Benjamin Zorn, José Cambronero, Andrew Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams. Findings of the Association for Computational Linguistics: NAACL 2024. …