Mike (Deyuan) He
Bio
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.
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, equality saturation 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
Contact
(λx. λy. λz. [email protected]) princeton mikehe edu
Address
Publications / Pre-prints
Mike He, Haichen Dong, Sharad Malik, Aarti Gupta
PLDI EGRAPHS 2023 Workshop
[Paper]
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)
[Pre-print]
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
[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)
ASPLOS LATTE 2021 Workshop
Talks & Presentations
- Improving Term Extraction with Acyclic Constraints, June 2023 at EGRAPHS Workshop
- Towards automated super-optimization for Taichi using Equality Saturation, Jan 2023 at Taichi Graphics
- Efficient E-Graph Extraction via Linear Programming, COS 521 Project Presentation
- Pyrope: towards correct-by-construction hardware modeling in Python/HeteroCL, June 2022 at Intel Labs
- 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)
Mentoring
- Thomas Dhome-Casanova '23, Princeton → Microsoft
Teaching
- COS 516: Automated Reasoning about Software, Teaching Assistant (Fall 23)
- CSE 505: Principle of Programming Languages, Teaching Assistant (Spring 21)
Award
- CRA Outstanding Undergraduate Researcher Award 2022, Honorable Mention
Trivia
-
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 streamer at YouTube affiliated with Hololive Production (EN).