AD1024 (real name: Mike He) is a Junior student at Paul G. Allen School of Computer Science & Engineering. His research interests include Program Synthesis, Programming Language Theory (specifically Type Theory related), Formal Verification and Compiler Designs. He is a member of SAMPL and PLSE Research Group. He loves classical music, anime and Japanese popculture.
He is adviced by Zachary Tatlock and co-adviced by Steven Lyubomirsky.
Github/CodeWars: AD1024
-- Email
(λx. λy. λz. [email protected]) cs washington.edu dh63
English: Mike He’s Resume
Chinese: WIP
$^*$: Listed publication
3LA / Marlowe: A Verified Compilation Flow for Deep Learning Accelerators (Jun. 2020 $\Rightarrow$ Now)
$^*$Dynamic Tensor Rematerialization: A Heuristic-based Gradient Checkpointing Algorithm that supports automatic checkpointing on arbitrary Deep Learning Models (Nov. 2019 $\Rightarrow$ Now)
Relay: A High-Level Intermediate Representation for Deep Learning (Oct. 2019 $\Rightarrow$ 2020)
UW Solar Data: Data Monitoring Dashboard for Solar Panels (Jan. 2019 $\Rightarrow$ Jun. 2019)
Kirisame, M.*, Lyubomirsky, S.*, Haan, A.*, Brennan, J., He, M., Roesch, J., Chen, T., Tatlock, Z. (2020, June 18). Dynamic Tensor Rematerialization. ICLR 2021. September 19, 2020. https://arxiv.org/abs/2006.09616 (*: Equal contribution)
Note: bold names stands for highly recommended courses.
I love classical music and enjoy playing the violin. I’ve been playing the violin for 0x11 years.
Some recordings are available here: AD1024 @ Bilibili
I’m volunteering to work as a part-time translator / proofreading editor in 🦈Gawr Gura🦈’s fansub team. Gura is a contract Virtual Youtuber of Hololive EN.