2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SE2026
Kani: A Model Checker for Rust
Rémi Delmas, Zyad Hassan, Qinheping Hu +9
Rust's ownership type system prevents memory errors in safe code, but certain desirable properties remain orthogonal to compilation: the soundness of unsafe operations (e.g., raw p…
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★ 2 cited
Parameterized Hardware Design with Latency-Abstract Interfaces
Rachit Nigam, Ethan Gabizon, Edmund Lam +3
Hardware designs must use latency-insensitive (LI) interfaces when timing is input-dependent. When timing is input-independent, designs should use latency-sensitive (LS) interfaces…