LightGuardian: A Full-Visibility, Lightweight, In-band Telemetry System Using Sketchlets. - Yikai Zhao 001; Kaicheng Yang 001; Zirui Liu 002; Tong Yang 003; Li Chen 008; Shiyi Liu; Naiqian Zheng; Ruixin Wang; Hanbo Wu; Yi Wang 004; Nicholas Zhang (NSDI, 2021)

Meissa: scalable network testing for programmable data planes. - Naiqian Zheng; Mengqi Liu 001; Ennan Zhai; Hongqiang Harry Liu; Yifan Li; Kaicheng Yang 001; Xuanzhe Liu; Xin Jin 008 (SIGCOMM, 2022)

Automated Verification of an In-Production DNS Authoritative Engine. - Naiqian Zheng; Mengqi Liu 001; Yuxing Xiang; Linjian Song; Dong Li; Feng Han; Nan Wang; Yong Ma; Zhuo Liang; Dennis Cai; Ennan Zhai; Xuanzhe Liu; et al. (SOSP, 2023)

MeshTest: End-to-End Testing for Service Mesh Traffic Management. - Naiqian Zheng; Tianshuo Qiao; Xuanzhe Liu; Xin Jin 008 (NSDI, 2025)