service
Program (Co-)Chair
- FCS@CSF@FLoC 2026 (with Anitha Gollamudi)
- PLAS@CCS 2025 (with Abhishek Bichhawat)
Program Committee Membership
- S&P: 2026
- CCS: 2025, 2026
- CAV: 2024, 2025
- CSF: 2024, 2025
- AsiaCCS: 2026
- ICTAC: 2023
- Artifact Evaluation: CAV’22
External Reviewer: LICS’22, TACAS’21, MFCS’21, CONCUR’21, ATVA’21, CAV’21, LICS’21, CONCUR’20, KR’20, ICALP’20, TACAS’20, CSL’20, ATVA’19