Update with latest papers and add missing PDF

OlivierNicole · Sep 29, 2023 · abf5c63 · abf5c63
1 parent ec0dce3
commit abf5c63
Show file tree

Hide file tree

Showing 7 changed files with 36 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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,14 +66,21 @@ <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>
 
 <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
diff --git a/papers/icfp_2023_macros.pdf b/papers/icfp_2023_macros.pdf
diff --git a/papers/ocaml_2023_tsan.pdf b/papers/ocaml_2023_tsan.pdf
diff --git a/papers/ocaml_2023_tsan_abstract.pdf b/papers/ocaml_2023_tsan_abstract.pdf