2 citations · 2 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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★ 2 cited
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…