Service
Workshop X at conference Y is denoted by X@Y
.
PC
- CSF’24 (PC)
- POPL’24 (PC)
- ESOP’23 (PC)
- CSF’23 (PC)
- ICAIL’23 (PC)
- TyDE’23@ICFP (PC)
- OCaml’23@ICFP (PC)
- CRCL’22 (PC)
- CSF’22 (PC)
- ICFP’21 (external)
- OCaml@ICFP 2021 (PC)
- ICFP 2020 (PC)
- ML@ICFP 2020 (PC)
- PriSC@POPL 2020 (PC)
- CPP 2020 (sub-reviewer)
- ICFP 2019 (ERC)
- POPL 2019 (AEC)
- OCaml@ICFP 2018 (PC)
- ESOP 2017 (sub-reviewer)
- Mobile!@OOPSLA 2016 (PC)
- ML@ICFP 2015 (PC)
Chair
- ProLaLa@POPL 2023 (co-chair)
- ProLaLa@POPL 2022 (co-chair)
- PriSC@POPL 2022 (co-chair, with Marco Guarnieri)
- ML@ICFP 2021 (chair)
- PriSC@POPL 2021 (co-chair, with Deian Stefan)
- HASE@POPL 2020 (co-organizer)