Abstract : The metarouting project is developing a system for the declarative specification of routing protocols. A metalanguage is used to specify "routing algebras", structures related to semi-rings. Algebraic properties, such as monotonicity, are automatically inferred from metalanguage specifications. Code is generated and linked with algorithms selected from our library, which includes generalized versions of standard Internet routing protocols that we have extracted from the Quagga code base.

Abstract: Intended to eventually replace the popular ns-2 simulator,ns-3 aims to retain the successful features of ns-2, while remedying some complaints about it. In this presentation, we will describe the design of ns-3 and how it relates to some of its long-term goals, such as improving the integration of simulation tools with real-world applications and experimentation testbeds.

First part

Abstract:C-BGP is a BGP routing solver. It was developed as an alternative to traditional packet-level simulators for playing with BGP on large scale topologies. C-BGP computes the outcome of the BGP routing decisions based on a fairly detailed description of the layer-3 topology, the interconnection of BGP routers and the BGP routing policies.
In this session, we will first briefly describe the design of C-BGP,

Abstract: This tutorial gives a primer on the microeconomics of sharing a pooled resource like Internet bandwidth. This knowledge is then used in 2 ways:

1. To assess how the economics has led to unintended consequence, given today's resource sharing protocols: TCP, weighted fair queuing, volume capping and deep packet inspection (and similar problems with the recent proposals XCP & RCP).
   

Abstract: Current Internet transports conflate functions driven by underlying network requirements, such as endpoint naming and congestion control, with functions driven by application requirements, such as retransmission and reordering. Dividing these function areas into layers separated by a clean interface addresses several limitations of the Internet's architecture, enabling middleboxes such as firewalls, network address translators, and performance enhancing proxies to operate without interfering with end-to-end semantics or security mechanisms such as IPsec and HIP.

Abstract : The Internet Engineering Task Force (IETF) and its research arm, the Internet Research Task Force (IRTF) have been developing and standardizing the majority of the core Internet protocols over the last 25 years. This talk will give an overview of the two bodies, highlight Future-Internet-related activities that are already underway or are likely to kick off in the near future, as well as describe how new research results can be brought forward for standards consideration.