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
• may 2025: 15th MirageOS hack retreat