Service
Editorial
- Associate Editor (Static Analysis, Programming Paradigms), IEEE Software – since April 2024
Organizing
- Secure Development Conference (SecDev ‘27) – Vice General Chair
- ECOOP 2020 – Poster Session Co-Chair
- ECOOP 2019 – Doctoral Symposium Co-Chair
Program Committees
- CAIN – Intl. Conf. on AI Engineering: 2026, 2027
- ICPC – Intl. Conf. on Program Comprehension: 2027
- MOBILESoft – Intl. Conf. on Mobile Software Engineering and Systems: 2025, 2026, 2027
- IDE Workshop (collocated at ICSE): 2025, 2026, 2027
- SecDev – IEEE Secure Development Conf.: 2023, 2024, 2025, 2026
- SAS – Static Analysis Symposium: 2025
- ASE – Intl. Conf. on Automated Software Engineering (Industry Track): 2024
- SANER – Intl. Conf. on Software Analysis, Evolution and Reengineering (Tool Track): 2024
- ECOOP – European Conf. on Object-Oriented Programming (Doctoral Symposium): 2020
- MSR – Mining Software Repositories Conf. (Shadow PC): 2021
Journal Reviewing
- TOSEM – ACM Trans. on Software Engineering and Methodology: 2022, 2024, 2025
- JSS – Journal of Systems and Software (Elsevier): 2025, 2026
- CoSe – Computers and Security (Elsevier): 2025, 2026
- INFSOF – Information and Software Technology (Elsevier): 2025
- ASE Journal – Automated Software Engineering (Springer): 2024, 2025
- SN Computer Science (Springer): 2024
- Cluster Computing (Springer): 2024
- EMSE – Empirical Software Engineering (Springer): 2020, 2022
- SPE – Software: Practice and Experience (Wiley): 2020
Artifact Evaluation
- ICSE – Intl. Conf. on Software Engineering: 2024, 2025, 2026
- PLDI – Conf. on Programming Language Design and Implementation: 2020, 2021, 2022, 2023, 2024
- CAV – Intl. Conf. on Computer Aided Verification: 2023
- ESOP – European Symposium on Programming: 2022, 2023
- USENIX Security: 2020, 2022
- ISSTA – Intl. Symposium on Software Testing and Analysis: 2017, 2018
External Reviewing
- CAV 2024 – Intl. Conf. on Computer Aided Verification
- ICSE 2022 – Intl. Conf. on Software Engineering
- IEEE S&P 2021 – IEEE Symposium on Security and Privacy
