Léo Andrès

Publications

Journals

• 2024: Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

National conferences

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

Ph.D.

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

Drafts

• 2024: Smt. ml: A Multi-Backend Frontend for SMT Solvers in OCaml
• 2023: Wasocaml: compiling OCaml to WebAssembly