Marco Milanese's webpage

prof_pic.jpg

Sorbonne Université - LIP6

Boîte courrier 169

Couloir 25-26, Étage 3, Bureau 303

4 place Jussieu

75252 Paris, France

I am a PhD student in Computer Science at LIP6, Sorbonne University (Paris, France).

I’m interested in static software analysis. In particular, my research topic focuses on inference of under-approximations (specifically: sufficient pre-conditions) by abstract interpretation. Unlike conventional over-approximating abstract interpretation which is frequently employed for program verification, sufficient pre-conditions can be used to catch bugs and infer code contracts.

I’m a contributor to the MOPSA static analysis tool. MOPSA is a multi-language abstract interpreter written in OCaml developed at LIP6. MOPSA won the gold medal in the SoftwareSystems category at the SV-COMP24 competition for static analysis tools.

news

Jan 16, 2024 🗨️ I presented the paper Generation of Violation Witnesses by Under-Approximating Abstract Interpretation at VMCAI 24.
Dec 21, 2023 📝 The competition contribution of MOPSA at SV-COMP 24 is accepted.
Oct 22, 2023 🧑‍💼 I was a student volunteer at SAS 2023.
Oct 11, 2023 📝 The paper Generation of Violation Witnesses by Under-Approximating Abstract Interpretation is accepted at VMCAI 2024.
Apr 22, 2023 🧑‍💼 I was a student volunteer at ETAPS 2023.