CAREER: Automatically Generating and Processing Program Analyses and Optimizations

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

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.