I am a second-year graduate student at Peking University. I received my B.S. (Summa Cum Laude) from Turing Class at Peking University in 2022. I was a participant of Physics Olympiad (2015-2018).
I am advised by Prof. Xin Jin and Prof. Xuanzhe Liu. I also have the priviledge of working with Ennan Zhai and Mengqi Liu at Alibaba. My research interests are networked systems, especially reliability of networked systems.
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]
[2023 Spring] TA, Operating Systems (Honor Track).
[2021 Fall] TA, Computer Networks (Honor Track).
[2020 Fall] TA, Introduction to Computer System.
SIGCOMM 2022 Artifact Evaluation Committee
[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
[06/2021 - 10/2023] Alibaba, Researcher on network reliability.
[09/2020 - 01/2021] ByteDance, Researcher on programmable network.