Wenxuan Zhou

13 papers A* 2A 1Misc 3Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Scaling Data Plane Verification with Intent-based Slicing.
CoRR
Kuan-Yen Chou, Santhosh Prabhu, Giri Subramanian, Wenxuan Zhou, Aanand Nayyar, Brighten Godfrey, Matthew Caesar
2023 A* conf
Murphy: Performance Diagnosis of Distributed Cloud Applications.
SIGCOMM
Vipul Harsh, Wenxuan Zhou, Sachin Ashok, Radhika Niranjan Mysore, Brighten Godfrey, Sujata Banerjee
2018 Misc conf
Automatically Correcting Networks with NEAt.
NSDI
Wenxuan Zhou, Jason Croft, Bingzhe Liu, Elaine Ang, Matthew Caesar
2017 — —
Guided synthesis of network behavior
Wenxuan Zhou
2017 — conf
NEAt: Network Error Auto-Correct.
SOSR
Wenxuan Zhou, Jason Croft, Bingzhe Liu, Matthew Caesar
2017 J jnl
SWEET: Serving the Web by Exploiting Email Tunnels.
IEEE/ACM Trans. Netw.
Amir Houmansadr, Wenxuan Zhou, Matthew Caesar, Nikita Borisov
2015 Misc conf
Enforcing Customizable Consistency Properties in Software-Defined Networks.
NSDI
Wenxuan Zhou, Dong (Kevin) Jin, Jason Croft, Matthew Caesar, Philip Brighten Godfrey
2013 Misc conf
VeriFlow: Verifying Network-Wide Invariants in Real Time.
NSDI
Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, Philip Brighten Godfrey
2012 J jnl
SWEET: Serving the Web by Exploiting Email Tunnels
CoRR
Amir Houmansadr, Wenxuan Zhou, Matthew Caesar, Nikita Borisov
2012 — conf
VeriFlow: verifying network-wide invariants in real time.
HotSDN@SIGCOMM
Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, Brighten Godfrey
2012 J jnl
Veriflow: verifying network-wide invariants in real time.
Comput. Commun. Rev.
Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, Brighten Godfrey
2011 A conf
ASAP: a low-latency transport layer.
CoNEXT
Wenxuan Zhou, Qingxi Li, Matthew Caesar, Brighten Godfrey
2011 A* conf
ASAP: a low-latency transport layer.
SIGCOMM
Qingxi Li, Wenxuan Zhou, Matthew Caesar, Brighten Godfrey