X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/220b64a7cc683060f56f3ccbae09b0137631923a..954f1bda03c87bbefc3ee54593c1a586eb8a8512:/research/publications.html
diff --git a/research/publications.html b/research/publications.html
index 0d600f5..b54e8de 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -16,7 +16,8 @@ slug: Publications
-
RustBelt: Securing the Foundations of the Rust Programming Language
Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer
- [paper] [paper website (incl. appendix and Coq formalization)]
+ In POPL 2018: 45th ACM SIGPLAN Symposium on Principles of Programming Languages
+ [paper] [paper website (incl. appendix and Coq formalization)] [talk (YouTube)] [talk (slides)]
2017