Working on the TVM Unity compiler. Developed an algorithm of automatic differentiation (AD) and a training workflow in Relax IR.

A Compiler from a C++ & Java like to RV32I Assembly, with many optimizations on LLVM IR, e.g. ADCE, CSE, SCCP, LICP. Its performance is close to GCC O2 on testcases. Received a perfect score in two different compilation courses.
Also check out the sub-project for JIT (Just-in-time) complication. It's a virtual machine for LLVM (quite simple): [DarkSwordVM].

A RISC-V CPU implemented in Verilog HDL. It uses Tomasulo algorithm for dynamic scheduling and supports at most 120MHz clock rate to pass all testcases. It runs on Basys3 FPGA Board (XC7A35T-ICPG236C). I modified the traditional framework of this course project so that it can operate two RAMs, which makes it possible to separate RAM into IRAM and DRAM.
And there are two simulators written in C++ for debugging and understanding the algorithms: [Simulator-Pipeline], [Simulator-Tomasulo]

A File System Escape game. The file system is implemented by Linux FUSE. Use `cd` to move, find `exit` in this randomly generated file system. Welcome to try breaking the SPEEDRUN record if you are a proficient shell user!

Alice is an [A]utomatic [Li]near Temporal Logic [C]hecking Syst[e]m implemented in C++. It implements serveral model checking algorithms described in class. And it can check the correctness of given LTL formulas.

DHTengu is "DHT (Distributed Hash Table)" + "Tengu (a supernatural spirit)". It implements two DHT protocols (Chord and Kademlia) in Go-lang. Then I developed a App based on it, which enables P2P file sharing and music playing.

A system for train ticket selling. It's the first collaborating projects in my B.S, which includes two part: Frontend (Web) and Backend (Database). For backend, the data query is implemented by the B+ Tree data structure; For frontend, we use Flask framework to develop a nice Web application for users.

A toy Python 3 Interprter written in C++. The frontend parser is powered by Antlr framework. It doesn't support all syntax of Python programming language。

Online Judge for students in SJTU. Previous maintainer.

A toy JVM (Java Virtual Machine) written in C++. Now it doesn't contain JIT complication so its execution engine is just a Java bytecode interpreter