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{huang233la,
author = {Bo-Yuan Huang* and Steven Lyubomirsky* and Yi Li and Mike He and Thierry Tambe and Gus 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 Trans. Des. Autom. Electron. Syst.},
year = {2023},
}
@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.