Service

Steering Committee:

Organizing/Chairing:

CPP'25 (co-general-chair), CPP'24 (co-general-chair), CoqPL'22 (co-organizer and co-chair), CoqPL'21 (co-organizer and co-chair)

Program Committee:

PLDI'25, POPL'24, CPP'23, ICFP'21, CPP'21, PriSC'19, ICFP'19 Artifact Evaluation Committee (AEC), PLDI'19 Artifact Evaluation Committee (AEC), POPL'19 Artifact Evaluation Committee (AEC), HOPE'18

Journal Refereeing:

Journal of Functional Programming (JFP), Testing, Verification, and Reliability (STVR), ACM Transactions on Programming Languages and Systems (TOPLAS), Mathematical Structures in Computer Science (MSCS), Journal of Formalized Reasoning (JFR),

External Reviewer:

LICS'22, ESOP'22, POPL'21, CPP'20, LICS'19, ESOP'19, FSCD'18, FSCD'17, LICS'17

Other:

POPL'22 (Web Co-Chair), POPL'21 (Web Co-Chair), POPL'20 (Web Co-Chair)