BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Mirage - Anil Madhavapeddy ( University of Cambridge)
DTSTART:20101116T130000Z
DTEND:20101116T140000Z
UID:TALK26949@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:Mirage is a a high-performance operating system that compiles 
 functional code written in OCaml directly into microkernels that run as cl
 ose to the bare metal system as possible. Simplicity is a prime goal\, and
  in this talk I will give a brief overview and describe the architecture o
 f the runtime\, from memory model to concurrency to I/O. The intention is 
 to explore the scope for integrating verification techniques\, at both the
  language level and runtime level. More information on the project is avai
 lable at www.openmirage.org\n\n\n
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR