Service
- NLDL Reviewer (2026)
- POPL External Reviewer (2026)
- ASE External Reviewer (2025)
- ICML Reviewer (2025)
- CAV Artifact Evaluation Commitee Member (2025)
- NeurIPS Reviewer (2024)
- USC Viterbi Summer Undergraduate Research Mentor (2024)
- CC (Compiler Construction) External Reviewer (2024)
- CAV Artifact Evaluation Commitee Member (2024)