Mike (Deyuan) He


I am a second-year Ph.D. student at the Department of Computer Science, Princeton University.

Before joining Princeton, I did my undergraduate at Paul G. Allen School of Computer Science & Engineering. I was privileged to be advised by and work with Prof. Zachary Tatlock, Dr. Steven Lyubomirsky and all other members in the PLSE and SAMPL group.

I am interested in all aspects of Programming Languages (PL), and I specifically focus on improving programming tools (e.g. compilers) leveraging PL techniques such as term rewriting and formal verification.

My name is pronunced as /xɤˊ/ /tɤˊ/ /ɥœnˊ/. I would also like to be called as Mike.

Resume | Github | Twitter | LinkedIn

Research Interests

Programming Languages, Formal Methods, Compilers


mikehe [at] princeton.edu


CS Building 244 & Friend Center for Engineering Education

  • May 2023: I will be presenting our work on improving extraction for e-graphs at PLDI EGRAPHS workshop
  • Publications / Pre-prints
    Improving Term Extraction with Acyclic Constraints
    Mike He, Haichen Dong, Sharad Malik, Aarti Gupta
    PLDI EGRAPHS 2023 Workshop

    Application-Level Validation of Accelerator Designs Using 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)
    ASPLOS LATTE 2021 Workshop
    Talks & Presentations
    Professional Service
    • I love classical music and enjoy playing the violin. I've been playing the violin for 0x13 years. I passed the Level 9 test certified by the Central Conservatory of Music when I was in middle school. Some recordings are available @ Bilibili

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

    See More At...

    Flag Counter