| Vérification par preuve formelle de propriétés fonctionnelles d'algorithmes de classification L Andrès https://fs.zapashcanon.fr/pdf/internship-report-parcoursup.pdf, 2019 | 3 | 2019 |
| Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly L Andrès, F Marques, P Chambart, A Carcano, JFF dos Santos | 1 | 2024 |
| Wasocaml: compiling OCaml to WebAssembly L Andrès, P Chambart, JC Filliâtre IFL 2023-35th Symposium on Implementation and Application of Functional …, 2023 | 1 | 2023 |
| Partage d'implémentation, implémentation du partage: une bibliothèque fonctorisée de diagrammes de décision binaires L Andrès https://fs.zapashcanon.fr/pdf/ter-report.pdf, 2019 | 1 | 2019 |
| Exécution symbolique pour tous ou Compilation d’OCaml vers WebAssembly L Andrès | | 2024 |
| Connecter l'écosystème OCaml à Software Heritage via opam L Andrès, R Boujbel, L Gesbert, D Pinto 33èmes Journées Francophones des Langages Applicatifs, 2022 | | 2022 |
| Étude des formes canoniques et détection de duplication de code dans un langage de type mini-ML L Andrès https://fs.zapashcanon.fr/pdf/internship-report-ocp.pdf, 2020 | | 2020 |
| Le psittacisme pour permettre l'oubli motivé : implémentation et vérification du lambda lifting pour le compilateur CakeML L Andrès https://fs.zapashcanon.fr/pdf/internship-report-cakeml.pdf, 2018 | | 2018 |
| Vérification de compilation de requêtes SQL à base de traces L Andrès https://fs.zapashcanon.fr/pdf/internship-report-datacert.pdf, 2017 | | 2017 |
| Proposition de stage niveau M1 ou M2: optimisation de code WebAssembly pour l’exécution symbolique L AndRÈs, P ChambaRt, A CaRcano | | |
Jean-Christophe FilliâtreCNRS在 lri.fr 的电子邮件经过验证
Jean-Christophe FilliâtreCNRS在 lri.fr 的电子邮件经过验证
Filipe MarquesINESC-ID在 inesc-id.pt 的电子邮件经过验证