Rust Project's Related Work Published Title Tech Report Leveraging Rust Types for Modular Specification and Verification DAC 2018 Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware OSDI 2018 The benefits and costs of writing a POSIX kernel in a high-level language PLDI 2019 A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture ASE 2015 CRust: A Bounded Verifier for Rust TASE 2018 KRust: A Formal Executable Semantics of Rust