BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Bridging the Gap between Theory and Practice of Internet Routing -
  Geoffrey Xie (U.S. Naval Postgraduate School )
DTSTART:20101111T160000Z
DTEND:20101111T170000Z
UID:TALK26381@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:Over the last thirty years\, the networking community has made
  considerable theoretical advances in the modeling and understanding of th
 e behavior of Internet routing protocols. However\, recent empirical studi
 es reveal that operational practices for routing have outpaced the theory 
 in at least two fundamental ways: First\, routing designs in the real worl
 d\, particularly those of large enterprise networks\, have much more compl
 ex structures than the conventional 2-level BGP/OSPF hierarchy. Second\, t
 he connecting primitives of "administrative distance" and "route redistrib
 ution"\, introduced by router vendors to allow merging multiple network do
 mains that run independent routing protocol instances\, are used to suppor
 t critical design goals  that cannot be fulfilled by routing protocols alo
 ne.\nIn this talk\, I present a new theory to reason about the safety of r
 outing across multiple routing protocol instances. The theory directly app
 lies to both link-state and vector routing protocols. Each routing protoco
 l still makes independent routing decisions and may consider a combination
  of routing metrics\, including bandwidth\, delay\, cost\, and reliability
 .  In addition\, I describe a new set of connecting primitives derived fro
 m the theory that are not only provably safe but also more expressive than
  the current design.\n\nThis is a joint work with Franck Le and Hui Zhang 
 of Carnegie Mellon University\n\nBio: Geoffrey Xie is visiting from the De
 partment of Computer Sciences\, U.S. Naval Postgraduate School\, where he 
 has been a full professor and associate department chair.   He received a 
 Ph.D. degree in Computer Science from the University of Texas at Austin\, 
 Texas in 1996. He was a visiting scientist in the School of Computer Scien
 ce of Carnegie Mellon University from 2003 to 2004. His current research i
 nterests include clean slate design of IP control plane\, static analysis 
 of network configuration\, Internet routing\, systematic design of enterpr
 ise networks\, and social networks.  \n\n
LOCATION:FW26\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR