Review Committees

I have been a member of the following conference review committees:

• [ASE'25] IEEE/ACM International Conference on Automated Software Engineering (PC member)

• [FUZZING'25] 4th International Fuzzing Workshop (PC member)

• [OOPSLA'25] ACM Conference on Object Oriented Programming, Systems, Languages & Applications (PC member)

• [FUZZING'24] 3rd International Fuzzing Workshop (PC member)

• [ASE'24] IEEE/ACM International Conference on Automated Software Engineering (PC member)

• [SOAP'24] International Workshop on the State Of the Art in Program Analysis (PC member)

• [PLDI'24] ACM Conference on Programming Language Design and Implementation (PC member)

• [ECOOP'19] European COnference On Programming languages (artefact evaluation committee member)

• [PLDI'19] ACM Conference on Programming Language Design and Implementation (external review committee member)

Paper Reviews

I have written the following individual reviews for various conferences and journals:

• [TOSEM journal] ACM ”Transactions on Software Engineering and Methodology” Journal, 2018 (1x), 2019 (1x), 2021 (1x), 2023 (2x), 2024 (3x)

• [ESORICS'25] The 30th European Symposium on Research in Computer Security 

• [TSE journal] IEEE "Transactions on Software Engineering" Journal, 2023

• [EMSE journal] Springer "Empirical Software Engineering" Journal, 2020 (2x), 2021 (1x), 2022 (1x)

• [ICST'23] The 16th IEEE International Conference on Software Testing, Verification and Validation

• [ISSTA'22 and '23] The ACM SIGSOFT International Symposium on Software Testing and Analysis

• [ACSAC'20 and '22] The Annual Computer Security Applications Conference

• [ESORICS'22] The 27th European Symposium on Research in Computer Security 

• [IST journal] Elsevier ”Information and Software Technology” Journal, 2015 (1x), 2019 (1x)

• [STVR journal] Wiley ”Software Testing, Verification and Reliability” Journal, 2018, 2023

• [iFM'18] The 14th International Conference on integrated Formal Methods 

• [TAP'18] The 12th International Conference on Tests and Proofs

• [SAC'17] The 32nd ACM Symposium on Applied Computing

• [LOPSTR'14] International Symposium on ”Logic-Based Program Synthesis and Transformation”, 2014 

• [TCL journal] ACM ”Transactions on Computational Logic” Journal, 2013