CUFinder

Nadia Polikarpova

About Nadia Polikarpova

Nadia Polikarpova, With an exceptional h-index of 20 and a recent h-index of 17 (since 2020), a distinguished researcher at University of California, San Diego, specializes in the field of Programming Languages, Formal Methods.

His recent articles reflect a diverse array of research interests and contributions to the field:

ColDeco: An end user spreadsheet inspection tool for AI-generated code

Live Exploration of AI-Generated Programs

Leveraging Rust Types for Program Synthesis

Grounded copilot: How programmers interact with code-generating models

Babble: Learning better abstractions with e-graphs and anti-unification

Searching entangled program spaces

Type-directed program synthesis for restful apis

Regex+: Synthesizing Regular Expressions from Positive Examples

Nadia Polikarpova Information

University

Position

___

Citations(all)

1557

Citations(since 2020)

1018

Cited By

834

hIndex(all)

20

hIndex(since 2020)

17

i10Index(all)

30

i10Index(since 2020)

27

Email

University Profile Page

Google Scholar

Nadia Polikarpova Skills & Research Interests

Programming Languages

Formal Methods

Top articles of Nadia Polikarpova

ColDeco: An end user spreadsheet inspection tool for AI-generated code

2023/10/3

Jack Williams
Jack Williams

H-Index: 6

Ian Drosos
Ian Drosos

H-Index: 4

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Live Exploration of AI-Generated Programs

arXiv preprint arXiv:2306.09541

2023/6/15

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Sorin Lerner
Sorin Lerner

H-Index: 21

Leveraging Rust Types for Program Synthesis

Proceedings of the ACM on Programming Languages

2023/6/6

Shachar Itzhaky
Shachar Itzhaky

H-Index: 11

Peter Müller
Peter Müller

H-Index: 6

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Grounded copilot: How programmers interact with code-generating models

Proceedings of the ACM on Programming Languages

2023/4/6

Shraddha Barke
Shraddha Barke

H-Index: 1

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Babble: Learning better abstractions with e-graphs and anti-unification

Proceedings of the ACM on Programming Languages

2023/1/9

Chandrakana Nandi
Chandrakana Nandi

H-Index: 6

Max Willsey
Max Willsey

H-Index: 6

Zachary Tatlock
Zachary Tatlock

H-Index: 17

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Searching entangled program spaces

Proceedings of the ACM on Programming Languages

2022/8/29

James Koppel
James Koppel

H-Index: 5

Zheng Guo
Zheng Guo

H-Index: 26

Armando Solar-Lezama
Armando Solar-Lezama

H-Index: 34

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Type-directed program synthesis for restful apis

2022/6/9

Zheng Guo
Zheng Guo

H-Index: 26

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Regex+: Synthesizing Regular Expressions from Positive Examples

11TH Workshop on Synthesis

2022/6

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Optimizing consistency for partially replicated data stores

2022/4/2

Armando Solar-Lezama
Armando Solar-Lezama

H-Index: 34

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Deductive synthesis of programs with pointers: techniques, challenges, opportunities

2021

Shachar Itzhaky
Shachar Itzhaky

H-Index: 11

Hila Peleg
Hila Peleg

H-Index: 5

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

{STORM}: Refinement types for secure web applications

2021

Nico Lehmann
Nico Lehmann

H-Index: 5

Jordan Brown
Jordan Brown

H-Index: 2

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Deian Stefan
Deian Stefan

H-Index: 21

Ranjit Jhala
Ranjit Jhala

H-Index: 31

LooPy: interactive program synthesis with control structures

Proceedings of the ACM on Programming Languages

2021/10/15

Shraddha Barke
Shraddha Barke

H-Index: 1

Hila Peleg
Hila Peleg

H-Index: 5

Sorin Lerner
Sorin Lerner

H-Index: 21

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Synthesis of web layouts from examples

2021/8/20

John Sarracino
John Sarracino

H-Index: 5

Hila Peleg
Hila Peleg

H-Index: 5

Sorin Lerner
Sorin Lerner

H-Index: 21

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Certifying the synthesis of heap-manipulating programs

Proceedings of the ACM on Programming Languages

2021/8/18

Kiran Gopinathan
Kiran Gopinathan

H-Index: 2

George Pîrlea
George Pîrlea

H-Index: 1

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Towards a polyglot framework for factorized ML

2021

David Justo
David Justo

H-Index: 1

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Arun Kumar
Arun Kumar

H-Index: 7

Cyclic program synthesis

2021/6/19

Shachar Itzhaky
Shachar Itzhaky

H-Index: 11

Hila Peleg
Hila Peleg

H-Index: 5

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

12th International Conference on Interactive Theorem Proving (ITP 2021)

2021

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Andrei Popescu
Andrei Popescu

H-Index: 3

Christoph Benzmüller
Christoph Benzmüller

H-Index: 20

Dmitriy Traytel
Dmitriy Traytel

H-Index: 15

Artur Korniłowicz
Artur Korniłowicz

H-Index: 14

Luca Ciccone
Luca Ciccone

H-Index: 1

Francesco Dagnino
Francesco Dagnino

H-Index: 5

Elena Zucca
Elena Zucca

H-Index: 9

Yong Kiam Tan
Yong Kiam Tan

H-Index: 10

André Platzer
André Platzer

H-Index: 35

Luís Cruz-Filipe
Luís Cruz-Filipe

H-Index: 14

Fabrizio Montesi
Fabrizio Montesi

H-Index: 20

Marco Peressotti
Marco Peressotti

H-Index: 9

Peter Koepke
Peter Koepke

H-Index: 10

Anton Lorenzen
Anton Lorenzen

H-Index: 1

Floris Van Doorn
Floris Van Doorn

H-Index: 7

Yannick Forster
Yannick Forster

H-Index: 11

Gert Smolka
Gert Smolka

H-Index: 12

Kesha Hietala
Kesha Hietala

H-Index: 5

Robert Rand
Robert Rand

H-Index: 7

Shih-Han Hung
Shih-Han Hung

H-Index: 2

Michael Hicks
Michael Hicks

H-Index: 31

Štěpán Starosta
Štěpán Starosta

H-Index: 7

Dominik Kirst
Dominik Kirst

H-Index: 7

Hengchu Zhang
Hengchu Zhang

H-Index: 2

Yao Li
Yao Li

H-Index: 5

Yishuai Li
Yishuai Li

H-Index: 1

Li-Yao Xia
Li-Yao Xia

H-Index: 3

Lennart Beringer
Lennart Beringer

H-Index: 15

William Mansky
William Mansky

H-Index: 8

Benjamin Pierce
Benjamin Pierce

H-Index: 9

Steve Zdancewic
Steve Zdancewic

H-Index: 29

Learning part-based abstractions for visual object concepts

Proceedings of the Annual Meeting of the Cognitive Science Society

2021

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

Theory Acquisition as Constraint-Based Program Synthesis

Proceedings of the Annual Meeting of the Cognitive Science Society

2021

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

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

Proceedings of the ACM on Programming Languages

2020/11/13

Shraddha Barke
Shraddha Barke

H-Index: 1

Hila Peleg
Hila Peleg

H-Index: 5

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

See List of Professors in Nadia Polikarpova University(University of California, San Diego)