We stand with Ukraine  

Wenxuan Zhou

Orcid: 0009-0000-5110-2945

Affiliations:
  • University of Illinois Urbana-Champaign (UIUC), Broadcom, IL, USA (PhD 2017)


According to our database1, Wenxuan Zhou authored at least 10 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Scaling Data Plane Verification with Intent-based Slicing.
[BibTeX]
[DOI]
Kuan-Yen Chou
,
Santhosh Prabhu
,
Giri Subramanian
,
Wenxuan Zhou
,
Aanand Nayyar
,
Brighten Godfrey
,
Matthew Caesar
CoRR, 2024

2023
Murphy: Performance Diagnosis of Distributed Cloud Applications.
[BibTeX]
[DOI]
Vipul Harsh
,
Wenxuan Zhou
,
Sachin Ashok
,
Radhika Niranjan Mysore
,
Brighten Godfrey
,
Sujata Banerjee
Proceedings of the ACM SIGCOMM 2023 Conference, 2023

2018
Automatically Correcting Networks with NEAt.
[BibTeX]
[DOI]
Wenxuan Zhou
,
Jason Croft
,
Bingzhe Liu
,
Elaine Ang
,
Matthew Caesar
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

2017
Guided synthesis of network behavior
[BibTeX]
[DOI]
Wenxuan Zhou
PhD thesis, 2017

SWEET: Serving the Web by Exploiting Email Tunnels.
[BibTeX]
[DOI]
Amir Houmansadr
,
Wenxuan Zhou
,
Matthew Caesar
,
Nikita Borisov
IEEE/ACM Trans. Netw., 2017

NEAt: Network Error Auto-Correct.
[BibTeX]
[DOI]
Wenxuan Zhou
,
Jason Croft
,
Bingzhe Liu
,
Matthew Caesar
Proceedings of the Symposium on SDN Research, 2017

2015
Enforcing Customizable Consistency Properties in Software-Defined Networks.
[BibTeX]
[DOI]
Wenxuan Zhou
,
Dong (Kevin) Jin
,
Jason Croft
,
Matthew Caesar
,
Philip Brighten Godfrey
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2013
VeriFlow: Verifying Network-Wide Invariants in Real Time.
[BibTeX]
[DOI]
Ahmed Khurshid
,
Xuan Zou
,
Wenxuan Zhou
,
Matthew Caesar
,
Philip Brighten Godfrey
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

2012
VeriFlow: verifying network-wide invariants in real time.
[BibTeX]
[DOI]
Ahmed Khurshid
,
Wenxuan Zhou
,
Matthew Caesar
,
Brighten Godfrey
Proceedings of the first workshop on Hot topics in software defined networks, 2012

2011
ASAP: a low-latency transport layer.
[BibTeX]
[DOI]
Wenxuan Zhou
,
Qingxi Li
,
Matthew Caesar
,
Brighten Godfrey
Proceedings of the 2011 Conference on Emerging Networking Experiments and Technologies, 2011


  Loading...