Unikernels: The Next Stage of Linux’s Dominance

Safe Programming with Pointers through Stateful Views (2005)

Quest - Lightweight, Predictable, and Dependendable Kernel for Multicore Processors (2012)

Attacking the Network Time Protocol