31 citations · 36 across the 4 of their papers we have counts for
Showing cs.NIShow all
3 papers · 1 filter
cs.NI2023★ 1 cited
What do LLMs need to Synthesize Correct Router Configurations?
Rajdeep Mondal, Alan Tang, Ryan Beckett +2
We investigate whether Large Language Models (e.g., GPT-4) can synthesize correct router configurations with reduced manual effort. We find GPT-4 works very badly by itself, produc…
cs.NI2022★ 2 cited
MashUp: Scaling TCAM-based IP Lookup to Larger Databases by Tiling Trees
Victor Rios, George Varghese
Ternary content addressable memories (TCAMs) are commonly used to implement IP lookup, but suffer from high power and area costs. Thus TCAM included in modern chips is limited and…
cs.NI2022★ 31 cited
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Steven Benaloh +4
Current network control plane verification tools cannot scale to large networks, because of the complexity of jointly reasoning about the behaviors of all nodes in the network. In…