links to POPL'18 talk
authorRalf Jung <post@ralfj.de>
Sun, 21 Jan 2018 13:53:54 +0000 (14:53 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 21 Jan 2018 13:53:54 +0000 (14:53 +0100)
ralf/_posts/2018-01-21-rustbelt-talk.md [new file with mode: 0644]
research/publications.html

diff --git a/ralf/_posts/2018-01-21-rustbelt-talk.md b/ralf/_posts/2018-01-21-rustbelt-talk.md
new file mode 100644 (file)
index 0000000..976d417
--- /dev/null
@@ -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 :)
index 0d600f5..97ad686 100644 (file)
@@ -16,7 +16,7 @@ slug: Publications
 <ul><li>
   <b>RustBelt: Securing the Foundations of the Rust Programming Language</b><br/>
   Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer<br>
-  [<a href="https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf">paper</a>] [<a href="http://www.mpi-sws.org/~dreyer/papers/rustbelt/">paper website</a>  (incl. appendix and Coq formalization)]
+  [<a href="https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf">paper</a>] [<a href="https://plv.mpi-sws.org/rustbelt/popl18/">paper website</a>  (incl. appendix and Coq formalization)] [<a href="https://www.youtube.com/watch?v=Cy9NUVaiYUg" target="_blank">talk (YouTube)</a>] [<a href="https://plv.mpi-sws.org/rustbelt/popl18/talk.pdf">talk (slides)</a>]
 </li></ul>
 
 <h3>2017</h3>