Publications : Léo Andrès
Retour| [6] | Zhicheng Hui and Léo Andrès. Cross-language symbolic runtime annotation checking. In 36es Journées Francophones des Langages Applicatifs (JFLA 2025), 2025. [ bib | full text on HAL ] |
| [5] | Léo Andrès. Exécution symbolique pour tous ou Compilation d’OCaml vers WebAssembly. Phd thesis, Université Paris-Saclay, 2024. [ bib | full text on HAL ] |
| [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 ] |
Retour
This page was generated by bibtex2html.