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

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
• SOSP 2023 [PDF] [Slides]

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]

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.