LightGuardian: A Full-Visibility, Lightweight, In-band Telemetry System Using Sketchlets Y Zhao, K Yang, Z Liu, T Yang, L Chen, S Liu, N Zheng, R Wang, H Wu, ... USENIX NSDI, 991-1010, 2021 | 90 | 2021 |
Automated Verification of an In-Production DNS Authoritative Engine N Zheng, M Liu, Y Xiang, L Song, D Li, F Han, N Wang, Y Ma, Z Liang, ... ACM SOSP 2023, 2023 | 3 | 2023 |