Talks

2017
A Deep Dive Into Multicore OCaml Garbage Collector
in SRG Seminar (SRG17)
A Deep Dive Into Multicore OCaml Garbage Collector
in Tech Talk (TTJSG17)
Effective I/O
in Tech Talk (TTJSG17)
Jbuilder Demonstration
Jérémie Dimino
in Tech Talk (TTDC17)
FOSDEM 2017 Trip Report
in NetOS Talklet (NetOS17)
Modular Macros for OCaml
in NetOS Talklet (NetOS17)
2016
Polymorphism, subtyping and type inference in MLsub
in Logic and Semantics Seminar (LSS16)
Getting higher network performance on MirageOS
in NetOS Talklet (NetOS16)
Irrelevant Classical Logic Agda
in Scottish Programming Languages Seminar (SPLS16)
Polymorphism, Subtyping and Type Inference in MLsub
in Laboratory for Foundations of Computer Science (LFCS16)
Distributed Consensus: Making the Impossible Possible
in CodeMesh (CodeMesh16)
Effective parallelism with Reagents
in London Facebook Faculty Summit (FBFS16)
Approximate Computing
in NetOS Talklet (NetOS16)
OCaml Multicore and Programming with Reagents
in London Functionals (LDNFUNC16)
The functional innards of Docker for Mac and Windows
in London Functionals (LDNFUNC16)
Towards Compilation of Affine Algebraic Effect Handlers
in NetOS Talklet (NetOS16)
Jackline: A secure instant messaging application, functional from the ground up
in Bob Konferenz (BobKonf16)
Managing Infrastructure as code with Puppet
Gareth Rushgrove
in NetOS Talklet (NetOS16)
Composing Network Operating Systems
in Compose (Compose16)
Unanimous Revisited: Distributed consensus for geo-replication
in NetOS Talklet (NetOS16)
Concurrent and Multicore OCaml: A deep dive
in Facebook Tech Talk (FBTT16)
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)
Multicore OCaml Update
in OCaml Developers Meeting (OCamlDev15)
OCaml: State of the Platform
in OCaml Consortium Meeting (OCamlConsortium15)
Reaching Reliable Agreement in an Unreliable World
in Cambridge Tech Talks (TechTalks15)
Unikernels and hyper-elastic clouds
in CodeMesh (CodeMesh15)
Silence is Golden: Controlling Communication and Coordination in Distributed Databases
in Darwin College Sciences Group (DCSG)
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)
The State of the OCaml Platform
in The OCaml Users and Developers Workshop (OCaml15)
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)
A Review of the Growth of the OCaml Community
Amir Chaudhry , Christophe Troestler
in The OCaml Users and Developers Workshop (OCaml15)
Functional Distributed Programming with Irmin
in Polyglot (Polyglot)
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)
Build Your Own Effects
in Functional Programming eXchange (FPX15)
Safe TLS Stack Work
in Fourth Workshop on Formal Methods and Tools for Security (FMATS15)
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)
Principal Type Inference with Subtyping
in South of England Regional Programming Language Seminar (SREPLS15)
State of the Mirage: Student Seminar
in TU Darmstadt (Darmstadt)
Irmin: Mergeable Persistent Data Structures
in Trilogy 2 Project Review (T2)
Building Functional Infrastructure with MirageOS
in QCon London (QCon15)
Generating Code with Polymorphic Let
Oleg Kiselyov
in OCaml Compiler Hacking Session (CompHack)
Towards Functional Operating Systems: Keynote
in BOB Konferenz (BOBKONF15)
Unikernels: A Principled Foundation for Networked Services: Student Seminar
in Imperial College London (ICL)
Irmin: A Git-like Distributed Library
in OCaml User Meeting in Paris (OUPS15)
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)
Lightweight Higher-Kinded Polymorphism
in Laboratory for Foundations of Computer Science (LFCS14)
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)
Higher-Kinded Programming in ML
in Computer Laboratory Programming Research Group Seminar (CPRG)
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)
Getting Started with Real World OCaml
in Functional Programming Days (FP13)
My Other Internet is a Mirage(OS)
in QCon San Francisco (QCON13)
Extension Points for OCaml
in The OCaml Users and Developers Workshop (OCaml13)
OCaml Tutorial
in Commercial Users of Functional Programming Workshop (CUFP13)
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)
Making OCaml for the Masses
in NYC OCaml Meetup (NYCOCaml13)