• Sign in
  • Sign up
conf.researchr.org / Léo Andrès
  • ICFP 2023 profile
  • ‹Programming› 2025 profile
Léo Andrès

Registered user since Sat 9 Sep 2023

Name:Léo Andrès
Country:France
Affiliation:LMF, OCamlPro
Personal website: https://www.zapashcanon.fr
Research interests:Programming Languages, Functional Programming, Compilers, Semantics

Contributions

2025

‹Programming›

  • Author of Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly within the Research Papers-track

2023

ML

  • 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
xMon 19 May 03:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up