Talks and Papers
Publications
- Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly, 2024
- Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly, 2024
- Cross-Language Symbolic Runtime Annotation Checking, 2025
Talks
- september 2023: ICFP OCaml track @ The Westin Seattle - Seattle
- october 2023: Wasm Research Day organized by the WebAssembly Research Center @ Google - Munich
- april 2024: OUPS (OCaml UserS in Paris) @ Sorbonne Université - Paris
- november 2024: LVP working group day of the GdR GPL @ Université Paris-Cité - Paris
- december 2024: Léo Andrès' PhD defense @ Université Paris-Saclay - Gif-sur-Yvette
- january 2025: JFLA 2025 @ Domaine de Roiffé - Roiffé
- february 2025: Wasm Research Day 2025 (remote) @ Fastly - San Francisco
- february 2025: PPS Seminar @ Université Paris-Cité - Paris
- may 2025: 15th MirageOS hack retreat @ Priscilla Queen of the Medina - Marrakech
- june 2025: <Programming> 2025 @ Faculty of Mathematics and Physics, Charles University - Prague
- june 2025: Dagstuhl Seminar 25241 - Utilising and Scaling the WebAssembly Semantics @ Leibniz-Zentrum für Informatik - Dagstuhl
- october 2025: Wasm Research Day October 2025 @ Google - Munich