5590 Syllabus

Schedule

This schedule and syllabus is preliminary and subject to change.

Lecture Date Topics Notes Readings
Overview
1 Tue 08/25 Course overview
[pdf]
HowToRead
2 Tue 09/01 Review of the Internet
[pdf]
3 Tue 09/08 Fabric: A retrospective on evolving SDN: End-to-end arguments + MPLS
[pdf] [key]
fabric, end-to-end arguments, (optional)A purpose built global network
Basics
4 Tue 09/15 SDN principles: centralized control (control data separation)
[pdf]
Ethane, 4D, Ravel, (Optional)Nox, (Optional)OpenFlow, (Optional)ravel
5 Tue 09/22 From centralized control to network operating system: opportunities and challenges
[pdf] [key]
RCP, Nox, Onix, (optional)onos
Programming Abstractions and State Management
6 Tue 09/29 Overview, OpenFlow and P4
[pdf] [key]
abstractions, OpenFlow, P4
7 Tue 10/06 Modular programming
[pdf] [key]
Pyretic, composing
8 Tue 10/13 Composing multiple controllers (CoVisor) and Dynamic Control (Kinetic)
[pdf] [key]
CoVisor, Kinetic
9 Tue 10/20 State management for multiple control applications
[pdf] [key]
statesman
10 Tue 10/27 Resolving Resource Conflicts by Voting
[pdf] [key]
Corybantic, Athens
11 Tue 11/03 Resolving Resource Conflicts by Voting (Continued)
Advanced topics: Verification and Internet Exchange
12 Tue 11/10 Static Reachability Analysis
[pdf] [key]
HSA, Reachability Analysis(Optional)
13 Tue 11/17 Verifying SDN dataplane
[pdf] [key]
NetPlumber
Tue 11/24
Thanksgiving holiday
14 Tue 12/01 Software Defined Internet Exchange
[pdf] [key]
SDX
Tue 12/08
Study days
Tue 12/15 5:45-7:45pm, open book exam with Zoom, video/audio required

Last updated: 2020-12-01 06:59:53 -0500 [validate xhtml]