Naiqian Zheng

According to our database, Naiqian Zheng authored at least 5 papers between 2021 and 2026.

Collaborative distances:

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

2026

Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization.

Yuxing Xiang, Rilin Huang, Naiqian Zheng, Xin Jin

Proceedings of the 23rd USENIX Symposium on Networked Systems Design and Implementation, 2026

2025

MeshTest: End-to-End Testing for Service Mesh Traffic Management.

Naiqian Zheng, Tianshuo Qiao, Xuanzhe Liu, Xin Jin

Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, 2025

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