X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/5d48ad64c3cf9378fc12443d536aa25e080ee34f..9bb6b5c2ff13c05c60a00d62104c27c769c3effd:/research/publications.html
diff --git a/research/publications.html b/research/publications.html
index 0053762..135f77d 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -5,13 +5,29 @@ slug: Publications
+
2020
+
+-
+ The Future is Ours: Prophecy Variables in Separation Logic
+ Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs
+ In POPL 2020
+ [paper] [paper website (incl. appendix and Coq formalization)]
+
+
+-
+ Stacked Borrows: An Aliasing Model for Rust
+ Ralf Jung, Hoang-Hai Dang, Jeehoon Kang, Derek Dreyer
+ In POPL 2020
+ [paper] [paper website (incl. appendix and Coq formalization)]
+
+
2018
-
@@ -62,12 +78,12 @@ slug: Publications
2015
--
+
-
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning