add forum link
authorRalf Jung <post@ralfj.de>
Sat, 8 Jul 2017 21:12:07 +0000 (14:12 -0700)
committerRalf Jung <post@ralfj.de>
Sat, 8 Jul 2017 21:12:07 +0000 (14:12 -0700)
personal/_posts/2017-07-08-rustbelt.md

index 474224b5eddb2dce9dc6348f4769382ec43e5f4a..a37df23e86e84da08e85c8feb1fd960a16b6096a 100644 (file)
@@ -1,7 +1,7 @@
 ---
 title: "RustBelt: Securing the Foundations of the Rust Programming Language"
 categories: research rust
-forum: https://internals.rust-lang.org/
+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).