Jennifer Paykin

Registered user since Thu 9 Mar 2017

Name:Jennifer Paykin
Country:United States
Affiliation:Galois, Inc.
Research interests:Programming Languages

Contributions

POPL 2022 Accessibility, Diversity and Inclusion Chair in Organizing Committee
PLanQC 2021 Session Chair of Session 2: Compilation & Types (part of PLanQC 2021)
Committee Member in Program Committee within the PLanQC 2021-track
PLMW@PLDI 2021 Panelist of Panel on Career Paths within the PLMW@PLDI 2021-track
PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
PriSC 2020 Author of Exploits as Insecure Compilation within the Principles of Secure Compilation 2020-track
PLanQC 2020 Committee Member in Program Committee within the PLanQC-track
Invited Speaker of Invited Talk: Quantum Computing for Programming Languages Researchers within the PLanQC-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2019 Committee Member in Program Committee within the Research Papers-track
Session Chair of Type Theory (part of Research Papers)
PLMW 2018 Committee Member in Panelists within the PLMW-track
Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track
CoqPL 2018 Author of Phantom Types for Quantum Programs within the -track
Haskell 2017 Author of The Linearity Monad within the Haskell 2017-track
TyDe 2017 Committee Member in Program Committee within the TyDe 2017-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
TyDe 2016 Author of Choose Your Own Derivative within the TyDe-track
POPL 2017 Author of QWIRE: A Core Language for Quantum Circuits within the POPL-track