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
- october 2023: Wasm Research Day organized by the WebAssembly Research Center and hosted in Google Munich
- april 2024: OUPS (OCaml UserS in Paris)
- november 2024: LVP working group day of the GdR GPL
- december 2024: Léo Andrès' PhD defense
- january 2025: JFLA 2025
- february 2025: Wasm Research Day 2025
- february 2025: PPS Seminar