Naiqian Zheng

According to our database, Naiqian Zheng authored at least 3 papers between 2021 and 2023.

Collaborative distances:

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

2023

Automated Verification of an In-Production DNS Authoritative Engine.

Naiqian Zheng, Mengqi Liu, Yuxing Xiang, Linjian Song, Dong Li, Feng Han, Nan Wang, Yong Ma, Zhuo Liang, Dennis Cai, Ennan Zhai, Xuanzhe Liu, Xin Jin

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

2022

Meissa: scalable network testing for programmable data planes.

Naiqian Zheng, Mengqi Liu, Ennan Zhai, Hongqiang Harry Liu, Yifan Li, Kaicheng Yang, Xuanzhe Liu, Xin Jin

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

2021

LightGuardian: A Full-Visibility, Lightweight, In-band Telemetry System Using Sketchlets.

Yikai Zhao, Kaicheng Yang, Zirui Liu, Tong Yang, Li Chen, Shiyi Liu, Naiqian Zheng, Ruixin Wang, Hanbo Wu, Yi Wang, Nicholas Zhang

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021