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: A Fast Compiler for NetKAT\nSpeaker: Nate
	 Foster\nAbstract: High-level programming languages play a key role in a
	 growing number of networking platforms. Languages such as nlog and
	 Pyretic are being used in systems such as VMware NVP and SDX to
	 streamline application development and enable formal reasoning about
	 network behavior. But the use of high-level languages comes with a cost:
	 current compilers can take tens of minutes to generate the forwarding
	 state for the network\, even on relatively simple programs and small
	 topologies. This forces programmers to waste time working around
	 performance issues or even revert to using hardware-level APIs.\n\nThis
	 talk will presents a compiler pipeline for the NetKAT programming
	 language that is orders of magnitude faster than previous compilers for
	 high-level network languages. The compiler is based on new algorithms
	 that use a generalization of binary decision diagrams as an intermediate
	 representation and symbolic automata to generate optimized forwarding
	 state. It also handles programs that use network-wide features such as
	 regular paths and virtual topologies. I will describe the design and
	 implementation of three essential compiler stages: from local programs
	 (which specify single-switch behavior) to forwarding tables\, from
	 global programs (which specify network-wide behavior) to local
	 programs\, and from virtual programs (which specify behavior in terms of
	 virtual topologies) to global programs. I will also discuss our
	 implementation and present results from experiments on real-world
	 benchmarks that quantify performance in terms of compilation time and
	 forwarding table size.\n\nJoint work with Steffen Smolka (Cornell)\,
	 Spiros Eliopoulos (Inhabited Type)\, and Arjun Guha (UMass).
LOCATION:Gates 122
UID:2015-04-21
STATUS:CONFIRMED
DTSTART:20150421T160000Z
DTEND:20150421T170000Z
LAST-MODIFIED:20150418T210033Z
ORGANIZER;CN=Jonathan Shi:http://www.cs.cornell.edu/~jshi/brownbag/
DTSTAMP:20260408T121927Z
END:VEVENT
END:VCALENDAR