Program committees, etc.

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