RT @adriancolyer: "RustBelt: Securing the foundations of the Rust programming language" Jung et al., POPL 18 https://blog.acolyer.org/2018/01/18/rustbelt-securing-the-foundations-of-the-rust-programming-language/ #themo… source: https://twitter.com/rustlang/status/953999028697649160
RustBelt: securing the foundations of the Rust programming language

RustBelt: Securing the foundations of the Rust programming language Jung et al., POPL, 2018 Yesterday we saw the value of meta-engineering development processes in order to produce better (more sec…