Book
Open access
Sep 2026
We Need to Talk About the Actual Guarantees of Rust-based Systems
This paper identifies a common weakness in Rust-based systems: extensions, even those that may be considered “safe,” may fail to uphold the language properties on which these systems rely.
CO Tiffany, Artem Agvanian, Zian Song et al.
· Proceedings of the 14th Work... · 0 citations