Service
- Software and Systems Modeling (Reviewer)
- APSEC 2023 ERA and SRC tracks (Program Committee)
- POPL 2023 (External Reviewer)
- USENIX Security 2023 (External Reviewer)
- FTfJP 2019, 2022 (Program Committee)
- Swiss National Science Foundation (External Reviewer)
- ICSE 2019 Artifact Evaluation (External Reviewer)
- IEEE’s Transactions on Software Engineering (External Reviewer)
- ITransactions on Modularity and Composition I (External Reviewer)
- Science of Computer Programming (External Reviewer)