Mike He

@inproceedings{he2026specy,
    author = "He, Mike and Desai, Ankush and Jagarapu, Aishwarya and Terry, Doug and Malik, Sharad and Gupta, Aarti",
    title = "Specy: Learning Specifications for Distributed Systems from Event Traces",
    booktitle = "Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)",
    year = "2026",
    url = "https://2026.splashcon.org/details/oopsla-2026/10/Specy-Learning-Specifications-for-Distributed-Systems-from-Event-Traces"
}

@inproceedings{he2026soteria,
    author = "He, Mike and Desai, Ankush and Malik, Sharad and Gupta, Aarti",
    title = "Soteria: Formally Verified Planning with Runtime Enforcement for Safe LLM Agents",
    booktitle = "Neural Information Processing Systems (NeurIPS), To Appear",
    year = "2026",
    url = ""
}

@inproceedings{gaonkar2026bolt,
    author = "Gaonkar, Akash and He, Mike and Li, Yi and Huang, Bo-Yuan and Cheung, Andrew and Canumalla, Vishal and Smith, Gus and Tatlock, Zachary and Fedyukovich, Grigory and Malik, Sharad and Gupta, Aarti",
    title = "Verification of Compiler-to-Accelerator Mappings for Machine Learning Accelerators",
    booktitle = "ArXiV",
    year = "2026",
    url = "https://arxiv.org/abs/2609.30651v1"
}

@misc{li2026goedelcodeproverhierarchicalproofsearch,
    author = "Li*, Zenan and Yang*, Ziran and He, Deyuan and Zhao, Haoyu and Zhao, Andrew and Tang, Shange and Yang, Kaiyu and Gupta, Aarti and Su, Zhendong and Jin, Chi",
    title = "Göedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification",
    year = "2026",
    eprint = "2603.19329",
    archivePrefix = "arXiv",
    primaryClass = "cs.SE",
    booktitle = "Conference on Language Modeling (COLM)",
    url = "https://arxiv.org/abs/2603.19329"
}

@article{zhao2026algoveri,
    author = "Zhao*, Haoyu and Yang*, Ziran and Li*, Jiawei and He*, Deyuan and Zenan Li* and Jin, Chi and Veeravalli, Venugopal V. and Gupta, Aarti and Arora, Sanjeev",
    title = "AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms",
    booktitle = "International Conference on Machine Learning (ICML)",
    year = "2026",
    url = "https://www.arxiv.org/abs/2602.09464"
}

@misc{min2026tla,
    author = "Min, Marcus and He, Mike and Li, Zhaoyu and Yi, Zixuan and Malik, Sharad and Gupta, Aarti and Si, Xujie and Bastani, Osbert",
    title = "Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases",
    year = "2026",
    booktitle = "International Conference on Machine Learning (ICML), Position Track",
    url = "https://arxiv.org/abs/2607.13292"
}