# Unikernels: library operating systems for the cloud

*2013-03-01 — note*


The first paper on unikernels is published at ASPLOS 2013. This landmark paper introduced unikernels as a new approach to cloud computing, where applications are compile-time specialized into standalone kernels sealed against modification. Working with [Richard Mortier](https://github.com/mor1), [Charalampos Rotsos](https://www.lancaster.ac.uk/scc/about-us/people/charalampos-rotsos), [Dave Scott](https://dave.recoil.org), [Thomas Gazagnaire](https://github.com/samoht), and others, we showed how Mirage achieves an order of magnitude reduction in code size while maintaining performance. The paper demonstrated that combining static type-safety with single address-space layouts creates secure, efficient cloud services, establishing unikernels as a viable alternative to traditional OS stacks.
Synopsis: First paper on unikernels published at ASPLOS 2013.
Words: 83

## Related

- [Unikernels: library operating systems for the cloud](https://anil.recoil.org/papers/2013-asplos-mirage) (paper, 2013-03-01)

---
Canonical: https://anil.recoil.org/notes/2013-asplos-mirage-1
Type: note
Tags: unikernels, mirageos, cloud, systems, ocaml