links to POPL'18 talk

[web.git] / 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 (file)
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 :)