Milla Valnet -

Registered user since Fri 14 Feb 2025

Name:Milla Valnet

Country:France

Affiliation:Sorbonne Université

Contributions

2025

Static Analysis Symposium

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

ECOOP

Author of Compositional Static Value Analysis for Higher-Order Numerical Programs within the Technical Papers-track

SOAP

Committee Member in Program Committee within the State Of the Art in Program Analysis-track

VMCAI

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

2024

ECOOP

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

OCaml

Committee Member in Program Committee within the OCaml Users and Developers Workshop 2024-track