Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Verifying the Rust Standard Library
Byron Cook, Remi Delmas, Zyad Hassan +9
Rust's type system prevents many classes of memory errors, yet its standard library relies heavily on unsafe code whose correctness is validated through testing, including dynamic…
cs.PL2026
Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
Wannes Tas, Bart Jacobs
The Rust programming language is famous for its strong ownership regime: at each point, each value is either exclusively owned, exclusively borrowed through a mutable reference, or…