Reliable Networked Systems


9:15 - 9:30          Doors open


9:30 - 9:35          Dejan Kostić (Institute IMDEA Networks, Spain)
                              Introduction and welcome
9:35 - 9:45          Daniel Segovia Vargas (University Carlos III of Madrid)
                              Welcome address
9:45 - 10:30        Amund Kvalbein (Simula, Norway)
The Nornet Edge testbed for Mobile Broadband measurements
Cellular Mobile Broadband (MBB) networks have become one of the most important means for accessing the Internet, and failures in these networks have large consequences for millions of users. Many of us have the feeling that the stability of such networks is far from satisfactory, but there is little systematic data on this publicly available. This talk presents Nornet Edge, a large infrastructure for client-side measurements of the stability and performance in MBB networks. Nornet Edge consists of several hundred dedicated hardware nodes distributed across Norway, each connected to multiple MBB providers. We discuss the purpose and implementation of the infrastructure, and present a first look at some measurement results collected from it.
10:30 - 11:15      Jon Crowcroft (University of Cambridge, UK)
Shrinking the Cloud - It's all a Mirage
We need to reduce the attack surface on the cloud for a variety of reasons - reliability, security, trustworthiness, portability, migration, and general reduction in bloat. This talk is about the UniKernels work and the Mirage project, part of the OCaml Labs initiative to bring functional programming to the world with a bang...
11:15 - 11:45      Break/Scientific Posters Exhibit
11:45 - 12:30      Edward Knightly (Rice University, USA)
Robust Control and Management of Wireless Networks
Wireless LAN protocols have focused on peak throughput. For example, the upcoming IEEE 802.11ac standard will support data rates of 1 Gb/sec. Unfortunately, real-world user throughput lags far behind the theoretical peak. In this talk, I will describe ways in which we need to re-think control and management of wireless networks in order to harness the vast capabilities available from the physical layer.
12:30 - 13:15      Matthias Hollick (TU Darmstadt, Germany)
Wilderness Survival Skills for Multihop Wireless Networks
Multihop wireless networks such as mesh, sensor or ad hoc networks have been confined to lab environments for decades. However, due to the progress and ready availability of basic technologies to realize these networks, they are increasingly deployed in the wild. But are these networks fit for survival? Do we need to worry about digital predators or smaller digital pests? How do network mechanisms operate under harsh environmental conditions? This talk discusses past, present, and future of multihop wireless networks with particular emphasis on the development of wilderness survival skills, which we consider to be decisive in their success.
13:15 - 14:30      Lunch
14:30 - 15:15      Pedro Andrés Aranda Gutiérrez (Telefonica I+D - GCTO Unit, Spain)
Taking SDN programming to the next level
SDN is about a set of core networking technologies and how to control them. Its real power lies in programmability. There are lots of useful tools which are, however, tailored to specific SDN technologies. In this talk, we will explore the state of the art and the missing steps towards SDN tools that help providing a unified view of the underlying Software Defined Network and make SDN programming easy.
15:15 - 16:00      Philip Brighten Godfrey (University of Illinois at Urbana-Champaign, USA)
Verifying Network-Wide Invariants in Real Time
The increasing complexity of modern computer networks has far outpaced the development of tools to manage their operation, leading to vulnerabilities and downtime in critical infrastructure. This talk describes our work on data plane verification, which simplifies network security and management by formally reasoning about network-wide behavior.  Anteater is a system that verifies network-wide properties such as absence of forwarding loops, isolation of tenant networks in a cloud, or consistency of security policy, and revealed multiple real-world bugs in a large university network.  Our second-generation system, VeriFlow, checks network-wide invariants in real time in SDN environments --- within a millisecond per rule insertion in our OpenFlow-based prototype.  I'll also discuss challenges and opportunities in building more dependable networked systems.
16:00 - 16:30      Break/Scientific Posters Exhibit
16:30 - 17:15      Discussion/Talk
17:15                    Wrap up