课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
标题:SHF:Small:Collaborative Research:编译器指导`‘编译器指导’(Dialog)项目代表了对编程语言工具和技术的投资。软件工程师每天使用高级编程语言来生成每个人都使用的应用程序和控制每个人生活的应用程序。一旦编程语言翻译器接受程序在语法上是正确的,它就会创建难以理解的计算机代码,而不会通知程序员这些代码将工作得有多好(快或慢、小或大、耗能或高效)。事实上,现代编程语言采用了越来越复杂的翻译技术,已经成为工作中的工程师难以理解的黑匣子。对话项目的目标是在这些翻译过程和软件工程师之间建立沟通渠道,期望后者能够利用这种新的信息源来提高他们软件的速度、大小或能耗。PI将在两个优化编译器设置中探索Dialog的思想,一个在传统方面,另一个在现代方面:对于球拍语言,他们可以根据需要修改教学和研究工具,以创建所需的渠道,以及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
  • 负责人:
    高学文
  • 依托单位: