Service

Organization:

• Co-chair, ISSTA/ECOOP 2024 Doctoral Symposium.
• Co-chair, ACM Student Research Competition’24 at Programming Conference 2024.
• Co-chair, Erlang’23, the 22nd Edition of the ACM SIGPLAN Erlang Workshop, a co-located event of ICFP 2023.
• Co-organizer, Verification Mentoring Workshop (VMW)’23 co-located with CAV 2023.
• Co-organizer, Alice and Eve’22, the third edition of the workshop for celebrating women in computing, 2022.
• Co-chair of Expert Discussions Track, ECOOP’22, the 36th European Conf. on Object-Oriented Programming, 2022.
• Co-chair, Erlang’22, the 21st Edition of the ACM SIGPLAN Erlang Workshop, a co-located event of ICFP 2022.

Program Committees:

• PC Member, ICST’25, the 18th IEEE International Conference on Software Testing, Verification and Validation
• PC Member, ESOP’25, the 34rd European Symposium on Programming
• PC Member, <Programming’25>, the International Conference on the Art, Science, and Engineering of Programming
• PC Member, SEFM’24, the 22nd Int. Conf. on Software Engineering and Formal Methods
• PC Member, OOPSLA’24, the Int. Conf. on Object-Oriented Programming Systems, Languages, and Applications
• PC Member, VSTTE’24, the 15th Int. Conf. on Verified Software: Theories, Tools, and Experiments
• PC Member, NETYS’24, the 12th International Conference on Networked Systems
• PC Member, FBMC’24, the 5th Int. Workshop on Formal Methods for Blockchains
• PC Member, ASPLOS’24, the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
• PC Member, VMCAI’24, the 25th Int. Conf. on Verification, Model Checking, and Abstract Interpretation
• PC Member, SEFM’23, the 21st Int. Conf. on Software Engineering and Formal Methods
• PC Member, VSTTE’23, the 15th Int. Conf. on Verified Software: Theories, Tools, and Experiments
• PC Member, OOPSLA’23, the Int. Conf. on Object-Oriented Programming Systems, Languages, and Applications
• PC Member, CAV’23, the 35th Int. Conf. on Computer Aided Verification
• PC Member, MET’23, the 8th Int. Workshop on Metamorphic Testing, in conjunction with ICSE’23
• PC Member, VMCAI’23, the 24th Int. Conf. on Verification, Model Checking, and Abstract Interpretation
• PC Member, ASE’22 NIER, at the 37th Int. Conf. on Automated Software Engineering.
• PC Member, ESOP’22, the 31st European Symposium on Programming
• PC Member, ICST’22, the 15th IEEE Int. Conference on Software Testing, Verification and Validation
• PC Member, ECOOP’21, the 35th European Conf. on Object-Oriented Programming
• PC Member, SAS’21, the 28th Static Analysis Symposium
• PC Member, Erlang’21, the 20th ACM SIGPLAN International Workshop on Erlang
• PC Member, MPLR’20, the Int. Conf. on Managed Programming Languages & Runtimes
• ERC Member, OOPSLA’20, the Int. Conf. on Object-Oriented Programming Systems, Languages, and Applications
• PC Member, CAV’19, the Int. Conf. on Computer Aided Verification
• AEC Member, ECOOP’19, the Int. Conf. on The European COnference On Programming languages
• PC Member, EMSOFT’18, the Int. Conf. on Embedded Software (EMSOFT) Work In Progress,
• AEC Member, CAV’18, the Int. Conf. on Computer Aided Verification

Editorship:

• Guest editor, Formal Methods and System Design (FMSD) Special Issue for Computer Aided Verification (CAV’23), guest editing with Sebastian Junges, with editors Akash Lal and Constantin Enea.

Reviewer for journals/manuscripts:

• The Art, Science, and Engineering of Programming, Volume 9, 2024
• Transactions on Software Engineering and Methodology (TOSEM), 2022
• Journal of Systems & Software, Elsevier, 2022
• Science of Computer Programming, Elsevier, 2021
• ACM Transactions on Programming Languages and Systems (TOPLAS), 2018
• ACM Transactions on Programming Languages and Systems (TOPLAS), 2018
• Special Issue on the Asia-Pacific Software Engineering Conference (APSEC), 2016
• Formal Methods in System Design (FMSD), 2014
• Software Testing, Verification and Reliability (STVR), 2013