Skip to content

Mirage Profiles

Impressions from the Mirage Retreat in Marrakesh 2017

MP001 Anil Madhavapeddy

Anil Madhavapeddi on his research and how mirageOS came to be.

LINKS:

  • 01:15 University of Cambridge - The Computer Laboratory01:15 University of Cambridge - The Computer Laboratory
  • 02:41 Robin Milner02:41 Robin Milner
  • 05:08 Light-weight Threads05:08 Light-weight Threads
  • 06:07 XenStore06:07 XenStore
  • 08:05 Library Operating Systems08:05 Library Operating Systems
  • 09:14 Unikernel09:14 Unikernel
  • 12:48 LifeDB12:48 LifeDB
  • 15:44 Xavier Leroy15:44 Xavier Leroy
  • 15:47 Coq15:47 Coq
  • 15:53 CompCert15:53 CompCert
  • 17:14 Inria17:14 Inria
  • 17:21 OCaml Labs17:21 OCaml Labs
  • 17:33 Thomas Gazagnaire17:33 Thomas Gazagnaire
  • 17:38 Opam17:38 Opam
  • 19:28 Hannes Mehnert19:28 Hannes Mehnert
  • 19:46 Mirleft19:46 Mirleft
  • 20:00 ocaml-tls20:00 ocaml-tls
  • 20:01 ocaml-asn1-combinators20:01 ocaml-asn1-combinators
  • 20:03 ocaml-x50920:03 ocaml-x509
  • 20:09 David Kaloper20:09 David Kaloper
  • 22:33 ReasonML22:33 ReasonML
  • 26:19 Christiano Haesbaert26:19 Christiano Haesbaert
  • 26:22 Awá SSH library26:22 Awá SSH library
  • 26:47 Hindley–Milner type system26:47 Hindley–Milner type system
  • 28:59 docs.mirage.io28:59 docs.mirage.io
  • 29:40 Databox29:40 Databox
  • 30:58 KC Sivaramakrishnan30:58 KC Sivaramakrishnan
  • 31:04 Multicore OCaml31:04 Multicore OCaml
  • 32:47 RISC-V32:47 RISC-V
  • 33:13 Algebraic Effects33:13 Algebraic Effects
  • 35:31 Reagents for multicore OCaml35:31 Reagents for multicore OCaml

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Post navigation

Next PostNext MP002 Gabriel Scherer

Mirage Profiles

Some random interviews by Tim Pritlove with developers at the mirageOS hacker retreat in Marrakesh in December 2017.

Subscribe to podcast

Easily subscribe to this podcast with the Podlove Subscribe Button.

Proudly powered by WordPress