Thomas Gazagnaire
Sr. Research Associate
Cambridge University
location_on United Kingdom
Member since 9 years
Share
Thomas Gazagnaire
Specialises In (based on submitted proposals)
I am a Senior Research Associate at the University of Cambridge where I work on distributed systems and functional programming. I am a main contributor to the Mirage operating system library and the Irmin distributed store. Before that, I was Chief Technical Officier at OCamlPro where I designed and lead the implementation of OPAM and Principal Virtualisation Engineer at OnApp.
I was also a postdoctoral fellow at INRIA sophia-antipolis, in the INDES project and a Senior Software Engineer at Citrix, working on XenServer. I completed my Ph.D in 2008 at IRISA in theDistribCom project. I obtained my Master and Bachelor degrees from ENS Lyon and ENS Rennes.
-
keyboard_arrow_down
Compile your own cloud with Mirage OS v2.0
60 Mins
Talk
Intermediate
Most applications running in the cloud are not optimized to do so. They make assumptions about the underlying operating system, resulting in larger footprints with increased costs and risks. The open source Mirage OS represents a new approach where the application code is combined with the specific components of the operating system it needs into a single-purpose unikernel appliance. With Mirage OS, developers can create lean and efficient unikernels for secure, cost-effective and high-performance network applications. Mirage OS unikernels run directly on the Xen Project hypervisor, which allows them to be quickly deployed to many leading cloud platforms.
Mirage OS is fully written in OCaml, from the device drivers and network stack to higher-level synchronisation protocols and databases. In this presentation I will explain how we developed Mirage OS and why we choose to do so in a strongly typed functional language with a powerful module langage. I will then present some of the new features of Mirage OS v2.0 such as: support for ARM devices, Irmin: a Git-like distributed database and OCaml-TLS: a comprehensive implementation of the TLS protocol in pure OCaml.
-
-
No more submissions exist.
