VALNET Milla

PhD Student at Sorbonne University
Team : APR
Arrival date : 09/01/2023

Sorbonne Université - LIP6

+33 1 44 27 88 16
Milla.Valnet (at) nulllip6.fr
https://lip6.fr/Milla.Valnet

Supervision : Antoine MINÉ
Co-supervision : Raphael Monat

Static Value Analysis by Abstract Interpretation of Functional Languages and Application to OCaml Analysis

Communications

2025
- M. Valnet, R. Monat, A. Miné : “Compositional Static Value Analysis for Higher-Order Numerical Programs”, Leibniz International Proceedings in Informatics, vol. 333, Bergen, Norway, pp. 15, (Dagstuhl Publishing) (2025)