From cdc33df227549e0b9bf2bfffff7c2fb7ebe4483b Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 21 Jan 2018 14:53:54 +0100 Subject: [PATCH 1/1] links to POPL'18 talk --- personal/_posts/2018-01-21-rustbelt-talk.md | 12 ++++++++++++ research/publications.html | 2 +- 2 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 personal/_posts/2018-01-21-rustbelt-talk.md diff --git a/personal/_posts/2018-01-21-rustbelt-talk.md b/personal/_posts/2018-01-21-rustbelt-talk.md new file mode 100644 index 0000000..976d417 --- /dev/null +++ b/personal/_posts/2018-01-21-rustbelt-talk.md @@ -0,0 +1,12 @@ +--- +title: "RustBelt conference talk" +categories: research rust +forum: https://internals.rust-lang.org/t/rustbelt-securing-the-foundations-of-the-rust-programming-language/5509 +--- + +Last week, I was in Los Angeles at [POPL 2018](https://popl18.sigplan.org/home) +to present our paper +[RustBelt: Securing the Foundations of the Rust Programming Language](https://plv.mpi-sws.org/rustbelt/popl18/). +The talk has been recorded, so if you want to get a 20-minute summary of the +paper, go watch it [on YouTube](https://www.youtube.com/watch?v=Cy9NUVaiYUg). +If you have any questions, feel free to join the forum thread linked below :) diff --git a/research/publications.html b/research/publications.html index 0d600f5..97ad686 100644 --- a/research/publications.html +++ b/research/publications.html @@ -16,7 +16,7 @@ slug: Publications

2017

-- 2.30.2