Haohui Mai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EMNLP | VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM. | Lesheng Jin, Zhenyuan Ruan, Haohui Mai, Jingbo Shang |
| 2023 | OSDI | Honeycomb: Secure and Efficient GPU Executions via Static Validation. | Haohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu, Mingyu Gao, Cong Wang, Huimin Cui, Xiaobing Feng, Christos Kozyrakis |
| 2013 | ASPLOS | Verifying security invariants in ExpressOS. | Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan |
| 2011 | SIGCOMM | Debugging the data plane with anteater. | Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Samuel Talmadge King |
| 2010 | ASPLOS | SherLog: error diagnosis by connecting clues from run-time logs. | Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy |
| 2010 | OSDI | Trust and Protection in the Illinois Browser Operating System. | Shuo Tang, Haohui Mai, Samuel T. King |