1. Welcome to Matthew Lodge from the EPSRC! I’m Jon Crowcroft of the Systems Research Group (SRG) The SRG covers a lot of bases: fixed and wireless networks, operating systems, distributed systems, programming languages & runtimes, databases, mobile systems… ~10 faculty / senior researchers + ~30 graduate students We have a number of topics scheduled for today, primarily in the space of multi-core, healthcare, and mobile and social systems and modelling. First, however, let me give you a brief overview of other work done within the SRG…

2. Systems Research Group Hardware INTERNET Energy efficient networking&datacenters C-Aware Carbon-awareness for consumers FRESNEL/ IKC Large-scale Federated Sensor Networks applications CHERI/MRC/NetFPGA Rackscale Interconnects

3. Systems Research Group Hardware Most widely deployed x86 hypervisor Successful tech transition to industry Cloud: Amazon EC2, Rackspace Product: Citrix XenServer, Oracle Linux Research efforts: XenSE: trusted computing XenClient: client-side virtualisation Hypervisors

4. Systems Research Group Hardware MirageOS: Type-safe, high-performance operating system for cloud computing FABLE: Unified IPC messaging system Speculative Binary Lock Elision: Analyze x86 binaries to eliminate locking OpenFlow Software Defined Networks Hypervisors Kernels, OS & PL

5. Systems Research Group Hardware Nimbus: Highly-available and globally replicated personal storage Personal Containers: Distributed database aimed at individuals to securely store a lifetime of personal data Pursuit: Content Distribution in the Net Hypervisors Kernels, OS & PL Storage

6. Systems Research Group Hardware (META)ROUTING Placing path finding on a scientific footing for correctness, robustness and scaling as well as wider applicability MOOSE: Addressing the scalability of Ethernet (with IETF participation) iDNSSEC: Delivering simple DNSSEC for individuals to use for Internet-scale identity (with Verisign) Hypervisors Kernels, OS & PL Storage Networking

7. Systems Research Group Hardware CIEL - Cloud Scale Programming - generalisation from MapReduce D3N - Data Driven Programming for Opportunistic networks TESLA Static Analysis for Security Hypervisors Kernels, OS & PL Storage Networking Programming

8. Systems Research Group Hardware Mobile and Social Sensing (Ubhave, Molten) Adaptive platforms for human mobility data gathering, modelling and recommendation Mobile Privacy Distributed randomised response from mobile phones for private location gathering Sentiment Analysis Natural language parsing to classify digital interaction with emotions Hypervisors Kernels, OS & PL Storage Networking Programming Application

9. Agenda for Today (29.2.2012) 11:00: Welcome & This Intro by Me, in Plenary (in FW11) 11.20 Matthew Lodge, outline EPSRC ways of working (in FW11) 11:40: Mobility Modelling&Mobile/Social Sys, Cecilia Mascolo (FN08) 12.10: Anil Madhavapeddy/Daniel Quercia:Horizon++ (FW15) 12.30 Jon/Cecilia/Andrew Rose Mobility Futures (FN08) 12:40: lunch in café with Cecilia/Jon’s research group 13:30: Andrew Moore, The INTERNET project (SC14) 14:00: Eiko Yoneki, Graph Data, and Disaster Networking (FE02) 14:30:David Greaves, Multicore IPC (FN12) 15:00: Ian Leslie, C-Aware Energy work (FN16) 15.30 Dirk Trossen, Content Networking (FE13) 16:00 Steven Hand, Next in Operating Systems (FN04) 16:30: Wrap-up in Plenary (in FW11)