Towards Automatic Inference of Task Hierarchies in Complex Systems. - Haohui Mai; Chongnan Gao; Xuezheng Liu; Xi Wang 005; Geoffrey M. Voelker (HotDep, 2008)

SherLog: error diagnosis by connecting clues from run-time logs. - Ding Yuan 004; Haohui Mai; Weiwei Xiong; Lin Tan 001; Yuanyuan Zhou 001; Shankar Pasupathy (ASPLOS, 2010)

Trust and Protection in the Illinois Browser Operating System. - Shuo Tang; Haohui Mai; Samuel T. King (OSDI, 2010)

Debugging the data plane with anteater. - Haohui Mai; Ahmed Khurshid; Rachit Agarwal 001; Matthew Caesar 001; Brighten Godfrey; Samuel Talmadge King (SIGCOMM, 2011)

A Case for Parallelizing Web Pages. - Haohui Mai; Shuo Tang; Samuel T. King; Calin Cascaval; Pablo Montesinos (HotPar, 2012)

Verifying security invariants in ExpressOS. - Haohui Mai; Edgar Pek; Hui Xue 007; Samuel Talmadge King; Parthasarathy Madhusudan (ASPLOS, 2013)

Building abstractions for fast, secure, reliable computer systems - Haohui Mai (2013)

Boxer: Preventing fraud by scanning credit cards. - Zain ul Abi Din; Hari Venugopalan; Jaime Park; Andy Li; Weisu Yin; Haohui Mai; Yong Jae Lee; Steven Liu; Samuel T. King (USENIX Security Symposium, 2020)

SIRIUS: Harvesting Whole-Program Optimization Opportunities for DNNs. - Yijin Li; Jiacheng Zhao; Qianqi Sun; Haohui Mai; Lei Chen; Wanlu Cao; Yanfan Chen; Zhicheng Li; Ying Liu 055; Xinyuan Zhang; Xiyu Shi; Jie Zhao 002; et al. (MLSys, 2023)

Honeycomb: Secure and Efficient GPU Executions via Static Validation. - Haohui Mai; Jiacheng Zhao; Hongren Zheng; Yiyang Zhao; Zibin Liu; Mingyu Gao 001; Cong Wang; Huimin Cui; Xiaobing Feng 002; Christos Kozyrakis (OSDI, 2023)

Training Language Models to Generate Quality Code with Program Analysis Feedback. - Feng Yao; Zilong Wang 002; Liyuan Liu; Junxia Cui; Li Zhong; Xiaohan Fu; Haohui Mai; Vish Krishnan; Jianfeng Gao 001; Jingbo Shang (CoRR, 2025)

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM. - Lesheng Jin; Zhenyuan Ruan; Haohui Mai; Jingbo Shang (CoRR, 2025)