X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/bcee8345e7578db237aa3217509b54dcec6bdc41..63adf70f892230668e04fc5caf9e3e830e5a51ba:/research/publications.html

diff --git a/research/publications.html b/research/publications.html
index 0ae14f4..cf13a0a 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -5,13 +5,22 @@ slug: Publications
 
 <h2>Conference and journal papers</h2>
 
-<h3>Waiting for publication</h3>
+<h3>2021</h3>
+
+<ul><li>
+  <b>GoJournal: a verified, concurrent, crash-safe journaling system</b><br/>
+  Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich<br>
+  <i>In OSDI 2021</i><br>
+  [<a href="perennial/gojournal.pdf">paper</a>]
+</li></ul>
 
 <ul><li>
   <b>Safe Systems Programming in Rust: The Promise and the Challenge</b><br/>
   Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer<br>
-  <i>Accepted for publication in Communications of the ACM (CACM)</i><br>
-  [<a href="https://people.mpi-sws.org/~dreyer/papers/safe-sysprog-rust/paper.pdf">paper</a>]
+  <i>In Communications of the ACM (CACM)</i><br>
+  [<a href="https://cacm.acm.org/magazines/2021/4/251364-safe-systems-programming-in-rust/fulltext">article</a>]
+  [<a href="https://iris-project.org/pdfs/2021-rustbelt-cacm-final.pdf">pdf</a>]
+  [<a href="https://vimeo.com/514402648">video</a>]
 </li></ul>
 
 <h3>2020</h3>