Collaborative Research: SHF: Medium: Environment-Centric Analysis and Optimization for Higher-Order Languages

合作研究：SHF：中：高阶语言的以环境为中心的分析和优化

• 批准号: 2212537
• 负责人: Olin Shivers
• 金额: $ 66.4万
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2022
• 资助国家: 美国
• 起止时间: 2022-07-01 至 2026-06-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2212537&HistoricalAwards=false
• 关键词: Collaborative; Research; SHF; Medium; Environment

The project concerns the modular compilation of a class of powerful,mathematically based programming languages -- "higher-order functionalprogramming languages." Owing to their expressive power, these high-levellanguages are great for programmers, but difficult to implement efficiently.The project's impacts are to make it possible for programmers to write softwarethat is more robust, more secure, easier to reason about, and with fewer bugs,even in application arenas where high performance is necessary. The project'snovelties are two: its use of an annotated intermediate representation, called3CPS, that allows "facts" determined by program analysis and "decisions"determined by optimization policies to be associated with the program'srepresentation; and a suite of higher-order control-flow analyses designed todirect transformations on programs in the 3CPS form. The goal of the work is todevelop the architecture of a compiler that has higher-order flow analysis atits center -- to explore the transformations and optimizations that are enabledby this combination of reasoning engine and code representation.One of the most important classes of fact annotations is explicit informationabout the environment structure required to manage bindings of variables; thisis designed to be closely connected to the run-time machine resources neededfor these bindings (heap records, stack frames and registers). This informationis key to mapping the source language efficiently onto these resources. The3CPS intermediate form is unusual as an intermediate representation in that,while it has direct connections to the target machine's hardware resources, itremains a higher-order, lambda-calculus representation. In particular, such adesign enables specialized representations of environment structure, such asdisplays; specializing function linkages on a per-call basis; and the abilityto bind variables and allocate functions in the registers or on the stack.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该项目关注的是一类强大的、基于数学的编程语言--“高阶函数编程语言”的模块化编译。“由于它们的表达能力，这些高级语言对程序员来说很棒，但很难有效地实现。该项目的影响是使程序员能够编写更健壮、更安全、更容易推理、错误更少的软件，即使在需要高性能的应用程序领域也是如此。该项目的新颖之处有两个：它使用了一种被称为3CPS的带注释的中间表示，它允许由程序分析确定的“事实”和由优化策略确定的“决策“与程序的表示相关联;以及一套高阶控制流分析，旨在以3CPS形式指导程序的转换。工作的目标是开发一个具有高阶流分析的编译器的体系结构，其中心是探索由推理引擎和代码表示的组合所实现的转换和优化。事实注释的最重要的类别之一是关于管理变量绑定所需的环境结构的显式信息;这被设计为与这些绑定所需的运行时机器资源（堆记录、堆栈帧和寄存器）紧密相连。这些信息是将源语言有效映射到这些资源的关键。3CPS中间形式作为中间表示是不寻常的，虽然它直接连接到目标机器的硬件资源，但它仍然是一个高阶的微积分表示。特别是，这样的设计使环境结构的专门表示，如显示器;专门功能链接在每次调用的基础上;和能力绑定变量和分配功能的寄存器或stack.This奖项反映了NSF的法定使命，并已被认为是值得通过评估使用基金会的智力价值和更广泛的影响审查标准的支持。

项目成果

Analyzing binding extent in 3CPS

分析 3CPS 中的结合程度

• DOI: 10.1145/3547645
• 发表时间: 2022
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Quiring, Benjamin;Reppy, John;Shivers, Olin
• 通讯作者: Shivers, Olin

3CPS: The Design of an Environment-Focussed Intermediate Representation

3CPS：以环境为中心的中间表示的设计

• DOI: 10.1145/3544885.3544889
• 发表时间: 2021
• 期刊: IFL '21: 33rd Symposium on Implementation and Application of Functional Languages
• 作者: Quiring, Benjamin;Reppy, John;Shivers, Olin
• 通讯作者: Shivers, Olin