Haohui Mai

Haohui is a computer programmer who is interested in operating systems and programming languages. He got his Ph.D. from University of Illinois, at Urbana-Champaign in 2013, under the guidances of Professor Sam King.

He joined Hortonworks in September, 2013.

Publications

Verifying Security Invariants in ExpressOS slides code
Haohui Mai, Edgar Pek, Hui Xue, Samuel T. King, and P. Madhusudan.
In ASPLOS'13.
A Case for Parallelizing Web Pages slides
Haohui Mai, Shuo Tang, Samuel T. King, Calin Cascaval, and Pablo Montesinos.
In HotPar'12.
Debugging the Data Plane with Anteater slides code
Haohui Mai, Ahmed Khurshid, Rachit Agarwal,
Matthew Caesar, P. Brighten Godfrey, and Samuel T. King.
In SIGCOMM'11.
Trust and Protection in the Illinois Browser Operating System
Shuo Tang, Haohui Mai, and Samuel T. King.
In OSDI'10.
SherLog: Error Diagnosis by Connecting Clues from Run-time Logs
Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, and Shankar Pasupathy.
In ASPLOS'10.
Towards Automatic Inference of Task Hierarchies in Complex Systems slides
Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, and Geoffrey M. Voelker.
In HotDep'08.

Contact information

E-mail: <firstname>.<lastname>@gmail.com
Github: haohui