Intro
AD1024 (real name: Mike He) is a Senior 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 currently is looking for a PhD position. 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) -> x @ y) ("dh63", "cs.washington.edu")
Resume
Research
$^*$: Listed publication
- $^*$3LA: A Verified Compilation Flow for Deep Learning Accelerators (Jun. 2020 $\Rightarrow$ Now)
- Flexible Matching: Enhancing flexibility for compilers to exploit potential workload that can be assigned to accelerators
- $^*$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)
Publication
- 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)
- Huang, B.*, Lyubomirsky, S.*, Tambe, T.*, Li, Y., He, M., Smith, G.H., Wei, G., Gupta, A., Malik, S., & Tatlock, Z. (2021). From DSLs to Accelerator-Rich Platform Implementations: Addressing the Mapping Gap.(*: Equal contribution)
Conference Service
- MICRO’21 Program Committee (Artifact Evaluation)
Teaching
- CSE 505: Principle of Programming Languages (Spring 2021), Teaching Assistant (Grading & Lecture / Homework Dev)
Selected Coursework
Note: bold stands for highly recommended courses.
Computer Science (Major)
- CSE 143X: Computer Programming II (Accelerated)
- CSE 332: Data Structure and Parallelism
- CSE 333: System Programming
- CSE 402 (501): Domain-Specific Languages
- CSE 421: Algorithms
- CSE 431: Complexity Theory
- CSE 446: Machine Learning (Planned for WI 22)
- CSE 451: Operating Systems
- CSE 452: Distributed System (Planned for WI 22)
- CSE 457: Computer Graphics
- CSE 473: AI (Artificial Intelligence)
- CSE 490P: Special Topics: Advanced PL (PL + Verification) (by James Wilcox)
- CSE 490L (453): Datacenter System (IP)
- CSE 505: Principle of Programming Languages
- CSE 507: Computer-Aided Reasoning for Software
- CSE 550: System For All (IP)
Math
- MATH 12X: Calculus
- MATH 307: Differential Equation
- MATH 308: Linear Algebra
Philosophy
- PHIL 100: Introduction to Philosophy
- PHIL 470: Intermediate Logic
- PHIL 471: Advanced Logic
VLPA (Visual, Language and Performing Art)
- MUSIC 390/HONORS 398: Special Topics on Music
- JAPAN 101~103: First-Year Japanese
Took in Waseda Summer Session 2019
- History I: Japanese Contemporary History
- Culture III: Japanese Popular Culture and Globalization
- Talk in Japanese II: Japanese Language Course
Diversity
- ANTH/JSIS A/GWSS 328: Gender & Sexuality in China
Fun Fact
I love classical music and enjoy playing the violin. I’ve been playing the violin for 0x11 years and passed the Level 9 test certified by the Central Conservatory of Music.
Some recordings are available here: AD1024 @ Bilibili
I was a part-time translator / proofreading editor in 🦈Gawr Gura🦈’s fansub team. Gura is a contract Virtual Youtuber of Hololive EN.
