Leveraging Rust for Lightweight OS Correctness

Open Webpage

Ramla Ijaz, Kevin Boos, Lin Zhong

Published: 01 Jan 2023, Last Modified: 21 May 2025KISV@SOSP 2023EveryoneRevisionsBibTeXCC BY-SA 4.0