ISSTA 2025
Program Committee Member
34th ACM International Symposium on Software Testing and Analysis
ICST 2025
Publicity Co-Chair
18th IEEE International Conference on Software Testing, Verification and Validation
ST&V Summer School 2024
Invited Speaker
3rd Summer School on Security Testing and Verification
SCAM 2024
Program Committee Member – Research Track; New Ideas and Emerging Results Track
24th IEEE International Working Conference on Source Code Analysis and Manipulation
NSAD 2024
Program Co-Chair
10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Lipari AbsInt 2024
Organizer
Lipari Summer School on Abstract Interpretation
CyberChallenge.IT 2024
Local Organizer and Instructor
7th Edition of the Italian Training Program in Cybersecurity
SAS 2024
Program Committee Member
31st Static Analysis Symposium
ECAI 2024
Program Committee Member
27th European Conference on Artificial Intelligence
ICSE 2024
Speaker – Research Track
46th IEEE/ACM International Conference on Software Engineering
ASE 2024
Program Committee Member – Research Track
39th IEEE/ACM International Conference on Automated Software Engineering
ICSE 2024
Program Committee Member – Demonstrations Track
46th IEEE/ACM International Conference on Software Engineering