Fast BGP Simulation of Large Datacenters
Abstract elided by the publisher.
Related papers
- Abstract interpretation of distributed network control planes POPL 2020
- Reduction-Based Formal Analysis of BGP Instances TACAS 2012
- Genesis: synthesizing forwarding tables in multi-tenant networks POPL 2017
- F3M: Fast Focused Function Merging CGO 2022
- Kite: efficient and available release consistency for the datacenter PPoPP 2020
- Scalable verification of border gateway protocol configurations with an SMT solver OOPSLA 2016
- Mimic: a fast system/370 simulator PLDI 1987
- Geo-distribution of actor-based services OOPSLA 2017