Concepedia

Nadia Polikarpova

NP

Statistics

Publications

22

Citations

1.1K

H-Index

17

Active since

2009

Affiliations

University of California San Diego(Current)

Massachusetts Institute of Technology

National University of Singapore

Technion – Israel Institute of Technology

Nadia Polikarpova is an author at University of California San Diego specializing in computer science, computing, and programming languages.

Publications per year

2009–2024

22

Publications

22

Grounded Copilot: How Programmers Interact with Code-Generating Models

Shraddha Barke, Michael B. James, Nadia Polikarpova · Proceedings of the ACM on Programming Languages · 2023 · 339 citations · Full text

Computing, Computer Science, Artificial Intelligence +10

Program synthesis from polymorphic refinement types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama · 2016 · 194 citations · Full text

Computing, Computer Science, Algorithms +14

A comparative study of programmer-written and automatically inferred contracts

Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer · 2009 · 83 citations

Computing, Computer Science, Contracts +14

Program synthesis from polymorphic refinement types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama · ACM SIGPLAN Notices · 2016 · 55 citations · Full text

Computing, Computer Science, Algorithms +14

Structuring the synthesis of heap-manipulating programs

Nadia Polikarpova, Ilya Sergey · Proceedings of the ACM on Programming Languages · 2019 · 46 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–5 of 22