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)