I am currently a first-year master's student at the University of Chinese Academy of Sciences. Previously, I graduated from Tianjin University with a bachelor's degree. I like system program in Rust. I am currently focusing on machine learning systems and AI compilers. I am working on implementing a Dataflow Analysis and Codegen Framework and an Efficient Kernel Template Library. In the past, I have implemented some system projects using Rust, primarily involving operating systems and hypervisors.
I build operating systems in Rust:
- xv6-rust: A reimplementation of xv6-riscv rust version.
- rCore-fat: rCore-Tutorial-v3 with fat32 file system.
- raspberrypi-embedded/mini-game-os: A small game os run on raspverry pi 4.
I also build hypervisor(VMM) in Rust:
- hypocaust: A S mode trap and emulate type-1 hypervisor run on RISC -V machine.
- hypocaust-2: A hardware-assisted type-1 hypervisor with H extension run on RISC -V machine.
- hypercraft: A VMM library written in Rust.
I also build an Out-of-Order RISC-V Processor Core and difftest framework based on verilator:
- HeliosXCore: A Superscalar Out-of-order RISC-V Processor Core.
- HeliosXSimulator: A verilator-based Soc Simulator for HeliosXCore.
Others: