Naiqian Zheng
2 papers
· 2021–2025
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(3)
Conferences
NSDI (2)
Top co-authors
Keywords
formal methods
(1)
test generation
(1)
bug detection
(1)
automated testing
(1)
traffic management
(1)
service mesh
(1)
end-to-end testing
(1)
configuration testing
(1)
network telemetry
(1)
sketch algorithm
(1)
flow-level information
(1)
in-band telemetry
(1)
compressive hashing
(1)
network measurement
(1)
data structure
(1)
packet header
(1)
configuration generation
(1)
service flow exploration
(1)
request generation
(1)