SHF: Small: Foundations of Just-in-Time Compilation

从Java到Matlab的现代编程语言都依赖于即时编译技术来实现与C或C++等计算机语言竞争的性能。实时编译器与批处理编译器的区别在于，它们可以在程序执行时观察程序的动作，并检查其状态。了解程序的状态和过去的行为，允许编译器执行推测性优化，以提高性能。这项研究的智力价值是设计技术的推理的正确性的转换所执行的即时编译器。该项目更广泛的意义和重要性在于其对工业实践的影响。这项研究的结果将适用于商业即时编译器的语言，如JavaScript和R.该项目开发了一个通用模型的即时编译，包括部署的系统，并允许系统的探索动态编译技术的设计空间。将在这项工作中解决的研究问题在于沿着两个方面：实验-探索动态编译技术的设计空间，并获得权衡的理解;基础-形式化的动态编译器的关键成分和开发技术的推理正确性在一个模块化的方式。

Modern programming languages ranging from Java to Matlab rely on just-in-time compilation techniques to achieve performance competitive with computer languages such as C or C++. What sets just-in-time compilers apart from batch compilers is that they can observe the programs actions as it executes, and inspect its state. Knowledge of the program's state and past behavior, allows the compiler to perform speculative optimizations that improve performance. The intellectual merits of this research are to devise techniques for reasoning about the correctness of the transformations performed by just-in-time compilers. The project's broader significance and importance are its implications to industrial practice. The results of this research will be applicable to commercial just-in-time compilers for languages such as JavaScript and R.This project develops a general model of just-in-time compilation that subsumes deployed systems and allows systematic exploration of the design space of dynamic compilation techniques. The research questions that will be tackled in this work lie along two dimensions: Experimental -- explore the design space of dynamic compilation techniques and gain an understanding of trade-offs; Foundational -- formalize key ingredients of a dynamic compiler and develop techniques for reasoning about correctness in a modular fashion.