Nadia Polikarpova

Registered user since Sat 23 Jan 2016

Name: Nadia Polikarpova

Bio: Nadia Polikarpova is an Assistant Professor in the Computer Science and Engineering Department at the University of California, San Diego. She completed her PhD in 2014 at ETH Zurich (Switzerland) under the supervision of Bertrand Meyer. After that, she spent almost three years as a postdoc at MIT CSAIL, working with Armando Solar-Lezama. Her research interests span the areas of programming languages and formal methods; in particular, she is interested in building practical tools and techniques that make it easier for programmers to construct secure and reliable software.

Country: United States

Affiliation: University of California, San Diego

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

Research interests: Programming Languages, Formal Methods

Contributions

Ally Skills@PLDI2020Committee Member in Organizing Committee within the Ally Skills@PLDI2020-track
PLMW@PLDI 2020Co-chair in Organizing Committee within the PLMW@PLDI 2020-track
ADSL 2020Committee 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
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