Chenyang Zhao

According to our database, Chenyang Zhao authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Atlas: Towards Real-Time Verification in Large-Scale Networks via a Native Distributed Architecture.

Mingxiao Ma, Yuehan Zhang, Jingyu Wang, Bo He, Chenyang Zhao, Qi Qi, Zirui Zhuang, Haifeng Sun, Lingqi Guo, Yuebin Guo, Gong Zhang, Jianxin Liao

Proceedings of the Twentieth European Conference on Computer Systems, 2025

2024

EPVerifier: Accelerating Update Storms Verification with Edge-Predicate.

Chenyang Zhao, Yuebin Guo, Jingyu Wang, Qi Qi, Zirui Zhuang, Haifeng Sun, Lingqi Guo, Yuming Xie, Jianxin Liao

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

Scaling Data Plane Verification via Parallelization.

Sisi Wen, Anubhavnidhi Abhashkumar, Chenyang Zhao, Weirong Jiang

Proceedings of the 8th Asia-Pacific Workshop on Networking, 2024