Service
-
Program Committee: IEEE S&P 2026, OOPSLA 2025, CCS 2025, CAV 2025, 2024, PoPETS 2025 2024, CSF 2024, Euro S&P 2024
-
External Reviewer: CAV 2023, IEEE S&P 2023
-
Artifact Evaluation Committee: USENIX Security 2023
-
Session Chair: POPL 2022 TutorialFest