Hacker News
- Stacked Borrows: An Aliasing Model for Rust https://plv.mpi-sws.org/rustbelt/stacked-borrows/ 26 comments
Linking pages
- Rust's Unsafe Pointer Types Need An Overhaul - Faultlore https://gankra.github.io/blah/fix-rust-pointers/ 273 comments
- Pointers Are Complicated III, or: Pointer-integer casts exposed https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html 228 comments
- Undefined Behavior deserves a better reputation | SIGPLAN Blog https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/ 120 comments
- The Tower of Weakenings: Memory Models For Everyone - Faultlore https://gankra.github.io/blah/tower-of-weakenings/ 120 comments
- Baby Steps http://smallcultfollowing.com/babysteps/blog/2022/02/09/dare-to-ask-for-more-rust2024/ 88 comments
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- Stacked Borrows: An Aliasing Model for Rust (the paper) https://www.ralfj.de/blog/2019/11/18/stacked-borrows-paper.html 34 comments
- Rust's Unsafe Pointer Types Need An Overhaul - Faultlore https://faultlore.com/blah/fix-rust-pointers/ 7 comments
Related searches:
Search whole site: site:plv.mpi-sws.org
Search title: Stacked Borrows: An Aliasing Model for Rust (POPL 2020)
See how to search.