Léo Andrès -

Registered user since Sat 9 Sep 2023

Name:Léo Andrès

Country:France

Affiliation:LMF, OCamlPro

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