Nadia Polikarpova
University of California, San Diego
H-index: 20
North America-United States
Top articles of Nadia Polikarpova
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Live Exploration of AI-Generated Programs | arXiv preprint arXiv:2306.09541 | Kasra Ferdowsi Michael B James Nadia Polikarpova Sorin Lerner | 2023/6/15 |
Leveraging Rust Types for Program Synthesis | Proceedings of the ACM on Programming Languages | Jonáš Fiala Shachar Itzhaky Peter Müller Nadia Polikarpova Ilya Sergey | 2023/6/6 |
Grounded copilot: How programmers interact with code-generating models | Proceedings of the ACM on Programming Languages | Shraddha Barke Michael B James Nadia Polikarpova | 2023/4/6 |
Babble: Learning better abstractions with e-graphs and anti-unification | Proceedings of the ACM on Programming Languages | David Cao Rose Kunkel Chandrakana Nandi Max Willsey Zachary Tatlock | 2023/1/9 |
ColDeco: An end user spreadsheet inspection tool for AI-generated code | Kasra Ferdowsi Jack Williams Ian Drosos Andrew D Gordon Carina Negreanu | 2023/10/3 | |
Type-directed program synthesis for restful apis | Zheng Guo David Cao Davin Tjong Jean Yang Cole Schlesinger | 2022/6/9 | |
Regex+: Synthesizing Regular Expressions from Positive Examples | 11TH Workshop on Synthesis | Elizaveta Pertseva Mark Barbone Joey Rudek Nadia Polikarpova | 2022/6 |
Optimizing consistency for partially replicated data stores | Ivan Kuraj Armando Solar-Lezama Nadia Polikarpova | 2022/4/2 | |
Searching entangled program spaces | Proceedings of the ACM on Programming Languages | James Koppel Zheng Guo Edsko De Vries Armando Solar-Lezama Nadia Polikarpova | 2022/8/29 |
Theory Acquisition as Constraint-Based Program Synthesis | Proceedings of the Annual Meeting of the Cognitive Science Society | Haoliang Wang Ed Vul Nadia Polikarpova Judith E Fan | 2021 |
Certifying the synthesis of heap-manipulating programs | Proceedings of the ACM on Programming Languages | Yasunari Watanabe Kiran Gopinathan George Pîrlea Nadia Polikarpova Ilya Sergey | 2021/8/18 |
Deductive synthesis of programs with pointers: techniques, challenges, opportunities | Shachar Itzhaky Hila Peleg Nadia Polikarpova Reuben NS Rowe Ilya Sergey | 2021 | |
Towards a polyglot framework for factorized ML | David Justo Shaoqing Yi Lukas Stadler Nadia Polikarpova Arun Kumar | 2021 | |
{STORM}: Refinement types for secure web applications | Nico Lehmann Rose Kunkel Jordan Brown Jean Yang Niki Vazou | 2021 | |
Cyclic program synthesis | Shachar Itzhaky Hila Peleg Nadia Polikarpova Reuben NS Rowe Ilya Sergey | 2021/6/19 | |
12th International Conference on Interactive Theorem Proving (ITP 2021) | Magnus O Myreen Nadia Polikarpova Andrei Popescu Thomas Bauereiss Peter Lammich | 2021 | |
LooPy: interactive program synthesis with control structures | Proceedings of the ACM on Programming Languages | Kasra Ferdowsifard Shraddha Barke Hila Peleg Sorin Lerner Nadia Polikarpova | 2021/10/15 |
Learning part-based abstractions for visual object concepts | Proceedings of the Annual Meeting of the Cognitive Science Society | Haoliang Wang Nadia Polikarpova Judith E Fan | 2021 |
Synthesis of web layouts from examples | Dylan Lukes John Sarracino Cora Coleman Hila Peleg Sorin Lerner | 2021/8/20 | |
Small-step live programming by example | Kasra Ferdowsifard Allen Ordookhanians Hila Peleg Sorin Lerner Nadia Polikarpova | 2020/10/20 |