(last update: August 20, 2024)
News
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
Past events
SAS 2023
Speaker
30th Static Analysis Symposium
CSV 2023
Invited Speaker
2nd Symposium on Challenges of Software Verification
SCAM 2023
Program Co-Chair – New Ideas and Emerging Results Track
23rd IEEE International Working Conference on Source Code Analysis and Manipulation
CyberChallenge.IT 2023
Local Organizer and Instructor
6th Edition of the Italian Training Program in Cybersecurity
ECAI 2023
Program Committee Member
26th European Conference on Artificial Intelligence
Università della Svizzera Italiana (USI) 2022/2023
Visiting Researcher (6 months)
USI Software Institute
CyberChallenge.IT 2022
Local Organizer and Instructor
5th Edition of the Italian Training Program in Cybersecurity
ICTCS 2022
Speaker
23rd EATCS Italian Conference on Theoretical Computer Science
SCAM 2022
Program Committee Member – Research Track
21st IEEE International Working Conference on Source Code Analysis and Manipulation
SCAM 2022
Proceedings Chair
21st IEEE International Working Conference on Source Code Analysis and Manipulation
SEFM 2021
Speaker
19th International Conference on Software Engineering and Formal Methods
ICTAC 2021
Speaker
18th International Colloquium on Theoretical Aspects of Computing