Service
Review Committees
I have been a member of the following conference review committees:
[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)
[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