课题基金 / 基金详情

SHF: SMALL: COLLABORATIVE RESEARCH: Compiler Coaching

SHF: SMALL: COLLABORATIVE RESEARCH: Compiler Coaching
SHF:小型:协作研究:编译器指导
批准号:
1421652
负责人:
Sam Tobin-Hochstadt
金额:
$13.62万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-07-01 至 2017-06-30

项目摘要

项目成果

Sam Tobin-Hochstadt的其他基金

相似基金

相关文献

中文摘要
翻译
“编译器指导”(对话)项目代表了对编程语言工具和技术的投资。软件工程师每天使用高级编程语言来制作每个人都在使用的应用程序和应用程序,这些应用程序和应用程序控制着每个人的生活。一旦编程语言翻译器接受了一个语法正确的程序,它就会创建难以理解的计算机代码,而不告诉程序员这些代码的工作效果如何(快或慢,小或大,消耗能量或高效)。事实上,现代编程语言采用了越来越复杂的翻译技术,对于工作中的工程师来说,它们已经变成了模糊的黑盒子。Dialog项目的目标是在这些翻译过程和软件工程师之间建立沟通的渠道,期望后者可以使用这个新的信息源来提高其软件的速度、大小或能耗。pi将在两种优化编译器设置中探索Dialog的思想,一种是传统的,一种是现代的:用于Racket语言,一种他们可以根据需要修改以创建所需通道的教学和研究工具,以及JavaScript编程语言,现有Web应用程序的标准化工具。智力上的优点涉及到创建这样的沟通渠道和框架的基本原则,这些渠道和框架用于收集关于这些渠道如何使工作中的软件工程师受益的经验证据。这些结果应该使任何编程语言的开发人员都能够实现类似的通信渠道来帮助他们的客户。更广泛的影响是双重的。一方面,由于工业编程语言的创造者采用了Dialog的思想,该项目可能会对软件工程师的工作产生积极的影响。另一方面,该项目将为一个已有20年历史的开源编程语言项目做出贡献,该项目在多个层面上都有广泛而长期的教育推广历史。这个项目过去影响了成千上万的高中生,将来也可能会影响到他们。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: MEDIUM: Performant Sound Gradual Typing
  • 批准号:
    1763922
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $119.21万
  • 财政年份:
    2018
  • 负责人:
    Sam Tobin-Hochstadt
  • 依托单位:
SPX: Collaborative Research: Eat your Wheaties: Multi-Grain Compilers for Parallel Builds at Every Scale
  • 批准号:
    1725679
  • 项目类别:
    Standard Grant
  • 资助金额:
    $40.0万
  • 财政年份:
    2017
  • 负责人:
    Sam Tobin-Hochstadt
  • 依托单位:
SHF: Small: Behavioral Software Contract Verification
  • 批准号:
    1540276
  • 项目类别:
    Standard Grant
  • 资助金额:
    $34.22万
  • 财政年份:
    2015
  • 负责人:
    Sam Tobin-Hochstadt
  • 依托单位:
SHF: Small: Behavioral Software Contract Verification
  • 批准号:
    1218390
  • 项目类别:
    Standard Grant
  • 资助金额:
    $40.0万
  • 财政年份:
    2012
  • 负责人:
    Sam Tobin-Hochstadt
  • 依托单位:
国内基金
海外基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2022
  • 负责人:
    张祥忠
  • 依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    高学文
  • 依托单位: