Safe Systems Programming in Rust
It has been a long time coming; now our Communications of the ACM article Safe Systems Programming in Rust has finally been published. A pdf version is also available. We explain at a high level what makes Rust so innovative and interesting, and how we are studying Rust formally in the RustBelt project. The ACM even produced a short video which includes Derek and me explaining the main points of the article. Have fun. :)
Posted on Ralf's Ramblings on Mar 23, 2021.
Comments? Drop me a mail or leave a note on reddit!