6 citations · 10 across the 4 of their papers we have counts for
Showing cs.NIShow all
3 papers · 1 filter
cs.NI2026
Configuration Migration Planning through Decoupled Modeling and Searching
Dan Wang, Peng Zhang, Ratul Mahajan
Executing large network configuration changes, called migrations, is slow and error-prone today; operators must manually devise a safe order for updating devices that does not disr…
cs.NI2022
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett +2
We develop NetCov, the first tool to reveal which network configuration lines are being tested by a suite of network tests. It helps network engineers improve test suites and thus…
cs.NI2018★ 2 cited
Control Plane Compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan +1
We develop an algorithm capable of compressing large networks into a smaller ones with similar control plane behavior: For every stable routing solution in the large, original netw…