Publications

Journals

• 2024: Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly @ The Programming Journal

International conferences

• 2026: Modular Relational Abstract Interpretation of WebAssembly @ APLAS
• 2026: Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml @ TACAS

National conferences

• 2026: Exécution symbolique pour la génération de tests ciblant des labels @ JFLA
• 2024: Cross-Language Symbolic Runtime Annotation Checking @ JFLA
• 2021: Connecter l'écosystème OCaml à Software Heritage via opam @ JFLA

Ph.D.

• 2024: Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly

Drafts and reports

• 2023: Wasocaml: compiling OCaml to WebAssembly
• 2019: Vérification par preuve formelle de propriétés fonctionnelles d'algorithmes de classification