DIMACS Workshop on Software Defined Networking

December 3 - 4, 2012
DIMACS Center, CoRE Building, Rutgers University

Organizers:
Nate Foster, Cornell, jnfoster at cs.cornell.edu
Brighten Godfrey, UIUC, pbg at illinois.edu
Li Erran Li, Bell Labs, Alcatel-Lucent, erranlli at gmail.com
Presented under the auspices of the DIMACS Special Focus on Algorithmic Foundations of the Internet.

Workshop Program:

Monday, December 3, 2012
 
 8:15  - 9:00  Breakfast and Registration

Session 1: Architectures

 9:00 -  9:30  Software Defined Networking (SDN): A New Approach to Networking
               Guru Parulkar, Stanford University and Open Networking Research Center
 
 9:30 - 10:00  Unlocking the Full Innovation Potential of Software Defined Networking
               Rajesh Narayanan, Dell 

10:00 - 10:30  Panel discussion with Guru Parulkar and Rajesh Narayanan

10:30 - 11:00  Coffee Break

Session 2: Applications

11:00 - 11:30  Security as an App and Security as a Service: New Killer Apps for Software Defined Networking?
               Guofei Gu, Texas A&M University

11:30 - 12:00  Composing Software Defined Networks
               Jennifer Rexford, Princeton University

12:00 - 12:30  Panel discussion with Guofei Gu and Jennifer Rexford

12:30 -  1:45  Lunch

Session 3: Formal Methods

 1:45 -  2:00  Welcome and Opening Remarks
               Gene Fiorini, Associate Director of DIMACS

 2:00 -  2:30  Scenario-Based Tools for Network Configurations 
               Shriram Krishnamurthi, Brown University

 2:30 -  3:00  A SOFT Way for OpenFlow Switch Interoperability Testing
               Marco Canini, TU Berlin

 3:00 -  3:30  Panel discussion with Shriram Krishnamurthi and Marco Canini

 3:30 -  4:00  Coffee Break

Session 4: Data Centers

 4:00 -  4:30  SPARTA: Scalable Per-Address RouTing Architecture for Data Centers
               John Carter, IBM

 4:30 -  5:00  SDN-enhanced Services in Enterprises and Data Centers
               Anees Shaikh, IBM Research 
               
 5:00 -  5:30  Panel discussion with John Carter and Anees Shaikh

 5:30 -  6:30  Break and travel to dinner

 6:30          Dinner - Panico's Restaurant
               103 Church Street
               New Brunswick, NJ
               (732)545-6100

Tuesday, December 4, 2012

 8:30 -  9:00  Breakfast and Registration

Session 5: New Domains for SDN

 9:00 -  9:30  The Twain Shall Meet: Toward Practical Integration of SDN and Middleboxes
               Vyas Sekar, Stony Brook University

 9:30 - 10:00  OpenRadio: Software Defined Wireless Infrastructure
               Sachin Katti, Stanford University

10:00 - 10:30  Panel discussion with Vyas Sekar and Sachin Katti

10:30 - 11:00  Coffee Break

Session 6: Lightning Talks

11:00 - 12:00  Lightning Talks

               Route Shepherd: Guiding Control Plane Configuration
               Alex Gurney, University of Pennsylvania, working with Boon Thau Loo

               Extending MPLS/BGP VPNs to End-Systems
               Maria Napierala, AT&T Labs

               Rapid Feature Implementation on Edge-Routers With Software-Defined Networks
               Kirill Kogan, University of Waterloo

               Attendre: Mitigating Ill Effects of Race Conditions in OpenFlow via Queueing Mechanis
               Xiaoye (Steven) Sun, Rice University

               Formal Synthesis of Software-Defined Network Policies
               Anduo Wang, University of Pennsylvania

               Andrew Ferguson, Brown University

12:00 -  1:30  Lunch

Session 7: Verification

 1:30 -  2:00  Formal Verification of Computer Switch Networks
               Sharad Malik, Princeton University

 2:00 -  2:30  Reliable Network Compilers
               Arjun Guha, Cornell University

 2:30 -  3:00  Panel discussion with Sharad Malik and Arjun Guha


Previous: Participation
Next: Registration
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on December 3, 2012.