Academic Service

Editor duties:

• Journal of Functional Programming Editor
• JFP Special Issue on Secure Compilation (2021) Guest Editor (together with Gilles Barthe)

Program committee memberships:

• Workshop on Gradual Typing 2022 Program Committee
• Haskell Symposium 2021 Program Committee
• Haskell Implementors Workshop 2021 Program Committee
• CCS 2021 Technical Program Committee (track on Formal Methods and Programming Languages)
• CoqPL 2021 Program Committee
• PLAS 2020 Program Committee
• IWACO 2020 Program Committee
• SecDev 2020 Program Committee
• CSF 2020 Program Committee
• CPP 2020 Program Committee
• PriSC 2020 Program Chair (together with Deian Stefan)
• POPL 2020 Program Committee
• POPL 2019 Student Research Competition (SRC) Selection Committee
• ICFP 2019 Expert Review Committee
• REBLS Workshop 2018 Program Committee
• PriSC 2019 Program Chair (together with Deepak Garg)
• WWW 2018 (track on Web Programming, Design, Analysis, and Implementation) Program Committee
• REBLS Workshop 2017 Program Committee
• ESOP 2018 Program Committee
• ICFP 2017 Program Committee
• HOPE 2016 Workshop Program Committee
• ICFP 2016 External Review Committee
• ECOOP 2016 Program Committee
• ESOP 2016 Program Committee
• REBLS Workshop 2015 Program Committee
• REBLS Workshop 2014 Program Committee
• ECOOP 2014 Artifact Evaluation Committee
• ECOOP 2013 Artifact Evaluation Committee

Other Committees:

• PriSC Steering Committee 2019-current
• SIGPLAN PL Software Award Committee