Home
Archive
Projects
About Me
2021
Selected Coursework
3LA - Flexible Matching
From DSLs to Accelerator-rich Platform: Addressing the Mapping Gap will be at LATTE 2021 (ASPLOS)
Dynamic Tensor Rematerialization will be at ICLR 2021
2020
TJCTF 2020 - Comprehensive 2
Proof of Commutativity of $(*)$ over $\mathbb{N}$
Proof of Parity on $\mathbb{N}$
Proof of Associativity of $(+)$ over $\mathbb{N}$
From Models to Computation Graphs (Part I)
Music List, 2020
2019
Proof of Commutativity (+) in Haskell
Programs as Proofs II
Programs as Proofs I
Final Report of Culture III and History I
Music List
How to Make SPFA TLE
Chtholly Tree
An Interesting Proof
Dynamic Programming - Problem Collection
Think in The Future
2018
Treap: Implementation of TreeSet / TreeMap
Codeforces 961B Lecture Sleep
树状数组区间修改+单点查询
HSCTF #4 WriteUp
修改MySQL存储数据的默认编码
支持Markdown啦~
Blog部署指南
中文测试