research
∙
07/11/2023
What do LLMs need to Synthesize Correct Router Configurations?
We investigate whether Large Language Models (e.g., GPT-4) can synthesiz...
share
research
∙
04/20/2022
MashUp: Scaling TCAM-based IP Lookup to Larger Databases by Tiling Trees
Ternary content addressable memories (TCAMs) are commonly used to implem...
research
∙
04/20/2022
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification
Current network control plane verification tools cannot scale to large n...
research
∙
06/28/2021