BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Unikernels: Library Operating Systems for the Cloud - Anil Madhava
 peddy (University of Cambridge)
DTSTART:20130206T130000Z
DTEND:20130206T140000Z
UID:TALK43222@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:We present unikernels\, a new approach to deploying cloud serv
 ices\nvia applications written in high-level source code. Unikernels are\n
 single-purpose appliances that are compile-time specialised into\nstandalo
 ne kernels\, and sealed against modification when deployed\nto a cloud pla
 tform. In return they offer significant reduction in\nimage sizes\, improv
 ed efficiency and security\, and should reduce\noperational costs. Our Mir
 age prototype compiles OCaml code into\nunikernels that run on commodity c
 louds and offer an order of\nmagnitude reduction in code size without sign
 ificant performance\npenalty. The architecture combines static type-safety
  with a single\naddress-space layout that can be made immutable via a hype
 rvisor\nextension. Mirage contributes a suite of type-safe protocol librar
 ies\,\nand our results demonstrate that the hypervisor is a platform that\
 novercomes the hardware compatibility issues that have made past\nlibrary 
 operating systems impractical to deploy in the real-world.
LOCATION:LT2\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR