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:

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