Program committees, chairing, etc.

Workshop X at conference Y is denoted by X@Y.

  • CSF’22 (PC)
  • PriSC@POPL 2022 (co-chair)
  • ICFP’21 (external)
  • ML@ICFP 2021 (chair)
  • OCaml@ICFP 2021 (PC)
  • PriSC@POPL 2021 (co-chair, with Deian Stefan)
  • ML@ICFP 2020 (PC)
  • PriSC@POPL 2020 (PC)
  • HASE@POPL 2020 (co-organizer)
  • CPP 2020 (sub-reviewer)
  • ICFP 2020 (PC)
  • ICFP 2019 (ERC)
  • POPL 2019 (AEC)
  • OCaml@ICFP 2018 (PC)
  • ESOP 2017 (sub-reviewer)
  • Mobile!@OOPSLA 2016 (PC)
  • ML@ICFP 2015 (PC)