From c2648f67ef45f386a64f10f6550be9f07c7740b3 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 8 Jul 2017 14:12:07 -0700 Subject: [PATCH] add forum link --- personal/_posts/2017-07-08-rustbelt.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/personal/_posts/2017-07-08-rustbelt.md b/personal/_posts/2017-07-08-rustbelt.md index 474224b..a37df23 100644 --- a/personal/_posts/2017-07-08-rustbelt.md +++ b/personal/_posts/2017-07-08-rustbelt.md @@ -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). -- 2.30.2