CAREER: Automatically Generating and Processing Program Analyses and Optimizations

职业：自动生成和处理程序分析和优化

• 批准号: 0644306
• 负责人: Sorin Lerner
• 金额: $ 40万
• 依托单位: University of California-San Diego
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-04-15 至 2012-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0644306&HistoricalAwards=false
• 关键词: CAREER; Automatically; Generating; Processing; Program

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.

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