MP001 Anil Madhavapeddy
MP3•Episode home
Manage episode 259811437 series 2659583
Content provided by Tim Pritlove. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Tim Pritlove or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Anil Madhavapeddi on his research and how mirageOS came to be.
…
continue reading
LINKS:
01:15 University of Cambridge - The Computer Laboratory
02:41 Robin Milner
05:08 Light-weight Threads
06:07 XenStore
08:05 Library Operating Systems
09:14 Unikernel
12:48 LifeDB
15:44 Xavier Leroy
15:47 Coq
15:53 CompCert
17:14 Inria
17:21 OCaml Labs
17:33 Thomas Gazagnaire
17:38 Opam
19:28 Hannes Mehnert
19:46 Mirleft
20:00 ocaml-tls
20:01 ocaml-asn1-combinators
20:03 ocaml-x509
20:09 David Kaloper
22:33 ReasonML
26:19 Christiano Haesbaert
26:22 Awá SSH library
26:47 Hindley–Milner type system
28:59 docs.mirage.io
29:40 Databox
30:58 KC Sivaramakrishnan
31:04 Multicore OCaml
32:47 RISC-V
33:13 Algebraic Effects
35:31 Reagents for multicore OCaml
9 episodes