Marco Milanese -

Registered user since Tue 31 Oct 2023

Name:Marco Milanese

Country:France

Affiliation:Sorbonne University

Personal website: https://marmila.eu

Research interests:Bug Catching, Formal Methods, Abstract Interpretation, Incorrectness

Contributions

2024

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Keynote Speaker of Under-approximating Memory Abstractions within the SAS 2024-track

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

VMCAI

Author of Generation of Violation Witnesses by Under-Approximating Abstract Interpretation within the VMCAI 2024-track