Network Programming Languages

Overview

This course provides an introduction to the languages used to program computer networks. It will examine recent proposals based on logic, functional, and distributed languages, as well as tools for establishing correctness using automatic solvers, model checkers, and proof assistants. Topics covered will include classic Internet routing protocols, along with peer-to-peer, overlay, enterprise, datacenter, and software-defined networks. Students will get hands-on experience through a series of small exercises using the Frenetic language for software-defined networks, and the Mininet network simulator.

Details

Mailing list

Join the class mailing list: [email protected].

Syllabus

Mar 13

Introduction

• Lecture slides
• Read [Keshav07]

Mar 20

Naming and Addressing (Sam)

• Read [Cerf+]
• Read [Saltzer+]

Mar 27

Routing (Rami)

• Read [Clark]
• Read [Paxson]

Apr 3

Easter Break

Apr 10

Easter Break

Apr 17

Forwarding (Daniele)

• Read [Kohler+]
• Read [Partridge+]
• Read [Dobrescu+]

Apr 24

SDNs (Tu)

• Read [Feamster]
• Read [Casado+]

May 1

No Class. Worker's Day.

May 8

SDN Languages (Nosheen)

• Read [Foster+]
• Read [Soulé+]

May 15

Controllers (Tu)

• Read [Gude+]
• Read [Koponen+]

May 22

Debugging (Sam)

• Read [Handigol+]
• Read [Wundsam+]

May 29

Verification and Static Analysis (Meixian)

• Read [Kazemian+]
• Read [Mai+]

Acknowledgements