I am a 3rd-year Ph.D. at the Department of Computer Science, Princeton University advised by Prof. Aarti Gupta. I also obtained a M.A. in Computer Science from Princeton University. Before joining Princeton, I received my B.S. in Computer Science from the University of Washington. I was fortunate to work with Prof. Zachary Tatlock on formal methods, machine learning systems and equality saturation. My research focuses on building accessible tools for enabling practical formal methods on real-world systems. Specifically, I am working on verification infrastructures for distributed systems.
CV Mail Twitter Scholar Github LinkedIn
(*: Equal contribution)
@InProceedings{pinferosdi25,
author = {Mike He and Ankush Desai and Aishwarya Jagarapu and Doug Terry and Sharad Malik and Aarti Gupta},
title = {PInfer: Automatically Learning Specifications for Distributed Systems from Event Traces},
booktitle = {Pre-print (under review)},
year = {2025},
}
@InProceedings{phan2025humanitysexam,
author = {Scale AI and Center for AI Safety},
title = {Humanity's Last Exam},
booktitle = {ArXiv},
year = {2025},
}
@InProceedings{asplos25,
author = {Akash Gaonkar and Mike He and Yi Li and Bo-Yuan Huang and Andrew Cheung and Vishal Canumalla and Gus Smith and Zachary Tatlock and Sharad Malik and Aarti Gupta},
title = {Verification of Software-to-Hardware Mappings for Machine Learning Accelerators},
booktitle = {Pre-print (under review)},
year = {2024},
}
@InProceedings{huang233la,
author = {Bo-Yuan Huang* and Steven Lyubomirsky* and Yi Li and Mike He and Thierry Tambe and Gus Henry Smith and Akash Gaonkar and Vishal Canumalla and Gu-Yeon Wei and Aarti Gupta and Sharad Malik and Zachary Tatlock},
title = {Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface},
booktitle = {ACM Transactions on Design Automation of Electronic Systems},
year = {2024},
}
@InProceedings{he23extraction,
author = {Mike He and Haichen Dong and Sharad Malik and Aarti Gupta},
title = {Improving Term Extraction with Acyclic Constraints},
booktitle = {E-Graph Research, Applications, Practices, and Human-factors Symposium (EGRAPHS'23)},
year = {2023},
}
@InProceedings{huang21latte,
author = {Bo-Yuan Huang* and Steven Lyubomirsky* and Thierry Tambe* and Yi Li and Mike He and Gus Smith and Gu-Yeon Wei and Aarti Gupta and Sharad Malik and Zachary Tatlock},
title = {From DSLs to Accelerator-rich Platform Implementations: Addressing the Mapping Gap},
booktitle = {Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE'21)},
year = {2021},
}
@InProceedings{kirisame2021dynamic,
author = {Marisa Kirisame* and Steven Lyubomirsky* and Altan Haan* and Jennifer Brennan and Mike He and Jared Roesch and Tianqi Chen and Zachary Tatlock},
title = {Dynamic Tensor Rematerialization},
booktitle = {International Conference on Learning Representations (ICLR'21)},
year = {2021},
}
This website is adapted from a template generously provided by Michael Niemeyer.