Talks

2016
Getting higher network performance on MirageOS
in NetOS Talklet (NetOS16)
The functional innards of Docker for Mac and Windows
in London Functionals (LDNFUNC16)
Jackline: A secure instant messaging application, functional from the ground up
in Bob Konferenz (BobKonf16)
Composing Network Operating Systems
in Compose (Compose16)
My First Unikernel with MirageOS
Matthew Gray
in dev/winter (devwin16)
Surfacing deep magic with library operating systems
in dev/winter (devwin16)
Knock, knock: Unikernels Calling!
in the 14th Annual Southern California Linux Expo (Scale14X)
2015
MirageOS Demonstration
in London Unikernels Meetup #1 (LondonUnik)
Unikernels, meet Docker!
in DockerCon EU: Cool Hack (DCEU15)
Unikernels and hyper-elastic clouds
in CodeMesh (CodeMesh15)
Not-So-Broken TLS: Re-engineering TLS in a Purely Functional Setting
in Lambda World (Lambda15)
Non-Imperative Network Programming
in Strange Loop (StrangeLoop15)
Git Your Own Immutable Infrastructure via Unikernels
in Software Circus (SoftwareCircus15)
MirageOS: Robust Operating System Reengineering from the Ground Up
in Das ist Netzpolitik! (Netzpl15)
Persistent Networking with Irmin and MirageOS
in The OCaml Users and Developers Workshop (OCaml15)
Immutable Distributed Infrastructure with Unikernels
in European Conference on Object-Oriented Programming (ECOOP15)
MISO: The toolstack for distributed personal clouds
in PolyConf (PolyConf)
MirageOS: Leaving Legacy Behind: A Clean-Slate Approach to Operating Systems
in EnthusiastiCon (ECon15)
Nymote: Git Your Own Cloud
in TNG Technology Consulting: Big Techday 8 (TNGBTD15)
Designing Secure Services with Unikernels: A Tough Nut to Crack
in QCon New York (QCon15)
Immutable Distributed Infrastructure for Unikernels
in International Federation for Information Processing Working Group 2.8 (IFIPWG15)
Not-Quite-So-Broken TLS: Lessons in Re-engineering a Security Protocol Specification and Implementation
in High Confidence Software and Systems Conference (HCSS15)
State of the Mirage: Student Seminar
in TU Darmstadt (Darmstadt)
Building Functional Infrastructure with MirageOS
in QCon London (QCon15)
Towards Functional Operating Systems: Keynote
in BOB Konferenz (BOBKONF15)
Unikernels: A Principled Foundation for Networked Services: Student Seminar
in Imperial College London (ICL)
2014
Trustworthy Secure Modular Operating System Engineering
in the 31st Chaos Communication Congress (CCC14)
State of the MirageOS
in IRILL Seminar (IRILL14)
Git your own Cloud: Summoning Unikernels
in Systems Laboratory Seminar (Syslab14)
Jitsu: Just-In-Time Summoning of Unikernels
in New Directions in Operating Systems (OSIO14)
Nymote: Git your own Cloud Here
in CodeMesh (CodeMesh14)
Compile your own Cloud with Mirage OS
in Functional Conference (FConf14)
Let a Billion Clouds Bloom
in BT CIO Briefing (BT14)
MirageOS and OCaml-TLS: Fun Operating System Engineering
in ITU Student Seminar (ITU14)
Unikernels: Functional Operating System Design
in Haskell Symposium (HS14)
MirageOS 2.0: Branch Consistency for Xen Stub Domains
in Xen Developer Summit (XDS14)
Build Your Own Functional Operating System
in European Conference on Object-Oriented Programming (ECOOP14)
Nymote: Git Your Own Cloud Here
in O'Reilly Open Source Convention (OSCON14)
Mirage 2.0: Modular Systems Programming
in Systems Research Group Seminar (SRG)
Mirage Cloud Operating System and the OCaml Language
in Software Engineering Radio: The Podcast for Professional Software Developers (SERadio)
Branch Consistency, or How to Design a Version Controlled Database
in the Systems Research Group Seminar (SRG)
User-Centric Networking: Nottingham/Cambridge Workplan
in User-Centric Networking (UCN)
My Other Operating System is a Mirage: MirageOS
in Functional Programming eXchange (FPX14)
Liquid Scheduling with Unikernels
in Trilogy 2 Project Review (T2)
MirageOS: Compiling Functional Library Operating Systems
in Free and Open Source Software Developers' European Meeting (FOSDEM14)
2013
MirageOS: Modular Operating System Programming
in Computer Laboratory Wednesday Seminar Series (CLWS13)
Modular Operating System Construction
in ACS Advanced Functional Programming (ACS13)
MirageOS: Tomorrow's Cloud, Today
in Functional Programming Lab at the University of Nottingham (FPLab13)
Compiling Functional Library Operating Systems with MirageOS
in Tech Talk at Facebook HQ (TTFB13)
MirageOS and Xapi Project Updates and Cool Stuff
in Xen Developer Summit (XDS13)
My Other Internet is a Mirage(OS)
in QCon San Francisco (QCON13)
My Other Internet is a Mirage
in Tech Talk at Jane Street (TTJS13)
Mirage: Extreme Specialisation of Cloud Appliances
in O'Reilly Open Source Convention (OSCON13)