Mike (Deyuan) He


I am a second-year Ph.D. student at the Department of Computer Science, Princeton University advised by Prof. Aarti Gupta. Before joining Princeton, I did my undergraduate at Paul G. Allen School of Computer Science & Engineering, advised by Prof. Zachary Tatlock, Dr. Steven Lyubomirsky at the PLSE and SAMPL group. My research interests is on improving programming tools (e.g. compilers) leveraging PL techniques (e.g. equality saturation). I have been working on building better tools for

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

CV | Github | Twitter | LinkedIn

Research Interests

Programming Languages, Formal Methods, Compilers, ML for PL


(λx. λy. λz. [email protected]) princeton mikehe edu


Computer Science Building 217


Jan 2024: I will be serving on the artifact evaluation committee for PLDI 2024
Dec 2023: Relased artifact of CatsTail, a packet program resource synthesizer

Ongoing Projects

Invariant synthesis for distributed systems, in collaboration with Ankush Desai (AWS)
Software/hardware mapping framework, in collaboration with Akash Gaonkar (Princeton)
Packet program synthesis pipeline using equality saturation, in collaboration with Ruijie Fang (UT Austin) and Xiangyu Gao (NYU)

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
(*: Equal contribution)
ACM Transactions on Design Automation of Electronic Systems

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

Professional Service




  • I love classical music and enjoy playing the violin. I've been playing the violin for about 0x14 years. I passed the Level 9 test certified by the Central Conservatory of Music when I was in middle school.
    Here is a sample recording (Meditation from Thais) made in Dec. 2023.
    Some other recordings are available @ Bilibili (the website is in Chinese)

  • I was a part-time translator / proofreading editor in Gawr Gura's Chinese fansub team. Gura is a virtual streamer at YouTube affiliated with Hololive Production (EN).

See More At...

Flag Counter