Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Probabilistic NetKAT"

by Alexandra Silva

Thu, 31 March 2016 at 03:15 pm in Eindhoven, The Netherlands

Joint work with: Nate Foster, Dexter Kozen, Kostas Mamouras and Mark Reitblatt

Abstract: We present a new language for network programming based on a probabilistic semantics. We extend the NetKAT language with new primitives for expressing probabilistic behaviors and enrich the semantics from one based on deterministic functions to one based on measurable functions on sets of packet histories. We establish fundamental properties of the semantics, prove that it is a conservative extension of the deterministic semantics, show that it satis es a number of natural equations, and develop a notion of approximation. We present case studies that show how the language can be used to model a diverse collection of scenarios drawn from real-world networks.