31 citations · 85 across the 8 of their papers we have counts for
8 papers
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…
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…
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…
Revelio: ML-Generated Debugging Queries for Distributed Systems
Pradeep Dogga, Karthik Narasimhan, Anirudh Sivaraman +3
A major difficulty in debugging distributed systems lies in manually determining which of the many available debugging tools to use and how to query its logs. Our own study of a pr…
Packet Transactions: High-level Programming for Line-Rate Switches
Anirudh Sivaraman, Mihai Budiu, Alvin Cheung +6
Many algorithms for congestion control, scheduling, network measurement, active queue management, security, and load balancing require custom processing of packets as they traverse…
Programming Protocol-Independent Packet Processors
Pat Bosshart, Dan Daly, Martin Izzard +7
P4 is a high-level language for programming protocol-independent packet processors. P4 works in conjunction with SDN control protocols like OpenFlow. In its current form, OpenFlow…
Biff (Bloom Filter) Codes : Fast Error Correction for Large Data Sets
Michael Mitzenmacher, George Varghese
Large data sets are increasingly common in cloud and virtualized environments. For example, transfers of multiple gigabytes are commonplace, as are replicated blocks of such sizes.…
Scalable Social Coordination using Enmeshed Queries
Jianjun Chen, Ashwin Machanavajjhala, George Varghese
Social coordination allows users to move beyond awareness of their friends to efficiently coordinating physical activities with others. While specific forms of social coordination…