- 2025
- Program Committee, ACM International Conference on the Foundations of Software Engineering (FSE 2025)
- 2025
- Program Committee, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025)
- 2024
- Program Committee, IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)
- 2024
- Program Committee, Workshop on Languages for Modelling Variability (MODEVAR 2024)
- 2024
- Program Committee, International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2024)
- 2024
- Program Committee, International Symposium on Software Reliability Engineering (ISSRE 2024)
- 2023
- NSF Panelist
- 2023
- Program Committee, IEEE/ACM Automated Software Engineering (ASE), New Ideas and Emerging Results (ASE-NIER 2023)
- 2023
- Program Committee, Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2023)
- 2023
- Program Committee, IEEE Secure Development Conference (SecDev 2023)
- 2023
- Extended Review Committee/Artifact Evaluation Committee, Object-Oriented Programming, Systems, Languages & Applications (OOPSLA-ERC+AEC 2023)
- 2023
- Program Committee, Programming Language Design and Implementation (PLDI 2023)
- 2023
- Program Committee, International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2023)
- 2023
- NSF Panelist
- 2022
- Program Committee, International Conference on Software Engineering, Technical Briefings Track (ICSE-TB 2023)
- 2022
- Program Committee, Workshop on Languages for Modelling Variability (MODEVAR 2022)
- 2022
- Program Committee, Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2022)
- 2022
- Program Committee, International Symposium on Software Reliability Engineering (ISSRE 2022)
- 2021
- Virtual Platform Chair, IEEE International Symposium on Secure and Private Execution Environment Design (SEED)
- 2021
- Program Committee, Workshop on Languages for Modelling Variability (MODEVAR 2021)
- 2021
- Program Committee, Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2021)
- 2021
- NSF Panelist
- 2021
- Journal Reviewer, Journal of Parallel and Distributed Computing
- 2021
- Program Committee, Programming Language Design and Implementation (PLDI 2021)
- 2020
- Program Committee, Workshop on Languages for Modelling Variability (MODEVAR 2020)
- 2020
- Chair, Virtual Conference Task Force, ACM Computer and Communications Security (CCS 2020)
- 2020
- NSF Panelist
- 2020
- Proceedings Chair, Systems and Software Product Line Conference (SPLC 2020)
- 2019
- Program Committee, Workshop on Languages for Modelling Variability (MODEVAR 2019)
- 2019
- Journal Reviewer, Science of Computer Programming
- 2019
- NSF Panelist
- 2019
- Journal Reviewer, Transactions on Mobile Computing (TMC)
- 2018
- Program Committee, Systems and Software Product Line Conference, Challenge Track (SPLC 2018)
- 2018
- Artifact Evaluation Committee, Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2018)
- 2017
- Artifact Evaluation Committee, Principles of Programming Languages (POPL 2018 AEC)
- 2017
- Journal Reviewer, Science of Computer Programming
- 2017
- Proposal Reviewer, Netherlands Organisation for Scientific Research (NWO)
- 2016
- Journal Reviewer, ACM Transactions on Parallel Computing (TOPC)
