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 the 2020 NSF Career Award. Her research interests are in program synthesis, program verification, and type systems.

Country: United States

Affiliation: University of California, San Diego

Personal website: https://cseweb.ucsd.edu/~npolikarpova/

Research interests: Programming Languages, Formal Methods

Contributions

HATRA 2020Committee Member in Program Committee within the HATRA-track
PLMW @ ICFP 2020Speaker of Constraint Solvers for the Working PL Researcher within the PLMW @ ICFP 2020-track
POPL 2021Committee Member in Program Committee within the Research Papers-track
BAPL 2020Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track
Ally Skills@PLDI2020Committee Member in Organizing Committee within the Ally Skills@PLDI2020 (Cancelled)-track
PLMW@PLDI 2020Session Chair of Day 1 Afternoon (part of PLMW@PLDI 2020)
Co-chair in Organizing Committee within the PLMW@PLDI 2020-track
ECOOP 2020Author 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
ADSL 2020Author of Programs Synthesis with Separation Logic within the ADSL 2020-track
Committee Member in Program Committee within the ADSL 2020-track
VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
ICFP 2020Committee Member in Program Committee within the Research Papers-track
Author of Liquid Information Flow Control within the Research Papers-track
Author of Liquid Resource Types within the Research Papers-track
Haskell 2019Committee Member in Program Committee within the Haskell 2019-track
POPL 2020Author of [T3] Synthesizing Programs from Types within the TutorialFest-track
Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track
HCVS 2019Committee Member in Program Committee within the HCVS-track
PLDI 2019Committee 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
POPL 2019Author of Structuring the Synthesis of Heap-Manipulating Programs within the Research Papers-track
PLMW @ ICFP 2018Committee 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
ICFP 2019Committee Member in External Review Committee within the Research Papers-track
PLMW 2018Committee Member in Organizers within the PLMW-track
SPLASH 2018Committee Member in Review Committee within the OOPSLA-track
PLDI 2018Committee Member in External Review Committee
Committee Member in Student Research Competition Committee
POPL 2018Committee 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
FTfJP 2016Committee Member in Program Committee within the FTfJP-track
POPL 2017Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2017Tutorial organizer of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track
VMCAICommittee Member in Program Committee
PLDI 2016Author of Program Synthesis from Polymorphic Refinement Types within the Research Papers-track
FTfJP 2015Committee Member in Program committee within the FTfJP-track