3 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.SE2024
WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
Mohammad Robati Shirzad, Patrick Lam
WebAssembly, or Wasm, is a low-level binary language that enables execution of near-native-performance code in web browsers. Wasm has proven to be useful in applications including…
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…