| Veriflow: Verifying network-wide invariants in real time A Khurshid, W Zhou, M Caesar, PB Godfrey Proceedings of the first workshop on Hot topics in software defined networks …, 2012 | 1289 | 2012 |
| Towards efficient traffic-analysis resistant anonymity networks S Le Blond, D Choffnes, W Zhou, P Druschel, H Ballani, P Francis ACM SIGCOMM Computer Communication Review 43 (4), 303-314, 2013 | 112 | 2013 |
| Enforcing customizable consistency properties in {Software-Defined} networks W Zhou, D Jin, J Croft, M Caesar, PB Godfrey 12th usenix symposium on networked systems design and implementation (nsdi …, 2015 | 109 | 2015 |
| ASAP: A low-latency transport layer W Zhou, Q Li, M Caesar, PB Godfrey Proceedings of the Seventh COnference on emerging Networking EXperiments and …, 2011 | 51 | 2011 |
| Sweet: Serving the web by exploiting email tunnels W Zhou, A Houmansadr, M Caesar, N Borisov arXiv preprint arXiv:1211.3191 13, 2012 | 37 | 2012 |
| Sweet: Serving the web by exploiting email tunnels NB Wenxuan Zhou, Amir Houmansadr, Matthew Caesar PETS, 2013 | 33* | 2013 |
| Murphy: Performance diagnosis of distributed cloud applications V Harsh, W Zhou, S Ashok, RN Mysore, B Godfrey, S Banerjee Proceedings of the ACM SIGCOMM 2023 Conference, 438-451, 2023 | 11 | 2023 |
| Systems for and methods of modelling, analysis and management of data networks A Khurshid, M Caesar, M Dong, PB Godfrey, SPM Prabhu, W Zhou US Patent App. 17/542,119, 2022 | 10 | 2022 |
| Neat: Network error auto-correct W Zhou, J Croft, B Liu, M Caesar Proceedings of the Symposium on SDN Research, 157-163, 2017 | 10 | 2017 |
| Automated processes and systems for troubleshooting a network of an application RA Chawathe, AK Gupta, GS Sinha, W Zhou US Patent 11,627,034, 2023 | 9 | 2023 |
| Automatically Correcting Networks with {NEAt} W Zhou, J Croft, B Liu, E Ang, M Caesar 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2018 | 9 | 2018 |
| Determining flow paths of packets through nodes of a network W Zhou, GP Subramanian US Patent 11,757,768, 2023 | 1 | 2023 |
| Determining flow paths of packets through nodes of a network W Zhou, GP Subramanian US Patent 12,149,441, 2024 | | 2024 |
| Identification of network anomalies GP Subramanian, W Zhou, S Guthula, SPM Prabhu, PB Godfrey US Patent App. 18/195,551, 2024 | | 2024 |
| Scaling Data Plane Verification with Intent-based Slicing KY Chou, S Prabhu, G Subramanian, W Zhou, A Nayyar, B Godfrey, ... arXiv preprint arXiv:2405.20982, 2024 | | 2024 |
| Providing explanation of network incident root causes V Harsh, W Zhou, RN Mysore, PB Godfrey, S Banerjee US Patent App. 18/094,380, 2024 | | 2024 |
| On-demand network incident graph generation V Harsh, W Zhou, RN Mysore, PB Godfrey, S Banerjee US Patent App. 18/094,378, 2024 | | 2024 |
| Network incident root-cause analysis V Harsh, W Zhou, RN Mysore, PB Godfrey, S Banerjee US Patent App. 18/094,379, 2024 | | 2024 |
| Handling device configuration changes in distributed network verification application SPM Prabhu, KY Chou, A Nayyar, GP Subramanian, W Zhou, PB Godfrey US Patent App. 17/945,837, 2024 | | 2024 |
| Evaluation of network correctness requirement SPM Prabhu, KY Chou, A Nayyar, GP Subramanian, W Zhou, PB Godfrey US Patent App. 17/945,833, 2024 | | 2024 |
P. Brighten GodfreyUniversity of Illinois at Urbana-Champaign and VMwareVerified email at illinois.edu
