Milla Valnet

According to our database, Milla Valnet authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact).

Milla Valnet, Raphaël Monat, Antoine Miné

Dagstuhl Artifacts Ser., 2025

Compositional Static Value Analysis for Higher-Order Numerical Programs.

Milla Valnet, Raphaël Monat, Antoine Miné

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Chamelon : A Delta-Debugger for OCaml.

Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron

Proceedings of the Formal Methods - 26th International Symposium, 2024