ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, 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

10:10 - 11:10: NetPL - Krishnamurthi at Hluboka II
netpl-2015-workshop143617020000010:10 - 11:10
Link to publication