Loading…
Open Networking Summit 2017
April 3-6, 2017 - Santa Clara Convention Center

Click here for more information and to register. 
Back To Schedule
Tuesday, April 4 • 10:30am - 11:30am
SOSR: Keynote - The Next 700 Network Programming Languages, Nate Foster, Associate Professor, Department of Computer Science, Cornell University (RSVP Required- Limited Availability)

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Specification and verification of computer networks has become a reality in recent years, with the emergence of domain-specific programming languages and automated reasoning tools. But the design of these frameworks has been largely ad hoc, driven more by the needs of applications and the capabilities of hardware than by any foundational principles. This talk will present NetKAT, a language for programming networks based on a well-studied mathematical foundation: regular languages and finite automata. The talk will describe the design of the language, its semantic underpinnings, and discuss ongoing work extending the language with stateful and probabilistic features.

-------------------------------------------------------------------------

To RSVP to this session, please log in to your Open Networking Summit registration here.

If you are not registered to Open Networking Summit (ONS), you can do so here.

If you have registered to SOSR already, no action is needed. 

Speakers
avatar for Nate Foster

Nate Foster

Cornell University


Tuesday April 4, 2017 10:30am - 11:30am PDT
203 / 204