Biblio

Export 3 results:
Filters: Author is Wenxuan Zhou  [Clear All Filters]
2018
Zhou W, Croft J, Liu B, Ang E, Caesar M.  2018.  Automatically Correcting Networks with NEAt. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :595--608.
2015
Zhou W, Jin D, Croft J, Caesar M, P. Godfrey B.  2015.  Enforcing Customizable Consistency Properties in Software-Defined Networks. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :73--85.
2013
Khurshid A, Zou X, Zhou W, Caesar M, P. Godfrey B.  2013.  VeriFlow: Verifying Network-Wide Invariants in Real Time. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :15--27.