Jennifer Paykin -

Registered user since Thu 9 Mar 2017

Name:Jennifer Paykin

Country:United States

Affiliation:Intel Labs

Personal website:https://jpaykin.github.io/

GitHub:https://github.com/jpaykin

Research interests:Programming Languages

Contributions

POPL 2024	Committee Member in Program Committee within the POPL-track
Haskell 2023	Committee Member in Program Committee within the Haskell 2023-track
ICFP 2022	Committee Member in Program Committee within the Student Research Competition-track
POPL 2022	Accessibility, Diversity and Inclusion Chair in Organizing Committee
PriSC 2022	Author of Synthesizing Evidence of Emergent Computation within the PriSC 2022-track
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
ICFP 2019	Committee Member in Program Committee within the Research Papers-track Session Chair of Type Theory (part of Research Papers)
POPL 2019	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CoqPL 2018	Author of Phantom Types for Quantum Programs within the -track
PLMW 2018	Committee Member in Panelists within the PLMW-track Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track
POPL 2018	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-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 2017	Author of QWIRE: A Core Language for Quantum Circuits within the POPL-track
TyDe 2016	Author of Choose Your Own Derivative within the TyDe-track