X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/c281f6d32c79aaec1622424712e10b9a55719978..ae834f8d77aeb11c5e502e02e1706bd128aade37:/research/publications.html diff --git a/research/publications.html b/research/publications.html index 4a55303..902fb52 100644 --- a/research/publications.html +++ b/research/publications.html @@ -5,12 +5,35 @@ slug: Publications

Conference and journal papers

+

2023

+ + + + +

2022

+ + @@ -20,7 +43,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)]