Cantor Meets Scott - Semantic Foundations for Probabilistic Networks

Explore a comprehensive seminar on the semantic foundations of probabilistic networks in software-defined networking (SDN). Delve into the design and implementation of ProbNetKAT, a high-level network programming language equipped with a random choice operator for expressing probabilistic behaviors. Learn about the language's semantics using Markov Kernels and its applications in reasoning about quantitative network properties such as congestion, latency, and fault tolerance. Gain insights from Nate Foster, an Associate Professor of Computer Science at Cornell University, as he discusses the gap between current programming models and modern network realities, highlighting the importance of incorporating probabilistic behaviors in network programming languages.