clarify assumption
[web.git] / personal / _posts / 2021-03-23-safe-systems-programming-in-rust.md
1 ---
2 title: "Safe Systems Programming in Rust"
3 categories: research rust
4 reddit: /rust/comments/mb08i2/safe_systems_programming_in_rust/
5 ---
6
7 It has been a long time coming; now our Communications of the ACM article [Safe Systems Programming in Rust](https://cacm.acm.org/magazines/2021/4/251364-safe-systems-programming-in-rust/fulltext) has finally been published.
8 A [pdf version](https://cacm.acm.org/magazines/2021/4/251364-safe-systems-programming-in-rust/pdf) is also available.
9 We explain at a high level what makes Rust so innovative and interesting, and how we are studying Rust formally in the [RustBelt project](https://plv.mpi-sws.org/rustbelt/).
10 The ACM even produced a [short video](https://vimeo.com/514402648) which includes Derek and me explaining the main points of the article.
11 Have fun. :)