conf.researchr.org / Nadia Polikarpova
Registered user since Sat 23 Jan 2016
Name:Nadia Polikarpova
Bio:
Nadia Polikarpova is an Assistant Professor of Computer Science and Engineering at the University of California, San Diego. She received her PhD from ETH Zurich (Switzerland), and spent a couple of years as a postdoc at MIT CSAIL. She is a 2020 Sloan Fellow and a recipient of 2020 Intel Rising Stars Award and the 2020 NSF Career Award. Her research interests are in program synthesis, program verification, and type systems.
Country:United States
Affiliation:University of California at San Diego
Personal website: https://cseweb.ucsd.edu/~npolikarpova/
Research interests:Programming Languages, Formal Methods
Contributions
2025
2024
ICFP
PLDI
- Session Chair of Grammars and Code and Formalisms (part of PLDI Research Papers)
- Author of SIGPLAN-M Lunch within the PLDI Events-track
- Keynote Speaker of AI-Assisted Programming Today and Tomorrow within the PLDI Research Papers-track
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
- Author of Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis within the PLDI Research Papers-track
RTFM
2023
PLMW
SPLASH
PLDI
EGRAPHS
POPL
- Panelist of Panel: Next 50 Years of POPL within the POPL-track
- Session Chair of Synthesis I (part of POPL)
- Committee Member in Program Committee within the POPL-track
- Author of babble: Learning Better Abstractions with E-Graphs and Anti-unification within the POPL-track
- Speaker of Synthesis I: Session Preview within the Session Previews-track
2022
Haskell
EGRAPHS
PLDI
- Workshops Co-Chair in Organizing Committee
- Co-chair in Workshop Co-Chairs within the Workshops and Tutorials-track
- Author of Type-Directed Program Synthesis for RESTful APIs within the PLDI-track
- Author of (OOPSLA 2021) LooPy: interactive program synthesis with control structures within the SIGPLAN Track-track
- Panelist in Organizing Committee within the W@PLDI-track
- Committee Member in PLDI within the PLDI-track
- Author of (OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis within the SIGPLAN Track-track
Principles and Practice of Parallel Programming
2021
SPLASH
- Committee Member in Review Committee within the OOPSLA-track
- Session Chair of Rust (part of OOPSLA)
- Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the SIGPLAN Papers-track
- Author of Cyclic Program Synthesis within the SIGPLAN Papers-track
- Author of LooPy: Interactive Program Synthesis with Control Structures within the OOPSLA-track
- Author of Liquid Information Flow Control within the SIGPLAN Papers-track
ICFP
2020
Ally Skills
SPLASH
- Author of Just-in-Time Learning for Bottom-Up Enumerative Synthesis within the OOPSLA-track
- Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track
- Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track
- Author of Just-in-Time Learning for Inductive Program Synthesis within the OOPSLA Artifacts-track