update RustBelt paper

[web.git] / personal / _posts / 2017-07-08-rustbelt.md

diff --git a/personal/_posts/2017-07-08-rustbelt.md b/personal/_posts/2017-07-08-rustbelt.md
index 95638667d461c7e82c4dd8e259eea0dbf190c72e..3342260ff5bfe7bad9eefd37fa0e7585cdf77206 100644 (file)
--- a/personal/_posts/2017-07-08-rustbelt.md
+++ b/personal/_posts/2017-07-08-rustbelt.md
@@ -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,5 @@ 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/).