Digging for Data Structures. - Anthony Cozzie; Frank Stratton; Hui Xue 007; Samuel T. King (OSDI, 2008)

Using replicated execution for a more secure and reliable web browser. - Hui Xue 007; Nathan Dautenhahn; Samuel T. King (NDSS, 2012)

Verifying security invariants in ExpressOS. - Haohui Mai; Edgar Pek; Hui Xue 007; Samuel Talmadge King; Parthasarathy Madhusudan (ASPLOS, 2013)

Using redundancy to improve security and testing - Hui Xue 007 (2013)