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

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.

ocaml122systems70conference64unikernels52conservation49biodiversity47distributed45security44mirageos43ai42opensource37idea-done35fp33selfhosting31sensing31cloud30idea-ongoing29journal29spatial27ocamllabs27idea-medium25idea-beginner22multicore22llms21xen17urop17evidence17ubicomp17idea-hard17forests16hci16carboncredits16networks16mobile15devtools15icfp15economics15preprint15

show: [all tags]

2025722024612023252022142021142020142019720181020175201692015152014212013192012162011152010152009220084200722006120059200472003720024200152000319991

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 )