About Me

I am a third-year graduate student at Peking University advised by Prof. Xin Jin and Prof. Xuanzhe Liu. I am recently working on system reliability, especially improving the reliability of network systems. I received my B.S. (Summa Cum Laude) from Turing Class at Peking University in 2022. I was a participant of Physics Olympiad in high school.

Email: nq[DOT]zheng[AT]pku[DOT]edu[DOT]cn
GitHub / LinkedIn

Publications

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

Naiqian Zheng, Tiaoshuo Qiao, Xuanzhe Liu, Xin Jin
NSDI 2025 [PDF] [Slides] [Video]

Automated Verification of an In-Production DNS Authoritative Engine

Naiqian Zheng*, Mengqi Liu*, Yuxing Xiang, Ennan Zhai, Linjian Song, Dong Li, Feng Han, Nan Wang, Yong Ma, Zhuo Liang, Dennis Cai, Xuanzhe Liu, Xin Jin (*Co-first)
SOSP 2023 [PDF] [Slides] [Video]

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
SIGCOMM 2022 [PDF] [Slides] [Video]

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.
NSDI 2021 [PDF] [Slides]

Teaching

[2023 Spring] TA, Operating Systems (Honor Track).

[2021 Fall] TA, Computer Networks (Honor Track).

[2020 Fall] TA, Introduction to Computer System.

Services

SIGCOMM 2022 Artifact Evaluation Committee

Talks

[10/2023] ACM SOSP, Automated Verification of an In-Production DNS Authoritative Engine

[08/2022] ACM SIGCOMM, Meissa: Scalable Network Testing for Programmable Data Planes

Internships

[06/2021 - 10/2023] Alibaba, Researcher on network reliability.

[09/2020 - 01/2021] ByteDance, Researcher on programmable network.