Timothy Roscoe, Kevin Elphinstone, Gernot Heiser. Hype and Virtue. In Galen C. Hunt, editor, Proceedings of HotOS 07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA. USENIX Association, 2007. [doi]
Abstract is missing.