Service

Organization:

Co-organizer, Verification Mentoring Workshop (VMW)’23 co-located with CAV’23, 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 Erlang Workshop organized as a co-located event of ICFP 2022, 2022.

PC Member, VSTTE’23, the 15th Int. Conf. on Verified Software: Theories, Tools, and Experiments
PC Member, CAV’23, the 35th Int. Conf. on Computer Aided Verification
PC Member, OOPSLA’23, the Int. Conf. on Object-Oriented Programming Systems, Languages, and Applications
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