SPLASH

• Committee Member in OOPSLA Review Committee within the OOPSLA-track

SPLASH/ISSTA

ICFP

• Author in Program Committee within the ICFP Papers-track

PLDI

• Author of The Search for Constrained Random Generators within the PLDI Research Papers-track

POPL

• Committee Member in Selection Committee within the Student Research Competition-track

SPLASH

• Author of Compositional Quantum Control Flow with Efficient Compilation in Qunity within the OOPSLA-track

PLDI

• Committee Member in PLDI Review Committee within the PLDI Research Papers-track

PLMW

• Session Chair of Fourth Session (part of PLMW @ POPL 2025)
• Session Chair of First Session (part of PLMW @ POPL 2025)
• Organizer of Icebreaker within the PLMW @ POPL 2025-track
• Organizer in Organizing Committee within the PLMW @ POPL 2025-track

POPL

• Author of Pantograph: A Fluid and Typed Structure Editor within the POPL-track
• Committee Member in Program Committee within the POPL-track
• Author of Formalizing Erlang’s Success Typings within the Student Research Competition-track

ICSE

• Author of Object Graph Programming within the Research Track-track

POPL

• Author of Generating Well-Typed Terms that are not "Useless" within the POPL-track
• Artifact Evaluation Co-Chair in Organizing Committee

PLMW

• Session Chair of Second Session (part of PLMW @ POPL 2024)
• Chair of Panel within the PLMW @ POPL 2024-track
• PLMW Co-Chair in Organizing Committee within the PLMW @ POPL 2024-track

PLMW

• Panelist of Getting Productive in Research within the PLMW '23-track

PLMW

• Invited Speaker in Speakers within the PLMW @ POPL 2023-track
• Presenter of How (not) to give a great research talk within the PLMW @ POPL 2023-track

Haskell

• Committee Member in Program Committee within the Haskell 2023-track
• Author of Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing within the Haskell 2023-track
• Session Chair of Haskell: Keynote 2 (part of Haskell 2023)

ICFP

• Author of Etna: An Evaluation Platform for Property-Based Testing (Experience Report) within the Artifact Evaluation-track
• Author of Etna: An Evaluation Platform for Property-Based Testing (Experience Report) within the ICFP Papers and Events-track

PLDI

• Committee Member in PLDI Review Committee within the PLDI Research Papers-track
• Author of Merging Inductive Relations within the PLDI Research Papers-track

POPL

• Artifact Evaluation Co-Chair in Organizing Committee
• Author of QuickChick: Combining Random Testing and Verification in Coq within the TutorialFest-track
• Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track

Haskell

• Author of Liquid Proof Macros within the Haskell 2022-track

ICFP

• Author of Random Testing of a Higher-Order Blockchain Language within the ICFP Papers and Events-track

PLDI

• Author of Computing Correctly with Inductive Relations within the PLDI-track

POPL

• Committee Member in Program Committee within the POPL-track

CoqPL

• Committee Member in Program Committee within the CoqPL-track

SPLASH

• Session Chair of Types & Verification (part of OOPSLA)

ICFP

• Committee Member in Program Committee within the Research Papers-track
• Committee Member in Virtualization Committee
• Workshops Co-Chair in Organizing Committee
• Co-chair in Selection Committee within the Tutorials-track

OCaml

• Author of Property-Based Testing for OCaml through Coq within the OCaml 2021-track

SPLASH

• Committee Member in External Review Committee within the OOPSLA-track
• Session Chair of M-5 (part of OOPSLA)

ICFP

• Author of Untitled PL Card Game within the Social Events-track
• Co-chair in Selection Committee within the Tutorials-track
• Workshops Co-Chair in Organizing Committee

SPLASH

• Panelist of Panel: Current PhD Students and Postdocs within the PLMW-track
• Committee Member in Judges within the SRC-track
• Author of Coverage Guided, Property Based Testing within the OOPSLA-track
• Panelist in Speakers & Panelists within the PLMW-track

DeepSpec

• Presenter of Coverage Guided, Property Based Testing within the DeepSpec 2019-track

PLDI

• Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track

POST

• Author of Achieving Safety Incrementally with Checked C within the POST 2019-track

POPL

• Author of [T1] QuickChick: Property-Based Testing in Coq within the TutorialFest-track

ICFP

• Author of Keep Your Laziness in Check within the Research Papers-track

PLMW

• Panelist of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2018-track

DeepSpec

• Speaker of QuickChick: Random Testing in Coq within the DeepSpec 2018-track

POPL

• Author of Generating Good Generators for Inductive Relations within the Research Papers-track
• Author of Generating Good Generators for Inductive Relations within the Artifact Evaluation-track

Haskell

• Author of Ode on a Random Urn (Functional Pearl) within the Haskell 2017-track
• Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track

POPL

• Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track

LAFI

• Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track