Last modified: Feb. 15, 2008 by dongyuan
Mendel Rosenblum. Keynote Talk: Impact of Virtualization on Computer Architecture and Operating Systems. Proceedings of the 12th international conference on Architectural support for programming languages and operating systems(ASPLOS’06). San Jose, California, USA. 2006.
Jim Smith, and Ravi Nair. Virtual Machines: Versatile Platforms for Systems and Processes. Elsevier, 2005.
Mendel Rosenblum and Tal Garfinkel. Virtual Machine Monitors: Current Technology and Future Trends. IEEE Computer, May 2005
Susanta Nanda ,Tzi-cker Chiueh . A Survey on Virtualization Technologies. 2005.
Robert Rose. Survey of System Virtualization Techniques. March 8, 2004.
Virtually Linux. Virtualization Techniques in Linux. Chris Wright. OSDL. 2004.
Frans Kaashoek. MIT Open Course Ware: Operating System Lecture 19: Virtual Machine Fall, 2003.
Samuel T. King, George W. Dunlap, Peter M. Chen, "Operating System Support for Virtual Machines", Proceedings of the 2003 Annual USENIX Technical Conference, June 2003.
Peter M. Chen, Brian D. Noble, When virtual is better than real, Proceedings of the 2001 Workshop on Hot Topics in Operating Systems (HotOS) , May 2001
R. Goldberg, Survey of Virtual Machine Research, IEEE Computer, June 1974, pp 34-45.
IBM VM/370 (Classical system)
L. H. Seawright and R. A. MacKinnon. VM/370-a study of multiplicity and usefulness. IBM Systems Journal,1979,18(1).
Disco
Plex86
Kevin Lawton, Drew Northup. Plex86 Virtual Machine.
VMWare (Full Virtualiztion)
Sugerman, Jeremy, Ganesh Venkitachalam, and Beng-Hong Lim. "Virtualizing I/O Devices on VMware Workstation’s Hosted Virtual Machine Monitor." Proceedings of the 10th USENIX Security Symposium, Boston, MA, June 2001.
MicroSoft
VirtualPC, http://www.microsoft.com/Windows/virtualpc/
Windows Virtualization, http://www.microsoft.com/whdc/system/platform/virtual/
Xen (Para-Virtualization)
Barham, Paul, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebar, Ian Pratt, and Andrew Warfield. "Xen and the Art of Virtualization." Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), Oct 2003.
L4Ka (Pre-Virtualiztion)
Joshua LeVasseur, Volkmar Uhlig, Matthew Chapman, Ben Leslie, Gernot Heiser. Pre-Virtualization: Slashing the Cost of Virtualization. Technical Report 2005-30, November 2005.
Ivan Victor Krsul, Arijit Ganguly, Jian Zhang, Jose A. B. Fortes, Renato J. Figueiredo, VMPlants: Providing and Managing Virtual Machine Execution Environments for Grid Computing, SC 2004, 2004.
UM, Virtual-machine based security services group. http://www.eecs.umich.edu/virtual/papers/index.html
Stanford, Tal Garfinkel 's papers about security. http://www.stanford.edu/~talg/ .
Experimental computer system lab. http://www.ecsl.cs.sunysb.edu/tech_reports.html
ERTOS of NICTA, http://www.ertos.nicta.com.au/publications/
Michael Vrable, Justin Ma, Jay Chen, et. al. Scalability, Fidelity, and Containment in the Potemkin Virtual Honeyfarm, SOSP’05, October 23–26, 2005, Brighton, United Kingdom.
Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa , Tatsuo Nakajima. Virtualization Techniques for Embedded Systems, ic2006
Haibo Chen, Pengcheng Liu, Rong Chen and Binyu Zang. When OO Meets System Software: Rethinking the Design of VMMs. Parallel Processing Institute Technical Report, Number: FDUPPITR-2007-08003, Fudan University, July, 2007.
Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur, Are virtual-machine monitors microkernels done right? ACM SIGOPS Operating Systems Review, Vol. 40, No. 1, pp. 95-99, January 2006.
Steven Hand, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos and Dan Magenheimer. Are Virtual Machine Monitors Microkernels Done Right? In the Proceedings of the Tenth Workshop on Hot Topics in Operating Systems (HotOS-X), June 2005.
Tal Garfinkel and Mendel Rosenblum, When Virtual is Harder than Real: Security Challenges in Virtual Machine Based Computing Environments , 10th Workshop on Hot Topics in Operating Systems (HOTOS-X), 2005.
M. Hohmuth, M. Peter, H. Härtig, J. S. Shapiro. Reducing TCB size by using untrusted components — small kernels versus virtual-machine monitors. In the proceedings of the 11th ACM SIGOPS European Workshop (EW 2004), September 20—22, 2004, Leuven, Belgium.
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Shantanu Goel, Steven Clawson. Microkernels Meet Recursive Virtual Machines. Operating Systems Design and Implementation. Proceedings of the second USENIX symposium on Operating systems design and implementation, 1996.
ASPLOS, International Conference on Architectural Support for Programming Languages and Operating Systems.
HotOS, Workshop on Hot Topics in Operating Systems.
OSDI, Symposium on Operating Systems Design and Implementation.
SOSP, ACM Symposium on Operating Systems Principles
VEE, ACM International Conference on Virtual Execution Environments.
Keith Adams, Ole Agesen. A comparison of software and hardware techniques for x86 virtualization. Proceedings of the 12th international conference on Architectural support for programming languages and operating systems(ASPLOS’06). San Jose, California, USA. 2006.
Intel Virtualization Technology, http://www.intel.com/technology/computing/vptech, 2005.
Intel. Intel Virtualization Technology Specification for the IA-32 Intel Architecture. Intel Corporation, 2005.
Intel. Intel Virtualization Technology Specification for the Intel Itanium Architecture (VT-i), Revision 2.0. Intel Corporation, 2005.
Advanced Micro Devices. AMD64 Virtualization Codenamed “Pacifica” Technology, Secure Virtual Machine Architecture Reference Manual, May 2005.
Robin, J. S., and C. E. Irvine. Analysis of the intel pentium's ability to support a secure virtual machine monitor. Denver, CO: Proceedings of the 9th USENIX Security Symposium, Aug 2000.