Formal Methods for Network Performance Analysis
Offered By: USENIX via YouTube
Course Description
Overview
Explore a groundbreaking approach to network performance analysis using formal methods in this 15-minute conference talk from NSDI '23. Delve into the challenges of accurate and thorough network performance analysis, and discover how formal methods can overcome limitations of traditional simulation and emulation techniques. Learn how to model network components and queues in logic, and use program synthesis to automatically generate concise, interpretable workloads for performance metric queries. Understand the advantages of this approach in exhaustively analyzing network performance, particularly for algorithms and protocols expressible in first-order logic. Examine case studies demonstrating the effectiveness of formal methods in analyzing packet scheduling algorithms and a small leaf-spine network, revealing potential issues in throughput, fairness, starvation, and latency.
Syllabus
NSDI '23 - Formal Methods for Network Performance Analysis
Taught by
USENIX
Related Courses
Human Computer InteractionIndependent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera