X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/df47008b821b6102bcea355f428fba76d69fa109..9976b8275788d7d6ef356517d5bf4fd36a82efd5:/research/publications.html
diff --git a/research/publications.html b/research/publications.html
index 460155c..45b6db0 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -5,6 +5,15 @@ slug: Publications
Conference and journal papers
+2022
+
+-
+ Simuliris: A separation logic framework for verifying concurrent program optimizations
+ Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer
+ In POPL 2022, Distinguished Paper Award
+ [paper]
+
+
2021
-
@@ -17,7 +26,7 @@ slug: Publications
-
GoJournal: a verified, concurrent, crash-safe journaling system
Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich
- In OSDI 2021
+ In OSDI 2021
[paper]