Nadia Polikarpova

According to our database, Nadia Polikarpova authored at least 57 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs.

Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, Nadia Polikarpova

Proc. ACM Program. Lang., 2024

Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis.

Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu

Proc. ACM Program. Lang., 2024

Grammar-Aligned Decoding.

Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, Loris D'Antoni

CoRR, 2024

Laurel: Generating Dafny Assertions Using Large Language Models.

Eric Mugnier, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova, Yuanyuan Zhou

CoRR, 2024

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.

Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova

CoRR, 2024

Solving Data-centric Tasks using Large Language Models.

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

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

Validating AI-Generated Code with Live Programming.

Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023

Grounded Copilot: How Programmers Interact with Code-Generating Models.

Shraddha Barke, Michael B. James, Nadia Polikarpova

Proc. ACM Program. Lang., April, 2023

babble: Learning Better Abstractions with E-Graphs and Anti-unification.

David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova

Proc. ACM Program. Lang., January, 2023

Leveraging Rust Types for Program Synthesis.

Jonás Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, Ilya Sergey

Proc. ACM Program. Lang., 2023

Live Exploration of AI-Generated Programs.

Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner

CoRR, 2023

COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code.

Kasra Ferdowsi, Jack Williams, Ian Drosos, Andrew D. Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Benjamin Zorn

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

2022

Searching entangled program spaces.

James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova

Proc. ACM Program. Lang., 2022

Optimizing consistency for partially replicated data stores.

Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

Type-directed program synthesis for RESTful APIs.

Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Towards A Polyglot Framework for Factorized ML.

David Justo, Shaoqing Yi, Lukas Stadler, Nadia Polikarpova, Arun Kumar

Proc. VLDB Endow., 2021

Certifying the synthesis of heap-manipulating programs.

Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey

Proc. ACM Program. Lang., 2021

LooPy: interactive program synthesis with control structures.

Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proc. ACM Program. Lang., 2021

Synthesis of web layouts from examples.

Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Cyclic program synthesis.

Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

STORM: Refinement Types for Secure Web Applications.

Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Synthesis of Safe Pointer-Manipulating Programs (Invited Talk).

Nadia Polikarpova

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Theory Acquisition as Constraint-Based Program Synthesis.

Haoliang Wang, Ed Vul, Nadia Polikarpova, Judith E. Fan

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

Learning part-based abstractions for visual object concepts.

Haoliang Wang, Nadia Polikarpova, Judith E. Fan

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper).

Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Liquid information flow control.

Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama

Proc. ACM Program. Lang., 2020

Liquid resource types.

Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova

Proc. ACM Program. Lang., 2020

Digging for fold: synthesis-aided API discovery for Haskell.

Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova

Proc. ACM Program. Lang., 2020

Program synthesis by type-guided abstraction refinement.

Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova

Proc. ACM Program. Lang., 2020

Just-in-time learning for bottom-up enumerative synthesis.

Shraddha Barke, Hila Peleg, Nadia Polikarpova

Proc. ACM Program. Lang., 2020

Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact).

Hila Peleg, Nadia Polikarpova

Dagstuhl Artifacts Ser., 2020

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version.

Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey

CoRR, 2020

Small-Step Live Programming by Example.

Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.

Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey

Proceedings of the Programming Languages and Systems, 2020

Perfect Is the Enemy of Good: Best-Effort Program Synthesis.

Hila Peleg, Nadia Polikarpova

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Structuring the synthesis of heap-manipulating programs.

Nadia Polikarpova, Ilya Sergey

Proc. ACM Program. Lang., 2019

Targeted Synthesis for Programming with Data Invariants.

John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner

CoRR, 2019

Resource-guided program synthesis.

Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

SuSLik: Synthesis of Safe Pointer-Manipulating Programs (Invited Tutorial).

Nadia Polikarpova

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Constraint-based Learning of Phonological Processes.

Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Bakovic, Leon Bergen

Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

2018

A fully verified container library.

Nadia Polikarpova, Julian Tschannen, Carlo A. Furia

Formal Aspects Comput., 2018

Automatic Synchronization for GPU Kernels.

Sourav Anand, Nadia Polikarpova

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

AutoProof: auto-active functional verification of object-oriented programs.

Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen

Int. J. Softw. Tools Technol. Transf., 2017

Synthesis of Recursive ADT Transformations from Reusable Templates.

Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Type-Driven Repair for Information Flow Security.

Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama

CoRR, 2016

Program synthesis from polymorphic refinement types.

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Program Synthesis from Polymorphic Refinement Types.

Nadia Polikarpova, Armando Solar-Lezama

CoRR, 2015

2014

Specified and verified reusable components.

Nadia Polikarpova

PhD thesis, 2014

Flexible Invariants through Semantic Collaboration.

Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer

Proceedings of the FM 2014: Formal Methods, 2014

2013

Verified Calculations.

K. Rustan M. Leino, Nadia Polikarpova

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

To Run What No One Has Run Before: Executing an Intermediate Verification Language.

Nadia Polikarpova, Carlo A. Furia, Scott West

Proceedings of the Runtime Verification - 4th International Conference, 2013

What good are strong specifications?

Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Verifying Implementations of Security Protocols by Refinement.

Nadia Polikarpova, Michal Moskal

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011

The COST IC0701 Verification Competition 2011.

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

Proceedings of the Formal Verification of Object-Oriented Software, 2011

The 1st Verified Software Competition: Experience Report.

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ß

Proceedings of the FM 2011: Formal Methods, 2011

2010

Specifying Reusable Components.

Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer

Proceedings of the Verified Software: Theories, 2010

2009

A comparative study of programmer-written and automatically inferred contracts.

Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009