ASAP: a low-latency transport layer. - Wenxuan Zhou 003; Qingxi Li; Matthew Caesar 001; Brighten Godfrey (CoNEXT, 2011)

VeriFlow: verifying network-wide invariants in real time. - Ahmed Khurshid; Wenxuan Zhou 003; Matthew Caesar 001; Brighten Godfrey (HotSDN@SIGCOMM, 2012)

VeriFlow: Verifying Network-Wide Invariants in Real Time. - Ahmed Khurshid; Xuan Zou; Wenxuan Zhou 003; Matthew Caesar 001; Philip Brighten Godfrey (NSDI, 2013)

Enforcing Customizable Consistency Properties in Software-Defined Networks. - Wenxuan Zhou 003; Dong (Kevin) Jin; Jason Croft; Matthew Caesar 001; Philip Brighten Godfrey (NSDI, 2015)

NEAt: Network Error Auto-Correct. - Wenxuan Zhou 003; Jason Croft; Bingzhe Liu; Matthew Caesar 001 (SOSR, 2017)

SWEET: Serving the Web by Exploiting Email Tunnels. - Amir Houmansadr; Wenxuan Zhou 003; Matthew Caesar 001; Nikita Borisov (IEEE/ACM Trans. Netw., 2017)

Guided synthesis of network behavior - Wenxuan Zhou 003 (2017)

Automatically Correcting Networks with NEAt. - Wenxuan Zhou 003; Jason Croft; Bingzhe Liu; Elaine Ang; Matthew Caesar 001 (NSDI, 2018)

Murphy: Performance Diagnosis of Distributed Cloud Applications. - Vipul Harsh; Wenxuan Zhou 003; Sachin Ashok; Radhika Niranjan Mysore; Brighten Godfrey; Sujata Banerjee (SIGCOMM, 2023)

Scaling Data Plane Verification with Intent-based Slicing. - Kuan-Yen Chou; Santhosh Prabhu; Giri Subramanian; Wenxuan Zhou 003; Aanand Nayyar; Brighten Godfrey; Matthew Caesar 001 (CoRR, 2024)