ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Mon 6 Jul 2015 13:50 - 14:50 at Karlstejn - Invited talk II

Networks are increasingly migrating away from fixed-functionality, closed devices to collections of open devices, both in Software Defined Networks (SDN) and in the Internet of Things (IoT). In an SDN, switches defer to a logically centralized controller program—a smart “hub” for the network—which installs persistent rules in each switch that dictate their behavior. In IoT, control is more distributed.

Programming languages research must engage with these emerging areas. How do we program these devices? How do we verify our programs? I will discuss some of the many issues that arise and present open challenges in these arenas.

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

13:50 - 14:50
Invited talk IIPLAS at Karlstejn
13:50
60m
Talk
Programming and Verifying Today's and Tomorrow's Networks
PLAS
Shriram Krishnamurthi Brown University