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] ACM ”Transactions on Software Engineering and Methodology” Journal, 2018 (1x), 2019 (1x), 2021 (1x)

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

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

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

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

  • [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