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
Research interests:Programming Languages, Formal Methods

Contributions

PLDI 2022 Workshops Co-Chair in Organizing Committee
Co-chair in Workshop Co-Chairs within the Workshops and Tutorials-track
Committee Member in PLDI within the PLDI-track
HIW 2021 Author of Securing Web-Applications with A Refinement Typed ORM within the HIW 2021-track
PLMW@PLDI 2021 Co-chair in Organizing Committee within the PLMW@PLDI 2021-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
PLDI 2021 Author of Cyclic Program Synthesis within the PLDI-track
HATRA 2020 Committee Member in Program Committee within the HATRA-track
ESEC/FSE 2021 Author of Synthesis of Web Layouts from Examples within the Research Papers-track
PLMW @ ICFP 2020 Speaker of Constraint Solvers for the Working PL Researcher within the PLMW @ ICFP 2020-track
APLAS 2020 Keynote Speaker of Generating Programs from Types within the Keynote Talks-track
POPL 2021 Committee Member in Program Committee within the POPL-track
BAPL 2020 Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track
Ally Skills@PLDI2020 Committee Member in Organizing Committee within the Ally Skills@PLDI2020 (Cancelled)-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
ICFP 2021 Author of Certifying the Synthesis of Heap-Manipulating Programs within the Research Papers-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
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
ADSL 2020 Author of Programs Synthesis with Separation Logic within the ADSL 2020-track
Committee Member in Program Committee within the ADSL 2020-track
VMCAI 2020 PC Member in Program Committee within the VMCAI 2020-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
Haskell 2019 Committee Member in Program Committee within the Haskell 2019-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
HCVS 2019 Committee Member in Program Committee within the HCVS-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
POPL 2019 Author of Structuring the Synthesis of Heap-Manipulating Programs within the Research Papers-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
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
PLMW 2018 Committee Member in Organizers within the PLMW-track
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
PLDI 2018 Committee Member in External Review Committee
Committee Member in Student Research Competition Committee
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
FTfJP 2016 Committee Member in Program Committee within the FTfJP-track
POPL 2017 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2017 Tutorial organizer of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track
VMCAI Committee Member in Program Committee
PLDI 2016 Author of Program Synthesis from Polymorphic Refinement Types within the Research Papers-track
FTfJP 2015 Committee Member in Program committee within the FTfJP-track