CAREER: Automatically Generating and Processing Program Analyses and Optimizations

开发高效、可扩展、正确和精确的程序分析和优化器是困难的。在一个新的优化编译器成熟到足以被广泛使用之前，有很长一段时间，通常长达十年。这些困难阻碍了新语言和新体系结构的开发，并且还会阻碍最终用户程序员使用特定于领域的检查器或优化器扩展编译器。将研究从非常高级的规范中自动生成高效、可伸缩、正确和精确的数据流分析器和优化器的技术。最重要的主题是理解设计程序分析和优化背后的基本原则，并利用这种理解尽可能地自动化编写分析程序和优化程序的过程。尝试自动化编写分析器和优化器的过程为编译器提供了许多新的使用模型，包括：允许最终用户程序员使用特定于领域的检查器或优化器轻松扩展编译器；允许最终用户程序员根据额外的输入输出示例不断训练编译器，即使在它部署之后；当优化器发现需要新的数据流信息时，自动生成额外的分析，并在执行时将这些新的分析链接到优化器中。

Developing efficient, scalable, correct, and precise program analyzers and optimizers is difficult. There is a long time, often up to a decade, before a new optimizing compiler is mature enough to be widely used. These difficulties hinder the development of new languages and new architectures, and can also discourage end-user programmers from extending compilers with domain-specific checkers or optimizers.Techniques will be investigated for automatically generating efficient, scalable, correct, and precise dataflow analyzers and optimizers from a very high-level specification. The overarching theme is to understand the underlying principles behind designing program analyses and optimizations, and use this understanding to automate as much as possible the analyzer- and optimizer-writing process. Attempting to automate the process of writing analyzers and optimizers enables many new kinds of usage models for compilers, including: allowing end-user programmers to easily extend the compiler with domain-specific checkers or optimizers; allowing end-user programmers to continuously train the compiler, even after it is deployed, based on additional input-output examples; and automatically generating additional analyses when the optimizer discovers the need for new dataflow information, and linking these new analyses into the optimizer while in execution.