Program Committees

• 2025: POPL (web co-chair)
• 2024: EuroS&P, POPL (web co-chair), FCS (co-chair), PLMW, TyDe
• 2023: POPL
• 2022: Haskell, FCS
• 2020: PLAS (co-chair), PriSC
• 2019: PLAS, FCS

Poster Sessions and Artifact Evaluation

• 2021: CCS
• 2020: CCS, POPL
• 2019: CCS
• 2018: ICFP

Reviewing

• 2022: TCS
• 2020: TOPLAS
• 2021: TOPS, C&S, LICS
• 2019: SOSP, ITP
• 2018: POST, CSF, ICFP, NordSec
• 2017: FAC, SYSTOR
• 2016: CCS