Y. Zhou

7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Aquila: a practically usable verification system for production-scale programmable data planes

B. Tian and others (2021) · Proceedings of the 2021 ACM SIGCOMM 2021 Conference

Hypertester: highperformance network testing driven by programmable switches

Y. Zhou and others (2019) · Proceedings of the 15th International Conference on Emerging Networking Experiments And Technologies

P4tester: efficient runtime rule fault detection for programmable data planes

Y. Zhou and others (2019) · Proceedings of the International Symposium on Quality of Service

Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs

H. Xu and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)

P4DB: On-the-fly debugging of the programmable data plane

C. Zhang and others (2017) · IEEE

OpenPiton: An Open Source Manycore Research Framework

J. Balkind and others (2016) · ACM

AutoISES: Automatically inferring security specifications and detecting violations

L. Tan and others (2008) · 17th USENIX Security Symposium