X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/fbb7098f1e9ce0ac1b5915830f3bd6daefcf015f..f5c87afd3b6d05dd0e1dc9c677988bd38427b607:/research/publications.html?ds=sidebyside
diff --git a/research/publications.html b/research/publications.html
index 7d85125..015a87e 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -7,6 +7,13 @@ slug: Publications
2022
+-
+ Later Credits: Resourceful Reasoning for the Later Modality
+ Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer
+ In ICFP 2022
+ [paper] [paper website (incl. Coq formalization)]
+
+
-
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