add link to papers and a note about internship offers

README.md

@@ -19,6 +19,8 @@ We also have [a fuzzer] that is able to generate random *valid* Wasm programs. F
 
 ⚠️ For now, the optimizer and the formatter are quite experimental. The optimizer is well tested but only performs basic optimizations in an inefficient way. The formatter is mainly used for debugging purpose and is probably incorrect on some cases.
 
+🧑‍🎓 We are looking for interns, have a look at the [internship labeled issues].
+
 ## Installation
 
 `owi` can be installed with [opam]:
@@ -94,7 +96,13 @@ We only list proposals that reached phase 3 at least.
 
 ## About
 
-### Talks
+### Publications and Talks
+
+#### Publications
+
+- [Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly], 2024
+
+#### Talks
 
 - [september 2023]: [ICFP OCaml track]
 - [october 2023]: Wasm Research Day organized by the [WebAssembly Research Center] and hosted in Google Munich
@@ -151,6 +159,7 @@ This project was funded through the [NGI0 Core] Fund, a fund established by [NLn
 [documentation]: https://ocamlpro.github.io/owi/api/owi
 [how to install opam]: https://opam.ocaml.org/doc/Install.html
 [ICFP OCaml track]: https://icfp23.sigplan.org/home/ocaml-2023
+[internship labeled issues]: https://github.com/OCamlPro/owi/labels/internship
 [Next Generation Internet]: https://ngi.eu
 [NLnet]: https://nlnet.nl
 [NGI0 Core]: https://nlnet.nl/core
@@ -159,6 +168,7 @@ This project was funded through the [NGI0 Core] Fund, a fund established by [NLn
 [opam]: https://opam.ocaml.org
 [OUPS (OCaml UserS in Paris)]: https://oups.frama.io
 [Owi]: https://ocamlpro.github.io/owi
+[Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly]: https://hal.science/hal-04627413
 [Owi project on NLnet]: https://nlnet.nl/project/OWI
 [reference test suite script]: https://github.com/WebAssembly/spec/blob/main/interpreter/README.md#scripts
 [september 2023]: https://invidious.zapashcanon.fr/watch?v=IM76cMP3Eqo