COMPSCI 590: Software Defined Infrastructures

Spring 2016


Home Syllabus Assignments Piazza

Syllabus

Date

Topics

Additional Info

Notes

Readings

Fri

01/13

Course Introduction  

Wed

01/18

No Class  

Fri

01/20

Logically-Centralized Control  
Debugging, Diagnosis, Verification

Wed

01/25

Floodlight Tutorial: SDN Controller Architecture   Bring Laptops to Class

Fri

01/27

Data-Plane Verification + Scalable Verification   [Assigned Reading: VeriFlow13]
HSA12 Libra14

Wed

02/01

Debugging & Diagnosis   [Assigned Reading: STS14]
SDNLayerDebug12
Scalability and Availability

Fri

02/03

Controller Scalability   [Assigned Reading: BeeHive ]
Onix
Kandoo

Wed

02/08

No Class  

Fri

02/10

Controller Reliability   [Assigned Reading: SCL ]
Ravana

Wed

02/15

Distributed System Fault Tolerance  
Switch primitives and Programmable Data plances

Fri

02/17

Switch Overview & Limitations   RUM
Soft

Wed

02/22

TCAM + CPU Limitations   [Assigned Reading: DevoFlow]
DiFANE

Fri

02/24

Switch Agents   [Assigned Reading: OFX]
Inspired
FOCUS

Wed

03/01

Stateful Data Plane (Middleboxes)   [Assigned Reading: CoMB (shorts) ]
[Assigned Reading: OpenNF (short) ]

Fri

03/03

Programmable DataPlanes   [Assigned Reading: OpenState (short) ]
FAST (short)

Wed

03/08

Programmable DataPlanes Continued   P4

Fri

03/10

Midterm  

Wed

03/15

Spring Break  

Fri

03/17

Spring Break  
Abstractions & Policies

Wed

03/22

Composition & Conflict Resolution   [Assigned Reading:Pyretic ]
PANE (short)
Corybantic (short)

Fri

03/24

Consistent Updates   Abstraction for SDN Updates
zupdates

Wed

03/29

Programming Abstractions   [Assigned Reading: SoL]
Ravel
STN

Fri

03/31

Programming Abstractions Cont.  

Wed

04/05

SDN Security + Security Abstractions   Security Survey
SDN Applications

Fri

04/07

Securing Enterprises with SDN   [Assigned Reading: PSI ]
BYOD

Wed

04/12

SDN @ Google   B4
Jupiter Rising

Fri

04/14

SDN in the WAN   [ Assigned Reading: SDX]
iSDX

Wed

04/19

Final Presentations