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)