Publications

2025

2024

2023

2022

2020

2018

Committees

2025

  • OCaml Workshop, Program Committee
  • OOPSLA, Artifact Evaluation Committee
  • PLDI, Artifact Evaluation Committee
  • ITP, External Reviewer

2024

  • ICFP, Artifact Evaluation Committee

2023

  • USENIX, Artifact Evaluation Committee
  • ICFP, Artifact Evaluation Committee
  • CSF, External Reviewer
  • ESOP, External Reviewer

2022

  • ICFP, Artifact Evaluation Committee