Haohui Mai
Title
Cited by
Cited by
Year
Debugging the data plane with anteater
H Mai, A Khurshid, R Agarwal, M Caesar, PB Godfrey, ST King
ACM SIGCOMM Computer Communication Review 41 (4), 290-301, 2011
5232011
SherLog: error diagnosis by connecting clues from run-time logs
D Yuan, H Mai, W Xiong, L Tan, Y Zhou, S Pasupathy
Proceedings of the fifteenth International Conference on Architectural …, 2010
2832010
Trust and Protection in the Illinois Browser Operating System.
S Tang, H Mai, ST King
OSDI 10, 1-8, 2010
1062010
Verifying security invariants in ExpressOS
H Mai, E Pek, H Xue, ST King, P Madhusudan
Proceedings of the eighteenth international conference on Architectural …, 2013
552013
A case for parallelizing web pages
H Mai, S Tang, ST King, C Cascaval, P Montesinos
Presented as part of the 4th {USENIX} Workshop on Hot Topics in Parallelism, 2012
402012
Towards Automatic Inference of Task Hierarchies in Complex Systems.
H Mai, C Gao, X Liu, X Wang, GM Voelker
HotDep, 2008
42008
Boxer: Preventing fraud by scanning credit cards
Z Abi Din, H Venugopalan, J Park, A Li, W Yin, H Mai, YJ Lee, S Liu, ...
29th {USENIX} Security Symposium ({USENIX} Security 20), 1571-1588, 2020
2020
Building abstractions for fast, secure, reliable computer systems
H Mai
University of Illinois at Urbana-Champaign, 2013
2013
Trust and Protection in the Illinois Browser OS
S Tang, H Mai, ST King
2010
The system can't perform the operation now. Try again later.
Articles 1–9