Anil Madhavapeddy, Professor of Planetary Computing

MirageOS 4: the dawn of practical build systems for exotic targets

Paper on the MirageOS 4 build system at OCaml Workshop

MirageOS 4: the dawn of practical build systems for exotic targets
Lucas Pluvinage, Romain Calascibetta, Rudi Grinberg, and Anil Madhavapeddy.
Paper in the proceedings of the OCaml Workshop 2019.
URL (icfp19.sigplan.org) BIB PDF

# 1st Aug 2019

papers conference devtools mirageos ocaml

This is a news item about a conference paper published on the 1st Aug 2019 by Anil Madhavapeddy. Browse related tags from the topics below, or switch to the wiki view to browse more entries.

ocaml1124conference164mirageos143devtools115systems73conservation59biodiversity53unikernels52distributed45ai45security45sensing39opensource38fp36idea-done35journal34selfhosting31idea-ongoing30cloud30spatial30ocamllabs27idea-medium25idea-beginner22llms22forests22multicore22economics21carboncredits20preprint19evidence18xen17urop17ubicomp17idea-hard17hci16icfp16networks16mobile15satellite15embedded15

show: [all tags]

20257020246620233020221520211320201420191720181020175201692015152014212013202012162011152010162009220084200722006120059200472003720024200152000319991

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 )