Haohui Mai

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 distributed systems.

Here is a copy of Haohui's resume.

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 SystemSlides
  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.