update papers+talks

README.md

@@ -106,13 +106,16 @@ We only list proposals that reached phase 3 at least.
 #### Publications
 
 - [Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly], 2024
+- [Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly], 2024
+- [Cross-Language Symbolic Runtime Annotation Checking], 2025
 
 #### Talks
 
 - [september 2023]: [ICFP OCaml track]
 - [october 2023]: Wasm Research Day organized by the [WebAssembly Research Center] and hosted in Google Munich
 - april 2024: [OUPS (OCaml UserS in Paris)]
 - [november 2024]: [LVP working group] day of the [GdR GPL]
+- [december 2024]: Léo Andrès' PhD defense
 
 ### Spelling and pronunciation
 
@@ -162,9 +165,12 @@ This project was partly funded through the [NGI0 Core] Fund, a fund established
 
 [build-badge]: https://github.com/OCamlPro/owi/actions/workflows/build.yml/badge.svg
 [build status]: https://github.com/ocamlpro/owi/actions
+[Cross-Language Symbolic Runtime Annotation Checking]: https://inria.hal.science/hal-04798756/file/cross_language_symbolic_runtime_annotation_checking.pdf
 [coverage-badge]: https://raw.githubusercontent.com/ocamlpro/owi/gh-pages/coverage/badge.svg
 [coverage percentage]: https://ocamlpro.github.io/owi/coverage
+[december 2024]: https://www.zapashcanon.fr/phd#:~:text=after%20the%20defense.-,Defense,My%20slides%20are%20available%20here.,-%F0%9F%94%9D%20%7C%20nothing%20to%20hide
 [documentation]: https://ocamlpro.github.io/owi/api/owi
+[Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly]: https://fs.zapashcanon.fr/pdf/manuscrit_these_leo_andres.pdf
 [GdR GPL]: https://gdr-gpl.cnrs.fr/
 [how to install opam]: https://opam.ocaml.org/doc/Install.html
 [ICFP OCaml track]: https://icfp23.sigplan.org/home/ocaml-2023