Haohui Mai

According to our database, Haohui Mai authored at least 9 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

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

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2020

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

Proceedings of the 29th USENIX Security Symposium, 2020

2013

Building abstractions for fast, secure, reliable computer systems

Haohui Mai

PhD thesis, 2013

Verifying security invariants in ExpressOS.

Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

A Case for Parallelizing Web Pages.

Haohui Mai, Shuo Tang, Samuel T. King, Calin Cascaval, Pablo Montesinos

Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

2011

Debugging the data plane with anteater.

Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Samuel Talmadge King

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

2010

Trust and Protection in the Illinois Browser Operating System.

Shuo Tang, Haohui Mai, Samuel T. King

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

SherLog: error diagnosis by connecting clues from run-time logs.

Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2008

Towards Automatic Inference of Task Hierarchies in Complex Systems.

Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, Geoffrey M. Voelker

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008