December 2009 - talks - lists.cs.princeton.edu

11am Wed Dec 16 talk by Michael Schapira on incentives issues in Internet routing
by Jennifer Rexford 16 Dec '09

16 Dec '09

Michael Schapira (http://www.cs.yale.edu/homes/schapira/) is visiting from Tuesday through Thursday this week. If you would like to meet with him, please drop me a note (jrex(a)cs.princeton.edu). Speaker: Michael Schapira, Yale University and UC Berkeley Title: Interdomain Routing: Stability, Security and Selfishness Date/time: 11am-noon on Wednesday December 16 Location: Room 402 in the Computer Science building Abstract: The Border Gateway Protocol (BGP) establishes routes between the many independently-administered networks that make up the Internet. Over the past two decades there has been exponential growth in the scale and complexity of the Internet. However, BGP has not changed significantly in comparison and, consequently, does not always cope well with modern-day challenges (bounded computational resources, economically driven manipulations, security attacks, and more). Understanding, ``fixing'' and redesigning interdomain routing necessitates taking a principled approach that bridges theory and systems research, and breaks traditional disciplinary barriers. I shall present conceptual frameworks for addressing today's challenges and novel routing schemes that improve on the existing ones. Specifically, I shall present (1) a necessary condition for BGP safety, i.e., guaranteed BGP convergence to a ``stable'' routing outcome; (2) an economic approach to BGP security; and (3) Neighbor-Specific BGP -- a modest extension to BGP that allows network administrators more expressive routing policies while improving global network stability. I shall also discuss the surprising implications of these results for other areas of research: distributed computing, game theory and mechanism design. Finally, I shall outline interesting directions for future work.

1 1

Colloquium Speaker, Dec. 16, 2009- David Naumann
by Nicole E. Wagenblast 14 Dec '09

14 Dec '09

Smart Assertions for Dumb Provers David Naumann, Stevens Institute of Technology 4:30 PM Small Auditorium CS 105 Assertions are widely used for runtime checking of software correctness, and increasingly used for compile time checking of simple properties like array index bounds. Structural integrity of pointer based data structures and design patterns often involves recursively defined properties which are costly to check at runtime and which appear to be unsuited to static checking using fully automated theorem provers. Remarkably, judicious use of ghost state lets programmers express recursive properties in pure first order logic and successfully use fast provers based on SAT solving. In this talk I will introduce the technique in elementary terms, for programmers, who may find it immediately useful in testing. I will also outline research questions about how to use the technique in frame conditions, in refactoring, in foundational proofs, in refinement types, in terms of aspects, and in checking information flow properties.

1 1

Colloquium Speaker, Dec. 9, 2009- Marc Fiuczynski
by Nicole E. Wagenblast 07 Dec '09

07 Dec '09

PlanetLab: From Testbed to Service Deployment Platform Marc Fiuczynski, Princeton Computer Science 4:30 PM Small Auditorium CS 105 Abstract: PlanetLab was originally designed to be a realistic testbed for networking and distributed systems research. It has served that role quite well. More recently, however, it has also become a practical platform for rapidly deploying (and then effectively managing) network services that have value to a wide-range of user communities (and a diverse set of network environments). This talk describes three such deployments: (1) providing web connectivity to remote villages and schools; (2) capturing gold-standard measurements of broadband connectivity in the US; and (3) supporting high-speed content distribution in a Telco access network.

1 0

Colloquium Speaker, Dec. 9, 2009- Marc Fiuczynski
by Michele J. Brown 03 Dec '09

03 Dec '09

PlanetLab: From Testbed to Service Deployment Platform Marc Fiuczynski, Princeton Computer Science 4:30 PM Small Auditorium CS 105 Abstract: PlanetLab was originally designed to be a realistic testbed for networking and distributed systems research. It has served that role quite well. More recently, however, it has also become a practical platform for rapidly deploying (and then effectively managing) network services that have value to a wide-range of user communities (and a diverse set of network environments). This talk describes three such deployments: (1) providing web connectivity to remote villages and schools; (2) capturing gold-standard measurements of broadband connectivity in the US; and (3) supporting high-speed content distribution in a Telco access network.

1 0