ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Mon 6 Jul 2015 10:10 - 11:10 at Hluboka II - Krishnamurthi

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.


Shriram Krishnamurthi - Static and Dynamic Reasoning for SDNs

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

Mon 6 Jul

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

10:10 - 11:10
KrishnamurthiNetPL at Hluboka II
Static and Dynamic Reasoning for SDNs
Shriram Krishnamurthi Brown University
Link to publication