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.

ocaml1117 conference163 mirageos143 devtools115 systems62 unikernels51 distributed45 security44 conservation42 opensource36 fp36 biodiversity34 idea-done34 ai34 sensing32 journal30 cloud30 selfhosting28 ocamllabs27 idea-medium25 spatial23 multicore22 economics21 forests20 carboncredits20 xen17 idea-ongoing17 ubicomp17 llms16 hci16 icfp16 mobile15 preprint15 idea-hard15

show: [all tags]

202525 202465 202330 202215 202113 202014 201917 201810 20175 20169 201515 201421 201320 201216 201115 201016 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 )