6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.NI2024
Relational Network Verification
Xieyang Xu, Yifei Yuan, Zachary Kincaid +4
Relational network verification is a new approach to validating network changes. In contrast to traditional network verification, which analyzes specifications for a single network…
cs.DC2022★ 6 cited
Dissecting Service Mesh Overheads
Xiangfeng Zhu, Guozhen She, Bowen Xue +9
Service meshes play a central role in the modern application ecosystem by providing an easy and flexible way to connect different services that form a distributed application. Howe…