Systems Papers

Share this post

Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

newsletter.micahlerner.com

Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

Micah Lerner
Nov 2, 2021
Share this post

Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

newsletter.micahlerner.com

Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

Hello new and old subscribers!

This week's paper is Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale. Rudra is a system for finding memory safety bugs in code written with the Rust programming language. While the language is well known for its ability to eliminate memory safety bugs, Rudra focuses on one language feature, unsafe, where these issues are possible.

The paper review is best enjoyed on the blog, here.

Discussion on Hacker News

This week's paper is the first of many from SOSP - as always feel free to reach out with feedback on Twitter or by responding to this email!

Until next time,

Micah

Share this post

Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

newsletter.micahlerner.com
Comments
TopNew

No posts

Ready for more?

© 2023 Micah Lerner
Privacy ∙ Terms ∙ Collection notice
Start WritingGet the app
Substack is the home for great writing