Haohui Mai

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 3

Top Topics

Credit Card Fraud Detection

Transaction Data

Optimization Strategies

Top Venues

USENIX Security Symposium

Publications

Haohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu, Mingyu Gao, Cong Wang, Huimin Cui, Xiaobing Feng, Christos Kozyrakis
Honeycomb: Secure and Efficient GPU Executions via Static Validation. OSDI (2023)
Yijin Li, Jiacheng Zhao, Qianqi Sun, Haohui Mai, Lei Chen, Wanlu Cao, Yanfan Chen, Zhicheng Li, Ying Liu, Xinyuan Zhang, Xiyu Shi, Jie Zhao, Jingling Xue, Huimin Cui, Xiaobing Feng
SIRIUS: Harvesting Whole-Program Optimization Opportunities for DNNs. MLSys (2023)
Zain ul Abi Din, Hari Venugopalan, Jaime Park, Andy Li, Weisu Yin, Haohui Mai, Yong Jae Lee, Steven Liu, Samuel T. King
Boxer: Preventing fraud by scanning credit cards. USENIX Security Symposium (2020)
Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan
Verifying security invariants in ExpressOS. ASPLOS (2013)
Haohui Mai, Shuo Tang, Samuel T. King, Calin Cascaval, Pablo Montesinos
A Case for Parallelizing Web Pages. HotPar (2012)
Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Samuel Talmadge King
Debugging the data plane with anteater. SIGCOMM (2011)
Shuo Tang, Haohui Mai, Samuel T. King
Trust and Protection in the Illinois Browser Operating System. OSDI (2010)
Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy
SherLog: error diagnosis by connecting clues from run-time logs. ASPLOS (2010)
Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, Geoffrey M. Voelker
Towards Automatic Inference of Task Hierarchies in Complex Systems. HotDep (2008)