Léo Andrès

According to our database, Léo Andrès authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.

João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait El Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, José Fragoso Santos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

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