Chaofan Lin - Projects

Research Projects & Open Source

ParrotServe

Parrot is a multi-tenant serving system for various LLM applications. This project is done during my undergraduate internship in MSRA. As the project leader, I implement the core part and many important algorithms in the system. This system highlights the following techniques around the Semantic Variable abstraction:

Data pipelining and asynchronous communication between requests.
Performance objective deduction and DAG-aware scheduling.
Context-aware scheduling. Sharing prefix with optimized attention kernel.

Apache TVM

TVM is an open deep learning compiler stack for cpu, gpu and specialized accelerators. I do serveral works during my internship in TVM community.

(Relax-Training) Working on the TVM Unity compiler and Relax IR. Relax IR is the new generation graph-level IR of the TVM compiler stack. To train models in this IR, I developed an algorithm of automatic differentiation (AD) which is implemented as an IR transformation/pass. Also, many useful tools (like loss function, Optimizer) are integrated.
(MLC-Lora) Enabling fine-tuning LLMs in edge devices using Machine Learning Complication.

Hobby Projects

ACM Class OnlineJudge

An Online Judge for students in SJTU. Previous maintainer.
ACM Sekai

A forum for ACM Class students. Previous contributor.
CoconutJVM

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
Moment

Chatbots in Multi-Platforms with multiple useful plugins. Supported Platforms: Linux Shell, QQ (Mirai), QQ (CQHTTP).
Frozen!

A survival game implemented in QT framework.
Sudoku-Breaker

Using Dancing-LinkX (DLX) algorithm to solve the Sudoku problem! Simple but beautiful.

Course Projects in my B.S.

Masterball "Compiler Design" Course Project

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].
NightWizard "Computer Architecture" Course Project

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]
fscape "Operating System" Course Project

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 "Model Checking" Course Project

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 "PPCA" Course Project

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

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.
Python3 Interpreter "Programming (A)" Course Project

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。