Publications : Léo Andrès
Back| [4] | Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Femenin dos Santos, and Jean-Christophe Filliâtre. Owi: Performant parallel symbolic execution made easy, an application to WebAssembly. The Art, Science, and Engineering of Programming, 9(2), 2024. [ bib | full text on HAL ] |
| [3] | Léo Andrès, Pierre Chambart, and Jean-Christophe Filliâtre. Wasocaml: compiling OCaml to WebAssembly. In João Saraiva and João Fernandes, editors, 35th Symposium on Implementation and Application of Functional Languages, 2023. [ bib | full text on HAL ] |
| [2] | Léo Andrès, Raja Boujbel, Louis Gesbert, and Dario Pinto. Connecter l'écosystème OCaml à Software Heritage via opam. In Chantal Keller and Timothy Bourke, editors, 33èmes Journées Francophones des Langages Applicatifs, pages 227--234, 2022. [ bib | full text on HAL ] |
| [1] | Léo Andrès. Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification. Rapport de stage de M1, Université Paris Sud, August 2019. [ bib | full text on HAL ] |
Back
This page was generated by bibtex2html.