- OOPSLA 2026 Program Committee
- TACAS 2026 Area Chair
- IEEE S&P 2026 Program Committee
- SAIV 2025 Program Committee
- PLDI 2025 Area Chair
- SAIV 2024 Program Committee
- OOPSLA 2024 Program Committee
- PLDI 2023 Program Committee
- OOPSLA 2023 Program Committee
- SYNT 2022 Co-Chair
- SAS 2022 Program Committee
- FMBC 2022 Program Committee
- CAV 2022 Program Committee
- PLDI 2022 Program Committee
- Special Issue on Safe and Fair Machine Learning Guest Editor
- FMBC 2021 Program Committee
- MAPS 2021 Program Committee
- CCS 2021 Program Committee
- VMCAI 2021 Program Committee
- MAPL 2020 Program Committee
- PPoPP 2020 Brief Announcement Program Committee
- SOAP 2019 Program Committee
- MAPL 2019 Program Committee
- CAV 2019 Program Committee
- PLDI 2019 Program Committee
- PPoPP 2019 Extended Review Committee
- PEPM 2019 Program Committee
- GPCE 2018 Program Committee
- SPLASH 2018 Student Research Competition
- PLDI 2017 External Review Committee
- PLDI 2016 Artifact Evaluation Commitee