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. :)