personal/_posts/2018-01-21-rustbelt-talk.md

   1 ---
   2 title: "RustBelt Conference Talk"
   3 categories: research rust
   4 forum: https://internals.rust-lang.org/t/rustbelt-securing-the-foundations-of-the-rust-programming-language/5509
   5 ---
   6
   7 Last week, I was in Los Angeles at [POPL 2018](https://popl18.sigplan.org/home)
   8 to present our paper
   9 [RustBelt: Securing the Foundations of the Rust Programming Language](https://plv.mpi-sws.org/rustbelt/popl18/).
  10 The talk has been recorded, so if you want to get a 20-minute summary of the
  11 paper, go watch it [on YouTube](https://www.youtube.com/watch?v=Cy9NUVaiYUg).
  12 If you have any questions, feel free to join the forum thread linked below :)