X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/63adf70f892230668e04fc5caf9e3e830e5a51ba..9976b8275788d7d6ef356517d5bf4fd36a82efd5:/research/publications.html?ds=sidebyside
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]