C0 Compiler
December 2021 Compiler Development | OCaml
- Designed and implemented a C0 compiler from scratch in OCaml, which includes a number of optimizations to ensure that the generated assembly code is comparable to GCC -O1 performance, including Register Allocation, Single Static Assignment, Constant / Copy Propagation, Dead Code Elimination, Dataflow Analysis, and more
x86-32 Kernel
April 2021 Operating System | C | x86-64 Assembly
- Designed and implemented an x86-32 kernel from scratch in C, which supports context switching, interrupt handling, task and thread management, scheduling, virtual memory, synchronization primitives, and device drivers
Song List over Time - A System Synchronized with Raft
Dec 2018 Full-Stack Development | Golang
- Built a distributed backend system from scratch and a frontend system in Golang with Iris web framework
- Implemented the reliable replica synchronization strategy - Raft consensus algorithm
- Handled concurrent requests reliably which is tested by Vegeta stress testing framework