Publications
Journals
(2024) Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly | 📄 PDF
National conferences
(2024) Cross-Language Symbolic Runtime Annotation Checking | 📄 PDF
(2021) Connecter l'écosystème OCaml à Software Heritage via opam | 📄 PDF | ✍ source
Ph.D.
(2024) Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly | 📄 PDF
Reports
(2020) Dddddml, une forme pour les écrire tous | 📄 PDF | ✍ source
(2019) Vérification par preuve formelle de propriétés fonctionnelles d'algorithmes de classification | 📄 PDF | ✍ source
(2019) Partage d'implémentation, implémentation du partage: une bibliothèque fonctorisée de diagrammes de décision binaires | 📄 PDF | ✍ source
(2018) Le psittacisme pour permettre l'oubli motivé : implémentation et vérification du lambda lifting pour le compilateur CakeML | 📄 PDF | ✍ source
(2017) Vérification de compilation de requêtes SQL à base de traces | 📄 PDF | ✍ source