Linking pages
- Static Analyzer Rudra Found over 200 Memory Safety Issues in Rust Crates https://www.infoq.com/news/2021/11/rudra-rust-safety/ 104 comments
- CHERI Myths: I don’t need CHERI if I have safe languages | CHERIoT Platform https://cheriot.org/cheri/myths/2024/08/28/cheri-myths-safe-languages.html 49 comments
- Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale https://www.micahlerner.com/2021/10/31/rudra-finding-memory-safety-bugs-in-rust-at-the-ecosystem-scale.html 44 comments
- On the Dual Nature of Necessity in Use of Rust Unsafe Code | Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering https://dl.acm.org/doi/10.1145/3611643.3613878 33 comments
- Counterexamples in Safe Rust | Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops https://dl.acm.org/doi/abs/10.1145/3691621.3694943 20 comments
- Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3656406 2 comments
Linked pages
Related searches:
Search whole site: site:dl.acm.org
Search title: Rudra | Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
See how to search.