ITR: FLINT---A Mobile-Code Infrastructure for Advanced Languages

以Java为代表的平台无关计算是在分布、异构计算平台上开发和执行下一代软件的关键技术。目前最先进的移动代码系统是围绕Java VirtualMachine语言(JVML)构建的。不幸的是，JVML不能很好地支持其他编程语言，而且出了名的低效、复杂和难以扩展。这项研究致力于开发一种新的移动代码基础设施，以消除所有这些弱点。基础设施将基于Flint类型的通用中间格式(也由PI开发)，并将提供对多种编程语言的支持，如Java、ML和C。研究将研究构建证书编译器、更小的虚拟机以及更可扩展的运行时系统的新技术，以编译和运行Flint移动代码。由此产生的基础设施将向公众开放，以支持对携带验证代码和安全互联网编程的其他尖端研究。

Platform-Independent Computing, as popularized by Java, is a keytechnology for developing and executing next generation software ondistributed and heterogeneous computing platforms. The currentstate-of-the-art mobile-code system is built around the Java VirtualMachine Language (JVML). Unfortunately, JVML does not support otherprogramming languages well and is notoriously inefficient, complex,and hard to extend. This research focuses on developing a newmobile-code infrastructure that eliminates all of these weaknesses.The infrastructure will be based on the FLINT typed commonintermediate format (also developed by the PI) and will providesupport to multiple programming languages such as Java, ML, and C. Theresearch will investigate new techniques on building certifyingcompiler, smaller virtual machine, and more extensible runtime systemfor compiling and running the FLINT mobile code. The resultinginfrastructure will be made publicly available to support othercutting-edge research on proof-carrying code and secure internetprogramming.