X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/02efeba4f7cf3b78a46765a0a336d6d28bdbe6f2..162e8d94ba93e846bb45ae76ff298959faf78209:/research/publications.html
diff --git a/research/publications.html b/research/publications.html
index 4a55303..7d85125 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -10,7 +10,7 @@ slug: Publications
-
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
+ In POPL 2022, Distinguished Paper Award
[paper]
@@ -20,7 +20,7 @@ slug: Publications
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)]
+ [paper] [paper website (incl. Coq formalization)]
-
@@ -171,6 +171,6 @@ slug: Publications
-
Unifying Worlds and Resources
Ralf Jung, Derek Dreyer
- At HOPE 2015: 4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects
+ At HOPE 2015: 4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects
[slides] [YouTube]