Mike He @ University of Washington
I am a senior undergraduate student at Paul G. Allen School of Computer Science & Engineering. I am interested in all aspects of Programming Languages (PL), and I specifically focus on optimizing Deep Learning compilers leveraging PL techniques. I am actively looking for a Ph.D. position starting in Fall 2022. Please feel free to contact me.
I am adviced by Prof. Zachary Tatlock and Steven Lyubomirsky.
Research InterestsProgramming Languages, Formal Methods, Deep Learning Compilers
Contactdh63 [at] cs.washington.edu
News
Marisa Kirisame*, Steven Lyubomirsky*, Altan Haan*, Jennifer Brennan, Mike He, Jared Roesch, Tianqi Chen, Zachary Tatlock.
(*: Equal contribution)
Spotlight Paper at ICLR 2021
[ArXiv]
From DSLs to Accelerator-Rich Platform Implementations: Addressing the Mapping Gap
Bo-Yuan Huang*, Steven Lyubomirsky*, Thierry Tambe*, Yi Li, Mike He, Gus Henry Smith, Gu-Yeon Wei, Aarti Gupta, Sharad Malik, Zachary Tatlock.
(*: Equal contribution)
Accepted at LATTE 2021 Workshop
- Correct & Flexible Compiler Support for Custom Accelerators, September 2021 at SRC ADA Center
- From DSLs to Accelerator-rich Platform Implementations: Addressing the mapping gap. September 2021 at Intel (jointly presented with Steven S. Lyubomirsky)
- MICRO’21 Program Committee (Artifact Evaluation)
- CSE 505: Principle of Programming Languages (Spring 2021), Teaching Assistant (Grading & Lecture / Homework Dev)
- CRA Outstanding Undergraduate Researcher Award 2022, Honorable Mention
-
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 Virtual Youtuber affiliated with Hololive EN.
-
I am keeping a list of courses I took here.
-
Hit counter: