Nate Foster gave an invited talk with the intriguing title "The Next 700 Network Programming Languages" at LOLA 2016, the Workshop on Syntax and Semantics of Low-Level Languages. He presented NetKAT, a language for programming networks based on Kleene Algebra with Tests.

Foster also gave four lectures on "Network Programming" at the 2016 Oregon Programming Languages Summer School, providing a comprehensive introduction to how how ideas from programming languages and formal methods can be used to solve practical problems in networking.

LOLA abstract:
Video for OPLSS presentations: