Naiqian Zheng
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Xin Jin2×
- Hanbo Wuonce
- Kaicheng Yangonce
all 15 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time... | NSDI '26 | 2026-05-04 |
Iceberg implements just-in-time summarization over LLVM IR with Z3 to verify DNS authoritative engines automatically, using state splitting, symbolic regions… | ||
| MeshTest: End-to-End Testing for Service Mesh Traffic Management | NSDI '25 | 2025-04-28 |
MeshTest automatically generates end-to-end service mesh configs using a novel Service Flow Exploration to enumerate resource interactions, then translates… | ||
| LightGuardian: A Full-Visibility, Lightweight, In-band Telemetry System Using Sketchlets | NSDI ’21 | 2021-04-12 |
NSDI '21 - LightGuardian: A Full-Visibility, Lightweight, In-band Telemetry System Using Sketchlets
Yikai Zhao, Kaicheng Yang, and Zirui Liu, Peking… | ||
| nothing matches | ||