add camera-ready version of itree-program-logic paper
[web.git] / personal / _posts / 2023-06-13-undefined-behavior-talk.md
1 ---
2 title: "Talk about Undefined Behavior, unsafe Rust, and Miri"
3 categories: rust
4 ---
5
6 I recently gave a talk at a local Rust meetup in Zürich about Undefined Behavior, unsafe Rust, and Miri.
7 The recording is available [here](https://www.youtube.com/watch?v=svR0p6fSUYY).
8 It targets an audience that is familiar with Rust but not with the nasty details of unsafe code, so I hope many of you will enjoy it!
9 Have fun. :)