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

PLMW @ POPL 2023	Presenter of Big Ideas in Program Synthesis within the PLMW @ POPL 2023-track Invited Speaker in Speakers within the PLMW @ POPL 2023-track
HATRA 2023	Committee Member in Program Committee within the HATRA-track
SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track Author of Grounded Copilot: How Programmers Interact with Code-Generating Models within the OOPSLA-track
PLMW@PLDI 2023	Author of Research area overview talk II: Synthesis within the PLMW@PLDI 2023-track
PLDI 2023	Co-chair in Workshop Co-Chairs within the Workshops and Tutorials-track Author of Leveraging Rust Types for Program Synthesis within the PLDI Research Papers-track Workshops Co-Chair in Organizing Committee
EGRAPHS 2023	Committee Member in Program Committee within the EGRAPHS 2023-track Author of Optimizing bindings in e-graphs within the EGRAPHS 2023-track
ASA 2023	Author of How Programmers Interact with AI Assistants within the ASA 2023-track
POPL 2023	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
PLMW @ ICFP 2022	Panelist of Formal Methods: Theory and Practice within the PLMW @ ICFP 2022-track
SPLASH 2022	Author of Certifying the Synthesis of Heap-Manipulating Programs within the COVID Time Papers In Person-track
ESEC/FSE 2022	Author of Synthesis of Web Layouts from Examples within the ESEC/FSE 2021-track
Haskell 2022	Conference Chair of PC Chair Report within the Haskell 2022-track Session Chair of Demos + Discussions (part of Haskell 2022) PC Chair in Program Committee within the Haskell 2022-track Conference Chair of Welcome within the Haskell 2022-track
ICFP 2022	Author of Searching Entangled Program Spaces within the ICFP Papers and Events-track
EGRAPHS 2022	Author of ECTAs: E-Graphs Better (at Encoding) within the EGRAPHS 2022-track Committee Member in Program Committee within the EGRAPHS 2022-track
PLDI 2022	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
PLMW	Panelist of Mentoring Panel: Hot Topics in PL within the PLMW-track
PPoPP 2022	Author of POSTER: Optimizing Consistency for Partially Replicated Data Stores within the Main Conference-track
SPLASH 2021	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 2021	Author of Certifying the Synthesis of Heap-Manipulating Programs within the Research Papers-track
ESEC/FSE 2021	Author of Synthesis of Web Layouts from Examples within the Research Papers-track
HIW 2021	Author of Securing Web-Applications with A Refinement Typed ORM within the HIW 2021-track
PLDI 2021	Author of Cyclic Program Synthesis within the PLDI-track
PLMW@PLDI 2021	Co-chair in Organizing Committee within the PLMW@PLDI 2021-track
POPL 2021	Committee Member in Program Committee within the POPL-track
Ally Skills@PLDI2020	Committee Member in Organizing Committee within the Ally Skills@PLDI2020 (Cancelled)-track
BAPL 2020	Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track
APLAS 2020	Keynote Speaker of Generating Programs from Types within the Keynote Talks-track
SPLASH 2020	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
HATRA 2020	Committee Member in Program Committee within the HATRA-track
ECOOP 2020	Author of Perfect is the Enemy of Good: Best-Effort Program Synthesis within the Artifacts-track Author of Perfect is the Enemy of Good: Best-Effort Program Synthesis within the Research Papers-track
ICFP 2020	Committee Member in Program Committee within the ICFP Program-track Author of Liquid Information Flow Control within the ICFP Program-track Author of Liquid Resource Types within the ICFP Program-track
PLMW @ ICFP 2020	Speaker of Constraint Solvers for the Working PL Researcher within the PLMW @ ICFP 2020-track
PLMW@PLDI 2020	Session Chair of Day 1 Afternoon (part of PLMW@PLDI 2020) Co-chair in Organizing Committee within the PLMW@PLDI 2020-track
POPL 2020	Author of [T3] Synthesizing Programs from Types within the TutorialFest-track Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track
VMCAI 2020	PC Member in Program Committee within the VMCAI 2020-track
ADSL 2020	Author of Programs Synthesis with Separation Logic within the ADSL 2020-track Committee Member in Program Committee within the ADSL 2020-track
Haskell 2019	Committee Member in Program Committee within the Haskell 2019-track
ICFP 2019	Committee Member in External Review Committee within the Research Papers-track
PLDI 2019	Committee Member in Program Committee within the PLDI Research Papers-track Session Chair of Dynamics: Analysis and Compilation (part of PLDI Research Papers) Author of Resource-Guided Program Synthesis within the PLDI Research Papers-track
HCVS 2019	Committee Member in Program Committee within the HCVS-track
POPL 2019	Author of Structuring the Synthesis of Heap-Manipulating Programs within the Research Papers-track
SPLASH 2018	Committee Member in Review Committee within the OOPSLA-track
PLMW @ ICFP 2018	Committee Member in Speakers within the PLMW @ ICFP 2018-track Speaker of What an SMT solver can do for you within the PLMW @ ICFP 2018-track
PLDI 2018	Committee Member in External Review Committee Committee Member in Student Research Competition Committee
PLMW 2018	Committee Member in Organizers within the PLMW-track
POPL 2018	Committee Member in Selection Committee within the Student Research Competition-track Session Chair of Synthesis (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
PLDI 2017	Tutorial organizer of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track
POPL 2017	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
FTfJP 2016	Committee Member in Program Committee within the FTfJP-track
PLDI 2016	Author of Program Synthesis from Polymorphic Refinement Types within the Research Papers-track
VMCAI	Committee Member in Program Committee
FTfJP 2015	Committee Member in Program committee within the FTfJP-track