Leadership and Organization
- Steering Committee Member, Singapore Programming Languages Summit.
- Co-organizer, Singapore Programming Languages Summit 2025.
- Senior Chair, Programming Languages Mentoring Workshop at PLDI 2025.
- Organizing Committee Member, Verification Mentoring Workshop at CAV 2024.
- Junior Chair, Programming Languages Mentoring Workshop at PLDI 2024.
Program Committees
- FSE 2027
- SETTA 2026
- ICCQ 2026
- POPL 2026 Student Research Competition
- SPLASH/ISSTA 2026 Doctoral Symposium
- PLDI 2025
- OOPSLA 2025
- ESOP 2025
- TACAS 2025
- ATVA 2025
- RV 2025
- APLAS 2025
- SETTA 2025
- VSTTE 2024
- CONCUR 2024
- CAV 2024
- ICSE 2024
- POPL 2023
- PLDI 2023 Student Research Competition
- APLAS 2022
- PPoPP 2020 Brief Announcements
Artifact and Repeatability Evaluation
- Artifact Evaluation Committee, OOPSLA 2020
- Artifact Evaluation Committee, PLDI 2020
- Artifact Evaluation Committee, CAV 2020
- Artifact Evaluation Committee, POPL 2020
- Repeatability Evaluation Committee, HSCC 2017
Additional Reviewing
- Grant review: NSF Review Panel (2023).
- Journal review: IEEE Transactions on Software Engineering (2022).
- Conference review: STACS (2024); ICALP (2023, 2017); FoSSaCS (2023); CONCUR (2021); SOSP (2019); PLDI (2019); POPL (2019, 2018); CAV (2016–2018); FM (2018); HSCC (2017); FORTE (2018, 2016); FSTTCS (2017, 2014); FORMATS (2016).
Mentoring
- SIGPLAN Long-Term Mentoring Program, 2020–2022.
- Head, Department Academic Mentorship Program, Computer Science and Engineering, IIT Bombay, 2013–2014.
- Mentor, Department Academic Mentorship Program, Computer Science and Engineering, IIT Bombay, 2012–2013.