X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/5804326185cda6b8f91fb27273afd9e7ce499745..8ec1c7561e9f9b1f39e910c8a85e89667902948e:/research/publications.html
diff --git a/research/publications.html b/research/publications.html
index cf13a0a..45b6db0 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -5,12 +5,28 @@ 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
+-
+ GhostCell: Separating Permissions from Data in Rust
+ Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, Derek Dreyer
+ In ICFP 2021
+ [paper] [paper website (incl. Coq formalization)]
+
+
-
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]