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, Charalampos Rotsos, Dave Scott, Thomas Gazagnaire, 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.
Read more about Unikernels: library operating systems for the cloud.