Static and Dynamic Reasoning for SDNs (NetPL 2015)

Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Track

NetPL 2015

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 6 Jul 2015 10:10 - 11:10 at Hluboka II - Krishnamurthi

Abstract

Software-Defined Networking enables new techniques for reasoning about network behavior. Moreover, controller programs themselves are amenable to reasoning, independent of the network they control. This talk presents some recent work in both static and dynamic reasoning for SDNs and lays out a landscape for thinking about these issues.

Slides

Link to Publication

https://www.youtube.com/watch?v=TQ022Pb9_OM

Bio

I am a Professor of Computer Science at Brown University, Providence, RI, USA. You can learn more about me from my Web site.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 6 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:10 - 11:10	KrishnamurthiNetPL at Hluboka II

10:10 60m Talk		Static and Dynamic Reasoning for SDNs NetPL Shriram Krishnamurthi Brown University Link to publication

Static and Dynamic Reasoning for SDNs

Mon 6 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Shriram Krishnamurthi

Brown University

Tracks

Workshops

Static and Dynamic Reasoning for SDNs

Program Display Configuration

Program Display Configuration

Mon 6 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Shriram Krishnamurthi

Brown University

Mon 6 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change