Showing cs.NIShow all
2 papers · 1 filter
cs.NI2026
RNG: Flat Datacenter Networks at Scale
Giacomo Bernardi, Ratul Mahajan, C. Seshadhri +8
We design and deploy in production the first flat datacenter networks. Our design, called RNG, is based on quasi-random graphs. While the cost and fault-tolerance benefits of such…
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…