Léo Andrès

According to our database, Léo Andrès authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

PhD thesis, 2024

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