I'm a system developer and Rustacean.

Operating Systems:

• rCore: A Linux-compatible OS kernel for teaching. (2018-2019)
• zCore: A reimplementation of Zircon microkernel in Rust. (2020)
• Occlum: A multi-process library OS for Intel SGX. (2019)

Storage Systems:

• MadFS: A benchmark-oriented distributed file system once ranked #1 on the IO500 list. (2020)
• MadFSv2: A more "serious" distributed file system but rarely works. (2021-2022)

Distributed Systems:

• Madsim: A FoundationDB-style deterministic simulation framework in Rust. (2021-2022)

Database and Streaming Systems:

• RisingLight: An educational OLAP database system. (2021-2023)
• RisingWave: A distributed SQL streaming database in the cloud. (2022-2024)