Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Léo Andrès
conf.researchr.org general profile
APLAS & ATVA 2026 profile
ICFP 2023 profile
‹Programming› 2025 profile
Registered user since Sat 9 Sep 2023
Name:
Léo Andrès
Contributions
2026
APLAS
Author of Modular Relational Abstract Interpretation of WebAssembly within the APLAS Research Papers-track
2025
‹Programming›
Author of Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly within the Research Papers-track
2023
ML Family Workshop
Author of Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop) within the ML-track
OCaml
Author of Owi: an interpreter and a toolkit for WebAssembly written in OCaml within the OCaml 2023-track
Author of Wasocaml: a compiler from OCaml to WebAssembly within the OCaml 2023-track
Share
x
Sat 17 Oct 06:04