Xen and Virtualization Research

PaperTopicProducts
Reiner Sailer, Enriquillo Valdez, Trent Jaeger, Ronald Perez, Leendert van Doorn, John L. Griffin and Stefan Berger. sHype: Secure Hypervisor Approach to Trusted Virtualized Systems, IBM T.J. Watson Research Center, February 2005. PDFSecuritysHype
Xen
Keir Fraser, Steven Hand, Rolf Neugebauer, Ian Pratt, Andrew Warfield and Mark Williamson. Safe Hardware Access with the Xen Virtual Machine Monitor, University of Cambridge and Intel Research, OASIS-1 ASPLOS-XI Workshop, October 2004. PDFAvailabilityXen 2.0
Keir Fraser, Steven Hand, Christian Limpach, Dan Magenheimer, Mike Wray, Rolf Neugebauer, Ian Pratt and Mark Williamson. Xen and the Art of Virtualization, University of Cambridge, HP and Intel Research, Ottawa Linux Symposium, July 2004. PDFScalabilityXen 2.0
Dan Aloni. Cooperative Linux, Ottawa Linux Symposium, July 2004. PDFClusteringcoLinux
UML
Windows
Vivek Haldar, Deepak Chandra and Michael Franz. Semantic Remote Attestation - A Virtual Machine directed approach to Trusted Computing, University of California at Irvine, USENIX VM Symposium, May 2004. PDFSecurityJVM
Robert Rose. Survey of System Virtualization Techniques, March 2004. PDFSurveyDenali
VM/370
Xen
J.E. Smith and Ravi Nair. An overview of virtual machine architectures, excerpt from "Virtual Machines: Architectures, Implementations and Applications", Morgan-Kaufmann, 2004. PDFIntroductionCrusoe
JVM
VMware
Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauery, Ian Pratt and Andrew Wareld. Xen and the Art of Virtualization, University of Cambridge, Microsoft Research and Intel Research, ACM SOSP Symposium, October 2003. PDFHypervisorUML
VMware WS
Xen 1.x
Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum and Dan Boneh. Terra: A Virtual-Machine Based Platform for Trusted Computing, Stanford University, ACM SOSP Symposium, October 2003. PDFSecurityVMware GSX
George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai and Peter M. Chen. ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay, University of Michigan, USENIX OSDI Symposium, December 2002, PDFSecurityUMLinux
Constantine P. Sapuntzakis, Ramesh Chandra, Ben Pfaff, Jim Chow, Monica S. Lam and Mendel Rosenblum. Optimizing the Migration of Virtual Computers, Stanford University, USENIX OSDI Symposium, December 2002. PDFManagementVMware GSX
Carl A. Waldspurger. Virtual Machines: Memory Resource Management in VMware ESX Server, VMware, USENIX OSDI Symposium, December 2002. PDFMemoryVMware ESX
Andrew Whitaker, Marianne Shaw and Steven D. Gribble. Scale and Performance in the Denali Isolation Kernel, University of Washington, USENIX OSDI Symposium, December 2002. PDFHypervisorDenali
Samuel T. King and Peter M. Chen. Operating System Extensions to Support Host-Based Virtual Machines, Technical Report CSE-TR-465-02, University of Michigan, September 2002. PDFSurveyDenali
UML
VMware
Andrew Whitaker, Marianne Shaw and Steven D. Gribble. Denali: Lightweight Virtual Machines for Distributed and Networked Applications, Technical Report 02-02-01, University of Washington, 2002. PDFHypervisorDenali
Kemal Ebcioglu, Erik Altman, Michael Gschwind and Sumedh Sathaye. Dynamic Binary Translation and Optimization, IBM T.J. Watson Research Center, IEEE Transactions on Computers, June 2001, pp. 529-548. PDFISADAISY
Jeremy Sugerman, Ganesh Venkitachalam and Beng-Hong Lim. Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor, VMware, USENIX Conference, June 2001. PDFI/OVMware WS
Erik Meijer and John Gough. Technical Overview of the Common Language Runtime, Microsoft Research and Queensland University of Technology, 2001. PDFLanguagesCLI
JVM
Kevin Lawton. Running multiple operating systems concurrently on an IA32 PC using virtualization techniques, Nov 1999. TXTCPUx86-32
R. J. Creasy. The Origin of the VM/370 Time-Sharing System, IBM Scientific Center, IBM Systems Research Journal, 1981. PDFHistory 1950-1980VM/370
Gerald J. Popek and Robert P. Goldberg. Formal Requirements for Virtualizable Third Generation Architectures, University of California, Honeywell Information Systems and Harvard University, Communications of the ACM, vol. 17, no. 7, pp. 412-421, 1974. PDFTheory