Service

A list of my contributions to the academic community:

Journal Reviewer

• Science of Computer Programming

Artifact Evaluation Committee

• FSE 2025
• OOPSLA 2025
• PLDI 2024
• SEFM 2023
• FASE 2022

Local Organizer and Web Chair

• iFM 2022
• iFM 2020