We stand with Ukraine  

Chenyang Zhao

Orcid: 0009-0000-2550-756X

Affiliations:
  • Beijing University of Posts and Telecommunications, State Key Laboratory of Networking and Switching Technology, China


According to our database1, Chenyang Zhao authored at least 5 papers between 2024 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Region Partitioning-Based Scalable Real-Time Network Verification via Native Distributed Architecture.
[BibTeX]
[DOI]
Bo He
,
Mingxiao Ma
,
Yuehan Zhang
,
Lingqi Guo
,
Chenyang Zhao
,
Qi Qi
,
Zirui Zhuang
,
Haifeng Sun
,
Gong Zhang
,
Jianxin Liao
,
Cheng Huang
,
Jingyu Wang
IEEE Trans. Netw., 2026

2025
Fast and Scalable Data Plane Verification for Burst Updates With Edge-Predicate.
[BibTeX]
[DOI]
Jingyu Wang
,
Chenyang Zhao
,
Zirui Zhuang
,
Qi Qi
,
Yuebin Guo
,
Haifeng Sun
,
Lingqi Guo
,
Jianxin Liao
IEEE Trans. Netw., 2025

Atlas: Towards Real-Time Verification in Large-Scale Networks via a Native Distributed Architecture.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Sisi Wen
,
Anubhavnidhi Abhashkumar
,
Chenyang Zhao
,
Weirong Jiang
Proceedings of the 8th Asia-Pacific Workshop on Networking, 2024


  Loading...