Hacker News
- RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf] https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf 2 comments
Lobsters
- RustBelt: Securing the Foundations of the Rust Programming Language https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf 45 comments formalmethods , pdf , rust
Linking pages
- Why Rust?. What is Rust language and why Parity… | by Dmitriy Kashitsyn | Parity Technologies | Medium https://medium.com/paritytech/why-rust-846fd3320d3f 32 comments
- GitHub - gasche/icfp2017-papers: Link to preprints for ICFP'17 and colocated events https://github.com/gasche/icfp2017-papers 18 comments
- This Week in Rust 376 · This Week in Rust https://this-week-in-rust.org/blog/2021/02/03/this-week-in-rust-376/ 18 comments
- C/C++ vs. Rust - Ehsan's Blog https://ehsanmkermani.com/2019/07/19/inherently-unsafe-c-c-vs-rust/ 15 comments
- RustBelt: securing the foundations of the Rust programming language | the morning paper https://blog.acolyer.org/2018/01/18/rustbelt-securing-the-foundations-of-the-rust-programming-language/ 0 comments
Related searches:
Search whole site: site:people.mpi-sws.org
Search title: RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf]
See how to search.