### Abstract

We develop an algorithm capable of compressing large networks into smaller ones with similar control plane behavior: For every stable routing solution in the large, original network, there exists a corresponding solution in the compressed network, and vice versa. Our compression algorithm preserves a wide variety of network properties including reachability, loop freedom, and path length. Consequently, operators may speed up network analysis, based on simulation, emulation, or verification, by analyzing only the compressed network. Our approach is based on a new theory of control plane equivalence. We implement these ideas in a tool called Bonsai and apply it to real and synthetic networks. Bonsai can shrink real networks by over a factor of 5 and speed up analysis by several orders of magnitude.

Original language | English (US) |
---|---|

Title of host publication | SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication |

Publisher | Association for Computing Machinery, Inc |

Pages | 476-489 |

Number of pages | 14 |

ISBN (Electronic) | 9781450355674 |

DOIs | |

State | Published - Aug 7 2018 |

Event | 2018 Conference of the ACM Special Interest Group on Data Communication, ACM SIGCOMM 2018 - Budapest, Hungary Duration: Aug 20 2018 → Aug 25 2018 |

### Publication series

Name | SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication |
---|

### Other

Other | 2018 Conference of the ACM Special Interest Group on Data Communication, ACM SIGCOMM 2018 |
---|---|

Country | Hungary |

City | Budapest |

Period | 8/20/18 → 8/25/18 |

### All Science Journal Classification (ASJC) codes

- Communication
- Electrical and Electronic Engineering
- Computer Networks and Communications
- Signal Processing

### Keywords

- Network Verification
- Stable Routing Problem

## Fingerprint Dive into the research topics of 'Control plane compression'. Together they form a unique fingerprint.

## Cite this

*SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication*(pp. 476-489). (SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication). Association for Computing Machinery, Inc. https://doi.org/10.1145/3230543.3230583