SHF: Small: Collaborative Research: Compiler Coaching

SHF：小型：协作研究：编译器指导

• 批准号: 1421412
• 负责人: Matthias Felleisen
• 金额: $ 31.64万
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-07-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1421412&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Compiler

Title: SHF: Small: Collaborative Research: Compiler CoachingThe ``Compiler Coaching'' (Dialog) project represents an investment in programming language tools and technology. Software engineers use high-level programming languages on a daily basis to produce the apps and applications that everyone uses and that control everybody's lives. Once a programming language translator accepts a program as grammatically correct, it creates impenetrable computer codes without informing the programmer how well (fast or slow, small or large, energy hogging or efficient) these codes will work. Indeed, modern programming languages employ increasingly sophisticated translation techniques and have become obscure black boxes to the working engineer. The goal of the Dialog project is to create channels of communication between these translation processes and software engineers, with the expectation that the latter can use this new source ofinformation to improve the speed, size, or energy consumption of their software.The PIs will explore the Dialog idea in two optimizing compiler settings, one on the conventional side and one on the modern one: for the Racket language, a teaching and research vehicle that they can modify as needed to create the desired channel, and the JavaScript programming language, the standardized tool for existing Web applications. The intellectual merits concern the fundamental principles of creating such communication channels and frameworks for gathering empirical evidence on how these channels benefit the working software engineer. These results should enable the developers of any programming language to implement similar channels of communication to help their clients. The broader impacts are twofold. On one hand, the project is likely to positively impact the lives of working software engineers as industrial programming language creators adapt the Dialog idea. On the other hand, the project will contribute to a two-decades old, open-source programming language project with a large and longstanding history of educational outreach at multiple levels. The project has influenced hundreds of thousands of high school students in the past and is likely to do so in the future.

标题：SHF：小型：协作研究：编译器指导“编译器指导”（对话）项目代表了对编程语言工具和技术的投资。 软件工程师每天使用高级编程语言来开发每个人都使用并控制每个人生活的应用程序和应用程序。一旦编程语言翻译器接受一个程序在语法上是正确的，它就会创建难以理解的计算机代码，而不通知程序员这些代码的工作效果如何（快或慢，小或大，耗能还是高效）。 事实上，现代编程语言采用了越来越复杂的翻译技术，对于工作工程师来说已经成为晦涩难懂的黑匣子。 Dialog 项目的目标是在这些翻译过程和软件工程师之间创建沟通渠道，期望后者能够使用这种新的信息源来提高其软件的速度、大小或能耗。PI 将探索Dialog 的想法有两种优化编译器设置，一种是传统的，一种是现代的：对于 Racket 语言，一种教学和研究工具，他们可以根据需要进行修改以创建所需的通道，而对于 JavaScript 编程语言，现有 Web 应用程序的标准化工具。智力优点涉及创建此类沟通渠道和框架的基本原则，以收集有关这些渠道如何使工作软件工程师受益的经验证据。 这些结果应该使任何编程语言的开发人员能够实现类似的沟通渠道来帮助他们的客户。更广泛的影响是双重的。一方面，随着工业编程语言创建者采用 Dialog 理念，该项目可能会对软件工程师的生活产生积极影响。另一方面，该项目将为一个已有二十年历史的开源编程语言项目做出贡献，该项目在多个层面上具有广泛而悠久的教育推广历史。该项目过去已经影响了数十万高中生，未来也很可能如此。