News

  ISSTA 2025
Program Committee Member
34^th ACM International Symposium on Software Testing and Analysis

  ICST 2025
Publicity Co-Chair
18^th IEEE International Conference on Software Testing, Verification and Validation

  ST&V Summer School 2024
Invited Speaker
3^rd Summer School on Security Testing and Verification

  SCAM 2024
Program Committee Member – Research Track; New Ideas and Emerging Results Track
24^th IEEE International Working Conference on Source Code Analysis and Manipulation

  NSAD 2024
Program Co-Chair
10^th 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
7^th Edition of the Italian Training Program in Cybersecurity

  SAS 2024
Program Committee Member
31^st Static Analysis Symposium

  ECAI 2024
Program Committee Member
27^th European Conference on Artificial Intelligence

  ICSE 2024
Speaker – Research Track
46^th IEEE/ACM International Conference on Software Engineering

  ASE 2024
Program Committee Member – Research Track
39^th IEEE/ACM International Conference on Automated Software Engineering

  ICSE 2024
Program Committee Member – Demonstrations Track
46^th IEEE/ACM International Conference on Software Engineering

More