From: Ralf Jung Date: Sat, 11 Nov 2017 08:58:13 +0000 (+0100) Subject: RustBelt post: link to final version X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/53864e2b9c45c04989ff595f18e5384f4c1a880b?ds=sidebyside;hp=0060e58d5eda277f723c58a30b7ba979cefc324c RustBelt post: link to final version --- diff --git a/personal/_posts/2017-07-08-rustbelt.md b/personal/_posts/2017-07-08-rustbelt.md index 9563866..3342260 100644 --- 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 --- -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 @@ -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! + +**Update**: I have changed the link to point to the [final version of the paper](https://plv.mpi-sws.org/rustbelt/popl18/).