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.