From: Ralf Jung Date: Sun, 21 Jan 2018 13:53:54 +0000 (+0100) Subject: links to POPL'18 talk X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/841dd2a1fa0d0f96835df543e98e63df1f1a4cc6?ds=inline links to POPL'18 talk --- 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