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

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

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

Treap: Implementation of TreeSet / TreeMap Codeforces 961B Lecture Sleep 树状数组区间修改+单点查询 HSCTF #4 WriteUp 修改MySQL存储数据的默认编码 支持Markdown啦~ Blog部署指南 中文测试