Program Committees
- SETTA 2026
- POPL 2026 (SRC)
- SPLASH/ISSTA Doctoral symposium
- PLDI 2025
- OOPSLA 2025
- ATVA 2025
- RV 2025
- SETTA 2025
- APLAS 2025
- TACAS 2025
- ESOP 2025
- VSTTE 2024
- CONCUR 2024
- CAV 2024
- ICSE 2024
- POPL 2023
- PLDI 2023 (SRC)
- APLAS 2022
- PPoPP 2020 (Brief Announcements)
- OOPSLA 2020 Artifact Evaluation
- PLDI 2020 Artifact Evaluation
- CAV 2020 Artifact Evaluation
- POPL 2020 Artifact Evaluation
- HSCC 2017 Artifact Evaluation
Organizing Committees
- PLMW@PLDI Senior Chair 2025
- PLMW@PLDI Junior Chair 2024
- VMW@CAV 2024
- SIGPLAN Long Term Mentorship Program 2020–2022