safe intrusive collections with pinning: first draft
[web.git] / personal / _posts / 2017-07-08-rustbelt.md
index 95638667d461c7e82c4dd8e259eea0dbf190c72e..0773db6407d7f5ae2fb82502d2e7bfef8c1a38cc 100644 (file)
@@ -4,7 +4,7 @@ categories: research rust
 forum: https://internals.rust-lang.org/t/rustbelt-securing-the-foundations-of-the-rust-programming-language/5509
 ---
 
 forum: https://internals.rust-lang.org/t/rustbelt-securing-the-foundations-of-the-rust-programming-language/5509
 ---
 
-Just yesterday, we submitted our paper [RustBelt: Securing the Foundations of the Rust Programming Language](https://www.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf).
+Just yesterday, we submitted our paper [RustBelt: Securing the Foundations of the Rust Programming Language](https://plv.mpi-sws.org/rustbelt/popl18/).
 Quoting from the abstract:
 
 > Rust is a new systems programming language that promises to overcome
 Quoting from the abstract:
 
 > Rust is a new systems programming language that promises to overcome
@@ -37,3 +37,7 @@ Of course, I am far from the only person who worked on this.
 All these results were only possible because of my great collaborators, [Jacques-Henri Jourdan](https://jhjourdan.mketjh.fr/) and [Robbert Krebbers](http://robbertkrebbers.nl/), as well as my PhD advisor, [Derek Dreyer](http://www.mpi-sws.org/~dreyer/).
 I also benefited a lot from countless discussions with the Rust community at large, and with Aaron and Niko in particular.
 You guys rock!
 All these results were only possible because of my great collaborators, [Jacques-Henri Jourdan](https://jhjourdan.mketjh.fr/) and [Robbert Krebbers](http://robbertkrebbers.nl/), as well as my PhD advisor, [Derek Dreyer](http://www.mpi-sws.org/~dreyer/).
 I also benefited a lot from countless discussions with the Rust community at large, and with Aaron and Niko in particular.
 You guys rock!
+
+**Update**: I have changed the link to point to the [final version of the paper](https://plv.mpi-sws.org/rustbelt/popl18/).
+
+**Update**: The conference talk is now available [on YouTube](https://www.youtube.com/watch?v=Cy9NUVaiYUg).