Yuanzhi Liang, Lei Wang, Siran Li, Bo Jiang. Rustpi: A Rust-powered Reliable Micro-kernel Operating System. In IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021. pages 272-273, IEEE, 2021. [doi]
Abstract is missing.