ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, Czech Republic
Mon 6 Jul 2015 17:30 - 18:00 at Hluboka II - Dimitropoulos

How many links can be cut before a network is bisected? What is the maximal bandwidth that can be pushed between two nodes of a network? These questions are closely related to network resilience, path choice for multipath routing or bisection bandwidth estimations in data centers. The answer is quantified using metrics such as the number of edge-disjoint paths between two network nodes and the cumulative bandwidth that can flow over these paths. In practice though, such cal- culations are far from simple due to the restrictive effect of network policies on path selection. Policies are set by network administrators to conform to service level agreements, protect valuable resources or optimize network performance. In this work, we introduce a general methodology for estimating lower and upper bounds for the policy-compliant path diversity and bisection bandwidth between two nodes of a network, effectively quantifying the effect of policies on these metrics. Exact values can be obtained if certain conditions hold. The approach is based on regular languages and can be applied in a variety of use cases.

Slides

Pavol Cerny - Program Synthesis for Network Updates

Mon 6 Jul

netpl-2015-workshop
17:30 - 18:00: NetPL - Dimitropoulos at Hluboka II
netpl-2015-workshop143619660000017:30 - 18:00
Talk
Link to publication