Mike He @ University of Washington


I am a graduating senior 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.
Currently, I am a Research Intern at the Intel Strategic CAD Lab working on formal verification for domain-specific accelerators.

I am adviced by Prof. Zachary Tatlock and Dr. Steven Lyubomirsky.

Resume | 简历 | Github

Research Interests

Programming Languages, Formal Methods, Deep Learning Compilers


deyuan.he [at] intel.com

  • Apr 2022: I am starting my Ph.D. at Princeton University in fall 2022!
  • Jan 2022: I am joining Taichi Graphics in June as a Compiler R&D
  • Dec 2021: I received an honorable mention from CRA Outstanding Undergraduate Researcher Award
  • Publications and Pre-prints
    Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface
    Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Thierry Tambe, Gus Henry Smith, Akash Gaonkar, Vishal Canumalla, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik

    Dynamic Tensor Rematerialization
    Marisa Kirisame*, Steven Lyubomirsky*, Altan Haan*, Jennifer Brennan, Mike He, Jared Roesch, Tianqi Chen, Zachary Tatlock.
    (*: Equal contribution)
    Spotlight Paper at ICLR 2021

    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
    Talks & Presentations
    Conference & Academic Service
    • MICRO’21 Artifact Evaluation (Artifact Evaluation)
    • 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 @ Bilibili

    • I was a part-time translator / proofreading editor in Gawr Gura’s fansub team. Gura is a Virtual Youtuber affiliated with Hololive EN.

    • Blog posts on my personal website.

    • I am keeping a list of courses I took here.

    • Hit counter:

    See More At...