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)