@article{pinferlmpl2025, 
	author = {Mike He and Zhendong Ang and Ankush Desai and Aarti Gupta}, 
	title = {Distilling distributed system specifications with Large Language Models}, 
	booktitle = {Pre-print (under review)}, 
	year = {2025}, 
}

@article{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}, 
	year = {2025}, 
}

@article{phan2025humanitysexam, 
	author = {Scale AI and Center for AI Safety}, 
	title = {Humanity's Last Exam}, 
	booktitle = {ArXiv}, 
	year = {2025}, 
}

@article{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}, 
}

@article{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}, 
}

@article{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}, 
}

@article{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}, 
}

@article{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}, 
}