Service

Organization:

Co-organizer, Alice and Eve’22, the third edition of the workshop for celebrating women in computing.
Co-chair of Expert Discussions Track, ECOOP’22, the 36th European Conf. on Object-Oriented Programming.
Co-chair, Erlang’22, the 21st Edition of the Erlang Workshop organized as a co-located event of ICFP 2022.

PC Member, OOPSLA’23, the Int. Conf. on Object-Oriented Programming Systems, Languages, and Applications
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