Haohui is a fifth-year Ph.D. student in University of Illinois, at Urbana-Champaign. He is currently working
with Prof. Sam King. He plans to graduate in August, 2013.
Haohui is interested in computer systems
in general: operating systems, programming languages, compilers and
Here is a copy of Haohui's resume.
Verifying Security Invariants in ExpressOS
, Edgar Pek, Hui Xue, Samuel T. King, and P. Madhusudan.
- A Case for
, Shuo Tang, Samuel T. King,
Calin Cascaval, and Pablo Montesinos.
- Debugging the Data Plane with
, Ahmed Khurshid, Rachit
Matthew Caesar, P. Brighten Godfrey, and Samuel T. King.
and Protection in the Illinois Browser Operating SystemSlides
Shuo Tang, Haohui Mai
, and Samuel T.
- SherLog: Error Diagnosis by Connecting Clues
from Run-time Logs
Ding Yuan, Haohui Mai
, Weiwei Xiong,
Lin Tan, Yuanyuan Zhou and Shankar Pasupathy.
Automatic Inference of Task Hierarchies in Complex
, Chongnan Gao, Xuezheng Liu,
Xi Wang, and Geoffrey M. Voelker.