Nadia Polikarpova

Orcid: 0000-0001-5571-173X

Affiliations:

University of California, San Diego, Department of Computer Science and Engineering, CA, USA
Massachusetts Institute of Technology (MIT), CSAIL, Cambridge, MA, USA

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

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Solving Data-centric Tasks using Large Language Models.

[BibT_eX]

[DOI]

Shraddha Barke

Christian Pölitz

Carina Suzana Negreanu

CoRR, 2024

2023

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

[BibT_eX]

[DOI]

Shraddha Barke

Michael B. James

Nadia Polikarpova

Proc. ACM Program. Lang., April, 2023

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2023

Leveraging Rust Types for Program Synthesis.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2023

Live Exploration of AI-Generated Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2022

Searching entangled program spaces.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Optimizing consistency for partially replicated data stores.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2021

Certifying the synthesis of heap-manipulating programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

LooPy: interactive program synthesis with control structures.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Synthesis of web layouts from examples.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

STORM: Refinement Types for Secure Web Applications.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Nadia Polikarpova

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

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

[BibT_eX]

[DOI]

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

2020

Liquid information flow control.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Liquid resource types.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Program synthesis by type-guided abstraction refinement.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

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

[BibT_eX]

[DOI]

Shraddha Barke

Hila Peleg

Nadia Polikarpova

Proc. ACM Program. Lang., 2020

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

[BibT_eX]

[DOI]

Hila Peleg

Nadia Polikarpova

Dagstuhl Artifacts Ser., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Small-Step Live Programming by Example.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2020

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

[BibT_eX]

[DOI]

Hila Peleg

Nadia Polikarpova

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

2019

Structuring the synthesis of heap-manipulating programs.

[BibT_eX]

[DOI]

Nadia Polikarpova

Ilya Sergey

Proc. ACM Program. Lang., 2019

Targeted Synthesis for Programming with Data Invariants.

[BibT_eX]

[DOI]

CoRR, 2019

Resource-guided program synthesis.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Nadia Polikarpova

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

Constraint-based Learning of Phonological Processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nadia Polikarpova

Julian Tschannen

Carlo A. Furia

Formal Aspects Comput., 2018

Automatic Synchronization for GPU Kernels.

[BibT_eX]

[DOI]

Sourav Anand