Anil Madhavapeddy, Professor of Planetary Computing

Rebuilding Operating Systems with Functional Principles / Feb 2020

Part 1 of my distinguished lecture series at St Andrews.

# 26th Feb 2020

talks

videos embedded keynote mirageos scotland systems unikernels

Related News

Rebuilding Operating Systems with Functional Principles / Feb 2020
Unikernels / Jan 2010

This is a video published on the 26th Feb 2020 by Anil Madhavapeddy. Browse related tags from the topics below, or switch to the news view to browse updates.

systems159 unikernels151 mirageos143 ocaml115 conference63 distributed45 security43 opensource36 idea-done34 conservation33 fp33 ai31 cloud30 biodiversity29 selfhosting28 ocamllabs27 journal26 idea-medium25 sensing24 multicore22 spatial20 xen17 idea-ongoing17 ubicomp17 hci16 carboncredits16 mobile15 llms15 devtools15 icfp15 economics15 idea-hard15

show: [all tags]

202525 202461 202325 202214 202114 2020114 20197 201810 20175 20169 201515 201421 201319 201216 201115 201015 20092 20084 20072 20061 20059 20047 20037 20024 20015 20003 19991

This site is © 1998-2025 Anil Madhavapeddy, all rights reserved, except where the content is otherwise licensed. There are no third-party trackers. You can follow me on the usual social media and some self-hosted ones.

Chat (Bluesky / Mastodon / LinkedIn / ~~Twitter~~)
Video (Recoil / EEG / OCaml)
Code (GitHub / GitLab@cam)
Feed (Atom )