Service to the Scientific Community
Committees
2027
- PEPM pc
2026
- OOPSLA pc
- PLDI pc
- <Programming> pc
- VIMPL pc
- Scala Workshop pc
2025
- POPL pc
- Scala Workshop organizer, pc chair
2024
- IWACO pc
2023
- ICFP pc
- miniKanren Workshop pc
- OOPSLA external review, artifacts
- ECOOP external review, artifacts
2022
- TyDe pc
- SPLASH SRC judge
- OOPSLA external review, artifacts
- ECOOP external review, artifacts
2020
2015
External Reviewing
2025
2024
2020
2017
Volunteering
2015
- Student Volunteer, SPLASH 2015