Nadia Polikarpova

84 papers A* 10A 4B 13C 1Journal 45Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models.
Proc. ACM Program. Lang.
Shaan Nagy, Timothy Zhou, Nadia Polikarpova, Loris D'Antoni
2025 J jnl
ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models.
CoRR
Shaan Nagy, Timothy Zhou, Nadia Polikarpova, Loris D'Antoni
2025 B conf
HiLDE: Intentional Code Generation via Human-in-the-Loop Decoding.
VL/HCC
Emmanuel Anaya Gonzalez, Raven Rothkopf, Sorin Lerner, Nadia Polikarpova
2025 J jnl
HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding.
CoRR
Emmanuel Anaya Gonzalez, Raven Rothkopf, Sorin Lerner, Nadia Polikarpova
2025 J jnl
Laurel: Unblocking Automated Verification with Large Language Models.
Proc. ACM Program. Lang.
Eric Mugnier, Emmanuel Anaya Gonzalez, Nadia Polikarpova, Ranjit Jhala, Yuanyuan Zhou
2025 J jnl
Peepco: Batch-Based Consistency Optimization.
Proc. ACM Program. Lang.
Ivan Kuraj, John K. Feser, Nadia Polikarpova, Armando Solar-Lezama
2024 J jnl
CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs.
Proc. ACM Program. Lang.
Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, Nadia Polikarpova
2024 A* conf
Grammar-Aligned Decoding.
NeurIPS
Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, Loris D'Antoni
2024 J jnl
Grammar-Aligned Decoding.
CoRR
Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, Loris D'Antoni
2024 A* conf
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.
NeurIPS
Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
2024 J jnl
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.
CoRR
Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
2024 J jnl
Laurel: Generating Dafny Assertions Using Large Language Models.
CoRR
Eric Mugnier, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova, Yuanyuan Zhou
2024 — conf
Solving Data-centric Tasks using Large Language Models.
NAACL-HLT (Findings)
Shraddha Barke, Christian Pölitz, Carina Negreanu, Benjamin Zorn, José Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
2024 J jnl
Solving Data-centric Tasks using Large Language Models.
CoRR
Shraddha Barke, Christian Pölitz, Carina Suzana Negreanu, Benjamin G. Zorn, José Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
2024 J jnl
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis.
Proc. ACM Program. Lang.
Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu
2024 A* conf
Validating AI-Generated Code with Live Programming.
CHI
Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner
2023 B conf
COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code.
VL/HCC
Kasra Ferdowsi, Jack Williams, Ian Drosos, Andrew D. Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Benjamin Zorn
2023 J jnl
Grounded Copilot: How Programmers Interact with Code-Generating Models.
Proc. ACM Program. Lang.
Shraddha Barke, Michael B. James, Nadia Polikarpova
2023 J jnl
Leveraging Rust Types for Program Synthesis.
Proc. ACM Program. Lang.
Jonás Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, Ilya Sergey
2023 J jnl
Live Exploration of AI-Generated Programs.
CoRR
Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner
2023 J jnl
babble: Learning Better Abstractions with E-Graphs and Anti-unification.
Proc. ACM Program. Lang.
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
2022 J jnl
Grounded Copilot: How Programmers Interact with Code-Generating Models.
CoRR
Shraddha Barke, Michael B. James, Nadia Polikarpova
2022 C ed.
Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022
Haskell
Nadia Polikarpova
2022 B conf
Optimizing consistency for partially replicated data stores.
PPoPP
Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova
2022 J jnl
Searching Entangled Program Spaces.
CoRR
James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
2022 J jnl
Searching entangled program spaces.
Proc. ACM Program. Lang.
James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
2022 J jnl
Type-Directed Program Synthesis for RESTful APIs.
CoRR
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
2022 A* conf
Type-directed program synthesis for RESTful APIs.
PLDI
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
2022 J jnl
babble: Learning Better Abstractions with E-Graphs and Anti-Unification.
CoRR
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
2021 J jnl
Certifying the synthesis of heap-manipulating programs.
Proc. ACM Program. Lang.
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey
2021 A* conf
Cyclic program synthesis.
PLDI
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
2021 — conf
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper).
CAV (1)
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
2021 B conf
Learning part-based abstractions for visual object concepts.
CogSci
Haoliang Wang, Nadia Polikarpova, Judith E. Fan
2021 J jnl
LooPy: interactive program synthesis with control structures.
Proc. ACM Program. Lang.
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
2021 A* conf
STORM: Refinement Types for Secure Web Applications.
OSDI
Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala
2021 B conf
Synthesis of Safe Pointer-Manipulating Programs (Invited Talk).
ITP
Nadia Polikarpova
2021 — conf
Synthesis of web layouts from examples.
ESEC/SIGSOFT FSE
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova
2021 B conf
Theory Acquisition as Constraint-Based Program Synthesis.
CogSci
Haoliang Wang, Ed Vul, Nadia Polikarpova, Judith E. Fan
2021 J jnl
Towards A Polyglot Framework for Factorized ML.
Proc. VLDB Endow.
David Justo, Shaoqing Yi, Lukas Stadler, Nadia Polikarpova, Arun Kumar
2020 J jnl
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version.
CoRR
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
2020 A conf
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.
ESOP
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
2020 J jnl
Digging for fold: synthesis-aided API discovery for Haskell.
Proc. ACM Program. Lang.
Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova
2020 J jnl
Just-in-Time Learning for Bottom-Up Enumerative Synthesis.
CoRR
Shraddha Barke, Hila Peleg, Nadia Polikarpova
2020 J jnl
Just-in-time learning for bottom-up enumerative synthesis.
Proc. ACM Program. Lang.
Shraddha Barke, Hila Peleg, Nadia Polikarpova
2020 J jnl
Liquid Resource Types.
CoRR
Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova
2020 J jnl
Liquid information flow control.
Proc. ACM Program. Lang.
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
2020 J jnl
Liquid resource types.
Proc. ACM Program. Lang.
Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova
2020 A conf
Perfect Is the Enemy of Good: Best-Effort Program Synthesis.
ECOOP
Hila Peleg, Nadia Polikarpova
2020 J jnl
Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact).
Dagstuhl Artifacts Ser.
Hila Peleg, Nadia Polikarpova
2020 J jnl
Program synthesis by type-guided abstraction refinement.
Proc. ACM Program. Lang.
Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova
2020 A* conf
Small-Step Live Programming by Example.
UIST
Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova
2020 — ed.
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers
VSTTE
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
2019 — conf
Constraint-based Learning of Phonological Processes.
EMNLP/IJCNLP (1)
Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Bakovic, Leon Bergen
2019 J jnl
Program Synthesis by Type-Guided Abstraction Refinement.
CoRR
Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova
2019 J jnl
Resource-Guided Program Synthesis.
CoRR
Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann
2019 A* conf
Resource-guided program synthesis.
PLDI
Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann
2019 J jnl
Structuring the synthesis of heap-manipulating programs.
Proc. ACM Program. Lang.
Nadia Polikarpova, Ilya Sergey
2019 B conf
SuSLik: Synthesis of Safe Pointer-Manipulating Programs (Invited Tutorial).
FMCAD
Nadia Polikarpova
2019 J jnl
Targeted Synthesis for Programming with Data Invariants.
CoRR
John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner
2018 J jnl
A fully verified container library.
Formal Aspects Comput.
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
2018 B conf
Automatic Synchronization for GPU Kernels.
FMCAD
Sourav Anand, Nadia Polikarpova
2018 J jnl
Structuring the Synthesis of Heap-Manipulating Programs.
CoRR
Nadia Polikarpova, Ilya Sergey
2017 J jnl
AutoProof: auto-active functional verification of object-oriented programs.
Int. J. Softw. Tools Technol. Transf.
Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen
2017 B ed.
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
IFM
Nadia Polikarpova, Steve A. Schneider
2017 — conf
Synthesis of Recursive ADT Transformations from Reusable Templates.
TACAS (1)
Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
2016 A* conf
Program synthesis from polymorphic refinement types.
PLDI
Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama
2016 J jnl
Type-Driven Repair for Information Flow Security.
CoRR
Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama
2015 B conf
A Fully Verified Container Library.
FM
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
2015 A conf
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs.
TACAS
Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova
2015 J jnl
AutoProof: Auto-active Functional Verification of Object-oriented Programs.
CoRR
Julian Tschannen, Carlo A. Furia, Martín Nordio, Nadia Polikarpova
2015 J jnl
Program Synthesis from Polymorphic Refinement Types.
CoRR
Nadia Polikarpova, Armando Solar-Lezama
2014 B conf
Flexible Invariants through Semantic Collaboration.
FM
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
2014 — —
Specified and verified reusable components.
Nadia Polikarpova
2013 J jnl
Flexible Invariants Through Semantic Collaboration.
CoRR
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
2013 B conf
To Run What No One Has Run Before: Executing an Intermediate Verification Language.
RV
Nadia Polikarpova, Carlo A. Furia, Scott West
2013 — conf
Verified Calculations.
VSTTE
K. Rustan M. Leino, Nadia Polikarpova
2013 A* conf
What good are strong specifications?
ICSE
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2012 — conf
Verifying Implementations of Security Protocols by Refinement.
VSTTE
Nadia Polikarpova, Michal Moskal
2012 J jnl
What Good Are Strong Specifications?
CoRR
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2011 B conf
The 1st Verified Software Competition: Experience Report.
FM
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, 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ß
2011 — conf
The COST IC0701 Verification Competition 2011.
FoVeOOS
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
2010 J jnl
Specifying Reusable Components
CoRR
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
2010 — conf
Specifying Reusable Components.
VSTTE
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
2009 A conf
A comparative study of programmer-written and automatically inferred contracts.
ISSTA
Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer