CSC 7700: Virtualization

General Information

• Syllabus

Assignments

• Annotated Bibliography

Reading

• p-System: Description, Background, Utilities
  UCSD.
• The Java Virtual Machine Specification
  Tim Lindholm and Frank Yellin. Sun Microsystems.
• Technical Overview of the Common Language Runtime
  Erik Meijer and John Gough. Microsoft.
• Supporting Huge Address Spaces
  Ronald Veldema and Michael Philippsen. LCPC 2007.
• Fast, Effective Code Generation in a Just-In-Time Java Compiler
  Ali-Reza Adl-Tabatabai, et al. SIGPLAN 1998.
• Adaptive Optimization in the Jalapeno JVM
  Matthew Arnold, et al. OOPSLA 2000.
• The Multi-Tasking Virtual Machine: Building a Highly Scalable JVM
  Janice Heiss. Sun Microsystems.
• Multitasking without Compromise: a Virtual Machine Evolution
  Greg Czajkowski and Laurent Daynes. OOPSLA 2001.
• Incommunicato: Efficient Communication for Isolates
  Krzysztof Palacz, et al. OOPSLA 2002.
• Improving the Java Memory Model using CRF
  Jan-Willem Maessen, Arvind, and Xiaowei Shen. OOPSLA 2000.
• An Overview of Virtual Machine Architectures
  J.E. Smith and Ravi Nair. Morgan Kaufmann, 2004.
• A Comparison of Software and Hardware Techniques for x86 Virtualization
  Keith Adams and Ale Agesen. ASPLOS 2006.
• Supporting Exception Handling for Futures in Java
  Lingli Zhang, Chandra Krintz, and Priya Nagpurkar. PPPJ 2007.
• An Efficient Data Location Protocol for Self-organizing Storage Clusters
  Hong Tang and Tao Yang. Supercomputing 2003.
• Dimorphic Computing
  H. Andres Laga-Cavilla, et al. CMU Tech Report CMU-cs-06-123, 2006.
• Pervasive Personal Computing in an Internet Suspend/Resume System
  Mahadev Satyanarayanan, et al. IEEE Internet Computing, March 2007.
• Task-Aware Garbage Collection in a Multi-Tasking Virtual Machine
  Sunil Soman, Laurent Daynes, and Chandra Krintz. ISMM 2006.
• Xen and the Art of Virtualization
  Paul Barham, et al. SOSP 2003.
• Safe Hardware Access with the Xen Virtual Machine Monitor
  Keir Fraser, et al.
• PyPy's Approach to Virtual Machine Construction
  Armin Rigo and Samuele Pedroni.
• The Embedded Machine: Predictable, Portable Real-Time Code
  Thomas A. Henzinger and Christoph M. Kirsch. PLDI 2002.
• Giotto: A Time-triggered Language for Embedded Programming
  Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch. International Workshop on Embedded Software, 2001.
• Embedded Control Systems Development with Giotto
  Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch. LCTES 2001.