diff --git a/index.en.html b/index.en.html
index 7231f69..9bd6f6a 100644
--- a/index.en.html
+++ b/index.en.html
@@ -49,7 +49,11 @@ <h2>Personal projects</h2>
 <h2 id="com">Communications</h2>
 
 <ul>
-  <li><strong>Multicoretests – Parallel Testing Libraries for OCaml 5.0</strong> (<a href="/papers/ocaml_2022_multicoretests.pdf">extended abstract</a>)<br />
+  <li><strong>Runtime Detection of Data Races in OCaml with ThreadSanitizer</strong> (<a href="/papers/ocaml_2023_tsan_abstract.pdf">extended abstract</a>) (<a href="/papers/ocaml_2023_tsan.pdf">slides</a>)<br />
+    Olivier Nicole and Fabrice Buoro<br />
+    <a href="https://icfp23.sigplan.org/home/ocaml-2023#">OCaml Workshop 2023</a>
+  </li>
+  <li><strong>Multicoretests – Parallel Testing Libraries for OCaml 5.0</strong> (<a href="/papers/ocaml_2022_multicoretests.pdf">extended abstract</a>) (<a href="https://watch.ocaml.org/w/qJm8mKUgCr1KroxXiQXgLZ">video</a>)<br />
     Jan Midtgaard, Olivier Nicole and Nicolas Osborne<br />
     <a href="https://v3.ocaml.org/workshops/ocaml-workshop-2022">OCaml Workshop 2022</a>
   </li>
@@ -74,6 +78,13 @@ <h2 id="com">Communications</h2>
 <h2 id="pub">Publications</h2>
 
 <ul>
+  <li>
+    <strong>MacoCaml: Staging Composable and Compilable Macros</strong>
+    (<a href="/papers/icfp_2023_macros.pdf">paper</a>)
+    <br />
+    Ningning Xie, Leo White, Olivier Nicole and Jeremy Yallop <br />
+    <a href="https://icfp23.sigplan.org/">ICFP 2023</a> (International Conference on Functional Programming)
+  </li>
   <li>
     <strong>Lightweight Shape Analysis based on Physical Types</strong>
     (<a href="/papers/vmcai22_lightweight_shape_analysis.pdf">pre-print</a>)
diff --git a/index.eo.html b/index.eo.html
index 396802f..9e0ca8a 100644
--- a/index.eo.html
+++ b/index.eo.html
@@ -49,6 +49,10 @@ <h2>Personaj projektoj</h2>
 <h2 id="com">Komunikaĵoj</h2>
 
 <ul>
+  <li><strong>Runtime Detection of Data Races in OCaml with ThreadSanitizer</strong> (<a href="/papers/ocaml_2023_tsan_abstract.pdf">longa resumo</a>) (<a href="/papers/ocaml_2023_tsan.pdf">lumbildoj</a>)<br />
+    Olivier Nicole kaj Fabrice Buoro<br />
+    <a href="https://icfp23.sigplan.org/home/ocaml-2023#">OCaml Workshop 2023</a>
+  </li>
   <li><strong>Multicoretests – Parallel Testing Libraries for OCaml 5.0</strong> (<a href="/papers/ocaml_2022_multicoretests.pdf">longa resumo</a>)<br />
     Jan Midtgaard, Olivier Nicole kaj Nicolas Osborne<br />
     <a href="https://v3.ocaml.org/workshops/ocaml-workshop-2022">OCaml Workshop 2022</a>
@@ -74,6 +78,13 @@ <h2 id="com">Komunikaĵoj</h2>
 <h2 id="pub">Eldonaĵoj</h2>
 
 <ul>
+  <li>
+    <strong>MacoCaml: Staging Composable and Compilable Macros</strong>
+    (<a href="/papers/icfp_2023_macros.pdf">artikolo</a>)
+    <br />
+    Ningning Xie, Leo White, Olivier Nicole kaj Jeremy Yallop <br />
+    <a href="https://icfp23.sigplan.org/">ICFP 2023</a> (International Conference on Functional Programming)
+  </li>
   <li>
     <strong>Lightweight Shape Analysis based on Physical Types</strong>
     (<a href="/papers/vmcai22_lightweight_shape_analysis.pdf">antaǔeldonaĵo</a>)
diff --git a/index.fr.html b/index.fr.html
index 4421f77..ed2a70c 100644
--- a/index.fr.html
+++ b/index.fr.html
@@ -47,8 +47,12 @@ <h2>Projets personnels</h2>
 <h2 id="com">Communications</h2>
 
 <ul>
+  <li><strong>Runtime Detection of Data Races in OCaml with ThreadSanitizer</strong> (<a href="/papers/ocaml_2023_tsan_abstract.pdf">résumé long</a>) (<a href="/papers/ocaml_2023_tsan.pdf">diapos</a>)<br />
+    Olivier Nicole et Fabrice Buoro<br />
+    <a href="https://icfp23.sigplan.org/home/ocaml-2023#">OCaml Workshop 2023</a>
+  </li>
   <li><strong>Multicoretests – Parallel Testing Libraries for OCaml 5.0</strong> (<a href="/papers/ocaml_2022_multicoretests.pdf">résumé long</a>)<br />
-    Jan Midtgaard, Olivier Nicole and Nicolas Osborne<br />
+    Jan Midtgaard, Olivier Nicole et Nicolas Osborne<br />
     <a href="https://v3.ocaml.org/workshops/ocaml-workshop-2022">OCaml Workshop 2022</a>
   </li>
   <li>
@@ -62,7 +66,7 @@ <h2 id="com">Communications</h2>
     d'Information), short paper
   </li>
   <li><strong>Modular Macros</strong> (Poster/Démonstration) (<a href="/papers/PEPM18-Modular-Macros.pdf">pdf</a>)<br />
-    Olivier Nicole, Leo White and Jeremy Yallop<br />
+    Olivier Nicole, Leo White et Jeremy Yallop<br />
     <a href="https://popl18.sigplan.org/event/pepm-2018-modular-macros-poster-demo-talk-">PEPM 2018</a>
   </li>
 </ul>
@@ -70,6 +74,13 @@ <h2 id="com">Communications</h2>
 <h2 id="pub">Publications</h2>
 
 <ul>
+  <li>
+    <strong>MacoCaml: Staging Composable and Compilable Macros</strong>
+    (<a href="/papers/icfp_2023_macros.pdf">article</a>)
+    <br />
+    Ningning Xie, Leo White, Olivier Nicole et Jeremy Yallop <br />
+    <a href="https://icfp23.sigplan.org/">ICFP 2023</a> (International Conference on Functional Programming)
+  </li>
   <li>
     <strong>Lightweight Shape Analysis based on Physical Types</strong>
     (<a href="/papers/vmcai22_lightweight_shape_analysis.pdf">pre-print</a>)
diff --git a/papers/defense.pdf b/papers/defense.pdf
new file mode 100644
index 0000000..e4e632d
Binary files /dev/null and b/papers/defense.pdf differ
diff --git a/papers/icfp_2023_macros.pdf b/papers/icfp_2023_macros.pdf
new file mode 100644
index 0000000..55ef602
Binary files /dev/null and b/papers/icfp_2023_macros.pdf differ
diff --git a/papers/ocaml_2023_tsan.pdf b/papers/ocaml_2023_tsan.pdf
new file mode 100644
index 0000000..e1c06ae
Binary files /dev/null and b/papers/ocaml_2023_tsan.pdf differ
diff --git a/papers/ocaml_2023_tsan_abstract.pdf b/papers/ocaml_2023_tsan_abstract.pdf
new file mode 100644
index 0000000..000f162
Binary files /dev/null and b/papers/ocaml_2023_tsan_abstract.pdf differ