Leveraging Rust for Lightweight OS Correctness.

Ramla Ijaz Kevin Boos Lin Zhong

Published in: KISV@SOSP (2023)

Keyphrases

lightweight
operating system
open source
database manager
virtual machine
communication infrastructure
rfid tags