Xen and the Art of Virtualization
The operating system: should there be one?
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors