Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly. - Léo Andrès; Filipe Marques; Arthur Carcano; Pierre Chambart; José Fragoso Santos; Jean-Christophe Filliâtre (Art Sci. Eng. Program., 2024)

Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly. (Symbolic Execution for All or Compilation of OCaml to WebAssembly). - Léo Andrès (2024)