Home Archive Projects About Me
From DSLs to Accelerator-rich Platform: Addressing the Mapping Gap will be at LATTE 2021 (ASPLOS)
created at 2021-3-28 by AD1024

3LA workshop paper

Deep Learning
Dynamic Tensor Rematerialization will be at ICLR 2021
created at 2021-1-14 by AD1024

Our paper Dynamic Tensor Rematerialization (Kirisame et al.) is accepted to ICLR 2021. Cheers!

Research
TJCTF 2020 - Comprehensive 2
created at 2020-5-28 by AD1024

One fun problem I solved in TJCTF 2020

SMT
Reverse Engineering
Proof of Commutativity of $(*)$ over $\mathbb{N}$
created at 2020-4-22 by AD1024

Codewars Kata (1kyu)

Haskell
Proof of Parity on $\mathbb{N}$
created at 2020-4-22 by AD1024

Codewars Kata (2kyu)

Haskell
Proof of Associativity of $(+)$ over $\mathbb{N}$
created at 2020-4-22 by AD1024

Codewars Kata

Haskell
From Models to Computation Graphs (Part I)
created at 2020-1-25 by AD1024

Note on Converting a PyTorch model to a computation graph. The second part will be about compiling the model back to a python source file.

PyTorch
Machine Learning
Music List, 2020
created at 2020-1-21 by AD1024

From Concerts, Self-entertaining. HONOR 398 (Music)

Music
Proof of Commutativity (+) in Haskell
created at 2019-9-26 by AD1024

Using GADTs and dummy dependent-type in Haskell

Haskell
Theorem Proving
Programs as Proofs II
created at 2019-9-19 by AD1024

Programs as Proofs continued

Agda
Programming Languages