Chamelon : A Delta-Debugger for OCaml. - Milla Valnet; Nathanaëlle Courant; Guillaume Bury; Pierre Chambart; Vincent Laviron (FM (2), 2024)

Compositional Static Value Analysis for Higher-Order Numerical Programs. - Milla Valnet; Raphaël Monat; Antoine Miné (ECOOP, 2025)

Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact). - Milla Valnet; Raphaël Monat; Antoine Miné (Dagstuhl Artifacts Ser., 2025)