Hype and Virtue.

Timothy Roscoe, Kevin Elphinstone, Gernot Heiser

Browse the full HotOS paper archive.