About Virtualization Technologies
(仮想化技術について)

Recent Papers

• IEEE International Symposium on High Performance Distributed Computing (2006)
• "WOW: Self-organizing Wide Area Overlay Networks of Virtual Workstations" Arijit Ganguly, Abhishek Agrawal, P. Boykin, and Renato Figueiredo
• "Policy Driven Virtual Machine Monitor for Protected Grids" Fabrizio Baiardi, Paolo Mori, Laura Ricci, and Anna Vaccarelli
• "Autonomic Adaptation of Virtual Distributed Environments in a Multi-Domain Infrastructure" Dongyan Xu, Paul Ruth, Junghwan Rhee, Rick Kennel, and Sebastien Goasguen
• "Motor: A Virtual Machine for High Performance Computing" Wojtek James Goscinski, and David Abramson
• USENIX Annual Technical Conference (2006)
• "Antfarm: Tracking Processes in a Virtual Machine Environment" Stephen T. Jones, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau
• "Optimizing Network Virtualization in Xen" Aravind Menon, Alan L. Cox, and Willy Zwaenepoel
• "High Performance VMM-Bypass I/O in Virtual Machines" Jiuxing Liu, Wei Huang, Bulent Abali, and Dhabaleswar K. Panda
• EuroSys (2006)
• "Argos: an Emulator for Fingerprinting Zero-Day Attacks" Georgios Portokalidis, Asia Slowinska, and Herbert Bos
• "Practical Taint-based Protection using Demand Emulation" Alex Ho, Michael Fetterman, Christopher Clark, Andrew Warfield, and Steven Hand
• ACM/USENIX International Conference on Virtual Execution Environments (2006)
• "Virtual Machine-Based Honeypot Monitoring" Kurniadi Asrigo, Lionel Litty, and David Lie
• "A Feather-Weight Virtual Machine for Windows Applications" Yang Yu, Fanglu Guo, Susanta Nanda, Lap-chung Lam, and Tzi-cker Chiueh
• "Live Updating Operating Systems Using Virtualization" Haibo Chen,Rong Chen,Fengzhe Zhang,Binyu Zang, and Pen-Chung Yew
• USENIX Symposium on Networked Systems Design and Implementation (2006)
• "Ventana: A Distributed Filesystem for Virtual Machine Based Computing Environments" Ben Pfaff, Tal Garfinkel, and Mendel Rosenblum
• IEEE International Parallel and Distributed Processing Symposium (2006)
• "Executing MPI Programs on Virtual Machines in an Internet Sharing System" Z. Pan, X. Ren, R. Eigenmann, and D. Xu
• "'IP over P2P: Enabling Self-configuring Virtual IP Networks for Grid Computing" Ganguly, Arijit , A. Aagrawal, P. O. Boykin, and Renato Figueiredo

Research Projects

Virtual Machine Monitors & Microkernels

• Xen
• Denali: Lightweight virtual machines for distributed and networked systems
• Chronous: A diagnosis tool which find errors by searching through the timeline of previous system states
• μDenali: An extensible and programmable virtual machine monitor
• User-mode Linux
• Cooperative Linux
• FAUmachine
• L4Ka Virtual machine technology
• Pre-virtualization
• BurnNT: A Windows NT User-mode Virtual Machine Environment
• LilyVM: Lightweight virtual machine for hosting open source operating systems
• vNUMA: Virtual ccNUMA machine on a commodity cluster
• Disco: Running Commodity Operating Systems on Scalable Multiprocessors
• MIT Exokernel Operating System
• SMUBL: ScrapBook for User-Mode Linux

Virtualization for Security and Reliability

• sHype and rHype: Hypervisor security architecture, Research Hypervisor
• CoVirt: Virtual-machine based security services
• ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay
• ExtraVirt: Detecting and recovering from transient processor faults
• IntroVirt: Detecting past and present intrusions through vulnerability-specific predicates
• SubVirt: Implementing malware with virtual machines
• Time-traveling Virtual Machine
• GreenBorder
• HyperSpector: Virtual distributed monitoring environment
• Collapsar: Virtualization-based system for network security
• Argos: an Emulator for Capturing Zero-Day Attacks
• The Taser Intrusion Recovery System
• A Virtual Machine Introspection Based Architecture for Intrusion Detection
• Potemkin Virtual Honeyfarm
• Terra: A virtual machine-based platform for trusted computing
• NetTop (from VMware)
• Chronous: A diagnosis tool which find errors by searching through the timeline of previous system states (from Denali Project)
• PDB: Pervasive Debugging (from Xen Project)
• An efficient and generic reversible debugger using the virtual machine based approach
• Replicated Virtual Machines
• Hypervisor-based fault tolerance
• MicroVisor: Devirtualizable virtual machines enabling general, single-node, online maintenance

Virtualization for Distributed Computing

• PlanetLab: An open platform for developing, deploying, and accessing planetary-scale services
• NSF-NMI: Grid Computing on Virtualized End-Resources
• The Collective: A virtual appliance computing infrastructure
• MetaVNC: A tool for seamlessly mixing windows from multiple operating systems into one desktop
• Zap, MobiDisk, THINC
• XenoServers: An Open Infrastructure for Global Distributed Computing (from Xen Project)
• Virtuoso: Resource management and prediction for distributed computing using virtual machines
• VIOLIN, SODA: Virtualization-based system for Grid
• In-VIGO (VMPlants): Virtualization middleware for computational grids
• The vMatrix: A Network of Virtual Machine Monitors for Dynamic Content Distribution
• ORE Grid

Emulators

• SimOS: The complete machine simulator
• QEMU: A generic and open source processor emulator which achieves a good emulation speed by using dynamic translation
• Bochs: The open source IA-32 emulation project
• Plex86

ABI-Level Virtualization

• FreeBSD Jail
• Linux-Vserver
• Solaris Zones
• Pitbull LX
• Janus: A security tool for sandboxing untrusted applications within a restricted execution environment
• Software Pot A tool for secure software circulation
• Parrot: A tool for attaching existing programs to remote I/O systems through the filesystem interface

Commercial Products

• VMware
• Microsoft Virtual PC
• SWSoft
• TRANGO: Real-time embedded hypervisor
• Virtual Iron
• Parallels
• SVISTA
• Ensim

• VAX VMM Security Kernel
• IBM VM/370, KVM/370
• IBM PHYP

• Intel Virtualization Technology
• AMD's Virtualization Solutions

Journals, Magazines, Transactions, and Proceedings

• CSUR: ACM Computing Surveys
• TOCS: ACM Transactions on Computer Systems
• SOSP: ACM Symposium on Operating System Principles
• ASPLOS: ACM International Conference on Architectural Support for Programming Languages and Operating Systems
• VEE: ACM/USENIX International Conference on Virtual Execution Environments
• PODC: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
• SPAA: ACM Symposium on Parallel Algorithms and Architectures
• ICS: ACM International Conference on Supercomputing
• PPoPP: ACM SIGPLAN symposium on Principles and practice of parallel programming
• EuroSys
• OSDI: USENIX Symposium on Operating Systems Design and Implementation
• USENIX: USENIX Annual Technical Conference
• NSDI: USENIX Symposium on Networked Systems Design and Implementation
• HPDC: IEEE International Symposium on High Performance Distributed Computing
• IPDPS: IEEE International Parallel and Distributed Processing Symposium
• ICDCS: IEEE International Conference on Distributed Computing Systems
• IEEE Transactions on Parallel and Distributed Systems
• IEEE Computer Magazine
• SC: ACM/IEEE Conference on Supercomputing
• SACSIS: Annual Symposium on Advanced Computing Systems and Infrastructures
• ComSys: IPSJ Computer System Symposium
• SWoPP: Summer United Workshops on Parallel, Distributed and Cooperative Processing
• SPA: JSSST Workshop for Systems on Programming and Applications

Miscellaneous Information

• ACM Digital Library
• USENIX Online Proceedings of Conferences
• IEEE Xplore
• CiteSeer: Computer and Information Science Papers CiteSeer Publications ReserachIndex
• Google Scholar

• SIGOPS: ACM Special Interest Group on Operating Systems
• Systems Research Group @ University of Cambridge
• MIT CSAIL Parallel and Distributed Operating Systems
• The Stanford SUIF Compiler Group

• IA-32 Intel Architecture Software Developer's Manuals
• AMD64 Architecture Tech Docs
• Daniel P. Bovet and Marco Cesati, Understanding the Linux Kernel, Oreilly
• James E. Smith, Ravi Nain, and Ravi Nair, Virtual Machines: Versatile Platforms For Systems And Processes, Morgan Kaufmann, 2005

• OSRC: The Operating System Resource Center
• Resource Virtualization Reading List
• Multics
• Robert P. Goldberg, Survey of Virtual Machine Research. IEEE Computer Magazine, 7(6), June 1974
• R. Figueiredo, P. Dinda, and J. Fortes, Editors, Resource Virtualization Renaissance, IEEE Computer, 38(5), pp. 28-69, May 2005
• Devine et al.,Virtualization System Including a Virtual Machine Monitor for a Computer with a Segmented Architecture, United States Patent 6,397,242, May 28, 2002
• Open Interfaces and Formats (@ VMware)
• Virtualization from Wikipedia, the free encyclopedia
• About Virtualization