Scaling Data Plane Verification via Parallelization. - Sisi Wen; Anubhavnidhi Abhashkumar; Chenyang Zhao 005; Weirong Jiang (APNet, 2024)

EPVerifier: Accelerating Update Storms Verification with Edge-Predicate. - Chenyang Zhao 005; Yuebin Guo; Jingyu Wang 001; Qi Qi 001; Zirui Zhuang; Haifeng Sun 001; Lingqi Guo; Yuming Xie; Jianxin Liao (NSDI, 2024)

Atlas: Towards Real-Time Verification in Large-Scale Networks via a Native Distributed Architecture. - Mingxiao Ma; Yuehan Zhang; Jingyu Wang 001; Bo He 003; Chenyang Zhao 005; Qi Qi 001; Zirui Zhuang; Haifeng Sun 001; Lingqi Guo; Yuebin Guo; Gong Zhang 001; Jianxin Liao (EuroSys, 2025)