contact: use my ETH email address
[web.git] / 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 :)