BEGIN:VCALENDAR
METHOD:PUBLISH
VERSION:2.0
PRODID:-//Cornell U. Department of Computer Science//Brown Bag Seminar//EN
BEGIN:VEVENT
SUMMARY:Brown bag: Nate Foster
DESCRIPTION:Title: High-level Abstractions for Network
	 Programming\nSpeaker: Nate Foster\nAbstract: Over the past ten years\,
	 programmable networks have gone from a dream to a reality.
	 Software-defined networking (SDN) architectures provide interfaces for
	 specifying network-wide control algorithms\, and emerging hardware
	 platforms are exposing programmability at the forwarding plane level as
	 well. But despite much progress\, several fundamental questions remain:
	 What are the right abstractions for writing network programs? How do
	 they differ from the abstractions we use to write ordinary software? Can
	 we implement these abstractions efficiently on current hardware? This
	 talk will attempt to answer these questions by exploring the design and
	 implementation of high-level abstractions for network programming. In
	 the first part of the talk\, I will present NetKAT\, a language for
	 programming the forwarding plane based on a surprising connection to
	 regular languages and finite automata. In the second part of the talk\,
	 I will present an abstraction for building SDN control planes that
	 gracefully transitions the network between network-side configurations
	 while preserving programmer-specified notions of consistency.
LOCATION:Gates 310
UID:2019-04-09
STATUS:TENTATIVE
DTSTART:20190409T160000Z
DTEND:20190409T170000Z
LAST-MODIFIED:20190409T020317Z
ORGANIZER;CN=Jonathan Shi:http://www.cs.cornell.edu/~jshi/brownbag/
DTSTAMP:20260408T180804Z
END:VEVENT
END:VCALENDAR