Program Committees

• 2023 - JFLA, ICFP

• 2022 - CC, ProWeb, VPL

• 2021 - PEPM

• 2020 - ProWeb

Artifact Evaluation Committees

OOPSLA2018, OOPSLA2019, POPL2020, CC2021

External Reviews

• JFP (2 papers)
• ML (1 paper)
• TioT (1 paper)
• PPoPP'23, TACAS'23