Dynamic Virtual Machine
Description	A very high level virtual machine capable of hosting both dynamically and statically typed programming languages. The machine will support, and be able to optimize in the face of, extreme dynamism, including changing methods and type relationships at runtime. This will allow direct support of "mutable MOP's" (Metaobject Protocols).
Deliverables	A virtual machine and front ends from various languages (such as Java, Dylan, Scheme) to the VM.
Contributions	Novel techniques for efficient implementation in the face of dynamic language features. An infrastructure for experimentation with language design, Aspect-Oriented Programming, and adaptive system implementation.
Researchers	Greg Sullivan
Language	Mostly written in Scheme, at the moment.
Subprojects	Runtime partial evaluation, optimistic optimization.