2 papers
cs.PL2025
Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
Alex Le Blanc, Patrick Lam
Although Rust primarily intends to be a safe programming language that excludes undefined behaviour, it provides its users with the escape hatch of unsafe Rust, allowing them to ci…
cs.PL2024
Surveying the Rust Verification Landscape
Alex Le Blanc, Patrick Lam
Rust aims to be a safe programming language applicable to systems programming applications. In particular, its type system has strong guardrails to prevent a variety of issues, suc…