Micro Virtual Machines: Abstraction, contained

该项目将解决广泛使用的软件中的一个系统性低效来源，该来源导致许多程序运行速度慢达十倍，并消耗比必要的能源多得多的能源，缩短手机电池寿命，增加大型服务器群的成本。这种低效是地方性的，因为它是由于底层语言而不是特定的软件造成的。这个项目将通过开发一种称为微型虚拟机的高效率基板来解决这个问题，在这种基板上可以构建语言。

This project will address a systemic source of inefficiency in widely used software which leads to many programs running as much as ten times slower and using considerably more energy than necessary, shortening battery life on mobile phones and increasing costs for large server farms. This inefficiency is endemic because it is due to the underlying languages rather than the particular software. This project will address this problem by developing a high efficiency substrate, called a micro virtual machine, on which languages may be built.