Nadia Polikarpova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
18
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CHI | Validating AI-Generated Code with Live Programming. | Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner |
| 2024 | NAACL | Solving Data-centric Tasks using Large Language Models. | Shraddha Barke, Christian Plitz, Carina Negreanu, Benjamin Zorn, Jos Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams |
| 2022 | PLDI | Type-directed program synthesis for RESTful APIs. | Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova |
| 2022 | PPoPP | Optimizing consistency for partially replicated data stores. | Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova |
| 2021 | CAV | Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper). | Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey |
| 2021 | CogSci | Learning part-based abstractions for visual object concepts. | Haoliang Wang, Nadia Polikarpova, Judith E. Fan |
| 2021 | CogSci | Theory Acquisition as Constraint-Based Program Synthesis. | Haoliang Wang, Ed Vul, Nadia Polikarpova, Judith E. Fan |
| 2021 | ITP | Synthesis of Safe Pointer-Manipulating Programs (Invited Talk). | Nadia Polikarpova |
| 2021 | OSDI | STORM: Refinement Types for Secure Web Applications. | Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala |
| 2021 | PLDI | Cyclic program synthesis. | Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey |
| 2020 | ECOOP | Perfect Is the Enemy of Good: Best-Effort Program Synthesis. | Hila Peleg, Nadia Polikarpova |
| 2020 | ESOP | Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. | Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey |
| 2020 | UIST | Small-Step Live Programming by Example. | Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova |
| 2019 | EMNLP | Constraint-based Learning of Phonological Processes. | Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Bakovic, Leon Bergen |
| 2019 | FMCAD | SuSLik: Synthesis of Safe Pointer-Manipulating Programs (Invited Tutorial). | Nadia Polikarpova |
| 2019 | PLDI | Resource-guided program synthesis. | Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann |
| 2018 | FMCAD | Automatic Synchronization for GPU Kernels. | Sourav Anand, Nadia Polikarpova |
| 2017 | TACAS | Synthesis of Recursive ADT Transformations from Reusable Templates. | Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama |
| 2016 | PLDI | Program synthesis from polymorphic refinement types. | Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama |
| 2015 | FM | A Fully Verified Container Library. | Nadia Polikarpova, Julian Tschannen, Carlo A. Furia |
| 2015 | TACAS | AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. | Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova |
| 2014 | FM | Flexible Invariants through Semantic Collaboration. | Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer |
| 2013 | ICSE | What good are strong specifications? | Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer |
| 2013 | RV | To Run What No One Has Run Before: Executing an Intermediate Verification Language. | Nadia Polikarpova, Carlo A. Furia, Scott West |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |
| 2009 | ISSTA | A comparative study of programmer-written and automatically inferred contracts. | Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer |