Milla Valnet
Research in computer science
Ph.D. student

I am a computer scientist (she/her) and a Ph.D. student at the APR team, LIP6, Sorbonne Université. I started my Ph.D. in september 2023 under the supervision of Antoine Miné and Raphaël Monat , on developing a value static analysis for functional languages, with an implementation for OCaml in the MOPSA static analysis platform. I hold a research master in Computer Science (MPRI) and a diploma from the ENS Paris, major in Computer Science, minor in Geopolitics & Diplomacy.

• Get my CV

• Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron (2024). Chamelon : a delta-debugger for OCaml . FM.

• Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron (2024). Chamelon : un minimiseur de programmes pour et en OCaml. JFLA.

• Milla Valnet, Raphaël Monat, Antoine Miné (2023). Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs. JFLA.

• 07/06/2024 - Static value analysis by abstract interpretation for functional programs. Antique seminar, ENS.

• 30/05/2024 - Static value analysis by abstract interpretation for functional programs. APR days, Caen.

• 01/02/2024 - Chamelon: a program minimizer in and for OCaml! JFLA.

• 05/10/2023 - Chamelon: a program minimizer in and for OCaml! OUPS.

• 03/02/2023 - Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs. OUPS.

• 19/01/2023 - Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs. JFLA.

• Oral exams at Louis le Grand CPGE

• MU5IN555 : TD de Typage et Analyse Statique, M2.

• LU3IN030 : TD/TME d'Introduction à la calculabilité et à la décidabilité, L3

• LU1IN0X1 : Element de programmation 1 (Python)

• OCaml Workshop 2024: PC member

• Journées Filles Maths et Informatique (JFMI): Speed-meeting with young girls to help them design ambitious computer science career

• ECOOP 2024: Artifact reviewer

• OCaml Users in Paris (OUPS) seminar: organizer (2023/11 -)

• Rencontres du numérique 2023 : Inspire and help young girls and boys discover computer science jobs

• OCaml analyzer in MOPSA. Work in progress.

• Chamelon, a delta-debugger for OCaml.

• EJCP 2024, Argelès-sur-mer

• Chamelon: a program minimizer in and for OCaml! March to July 2023. Flambda team, OCamlPro

• Value analysis by abstract interpretation of functional languages. March to July 2022. Under the supervision of Antoine Miné and Raphaël Monat, APR team, LIP6, SU.

• Towards dimension types in Helium. February to July 2021. Under the supervision of Juriaan Hage, CS department, Utrecht University.

• Explorable automaton. Under the supervision of Denis Kuperberg, Plume team, LIP, ENS Lyon.