Synthesizing Runtime Programmable Switch Updates
Offered By: USENIX via YouTube
Course Description
Overview
Explore a 15-minute conference talk from USENIX NSDI '23 that delves into the challenges and solutions for runtime programmable switch updates. Learn about FlexPlan, an innovative tool that uses program synthesis to generate safe and feasible step-by-step update plans for programmable switches. Discover how this approach ensures correctness at each transition state while adhering to user specifications and switch memory constraints. Gain insights into the novel, domain-specific techniques developed to scale this solution for large, real-world programs with significant changes. Understand the importance of this research in the context of the rapid growth of programmable switch applications and the need for formal verification techniques in network behavior assurance.
Syllabus
NSDI '23 - Synthesizing Runtime Programmable Switch Updates
Taught by
USENIX
Related Courses
Network Security(ISC)² via Coursera 5G Network Fundamentals
Institut Mines-Télécom via Coursera 5G for Everyone
Qualcomm via Coursera AWS Advanced Networking Specialty (LA)
A Cloud Guru AWS Certified Advanced Networking - Specialty 2020
A Cloud Guru