CAREER: Bridging the Gap Between Prototyping and Production

职业：缩小原型设计和生产之间的差距

• 批准号: 1360694
• 负责人: Jeremy Siek
• 金额: $ 40.7万
• 依托单位: Indiana University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-08-01 至 2016-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1360694&HistoricalAwards=false
• 关键词: CAREER; Bridging; Gap; Between; Prototyping

Modern software engineering methods improve programmer productivity by taking an incremental approach to software development. Software engineers rapidly develop prototypes and then iteratively refine the prototypes into production systems. However, today's programming systems do not support a smooth transition from prototyping to production. On one hand, scripting languages and interactive environments support prototyping while on the other hand conventional programming languages and optimizing compilers support the development of reusable and efficient production codes. Neither support both prototyping and production, so developers use a mixture of programming systems. This practice incurs many costs such as the impedance mismatch of inter-language data transfers and the time to translate programs between languages.The goal of this research is to discover the scientific principles necessary for a single programming system to effectively support the incremental refinement of prototypes into production software. To accomplish this research objective, classic conflicts between flexibility and safety and between abstraction and performance need to be resolved. To achieve both flexibility and safety, the research will investigate ways to combine dynamic and static type checking, using an approach called gradual typing. To achieve both abstraction and performance, the research will develop a domain-specific compiler for linear algebra and show how show how high-level abstractions can provide greater opportunities for compiler optimization than conventional abstractions such as loops and scalar operations. The broader impacts of the project arise from improvements to programmer productivity and software quality.

现代软件工程方法通过采用增量式软件开发方法来提高程序员的生产力。软件工程师快速开发原型，然后迭代地将原型改进为生产系统。 然而，今天的编程系统不支持从原型到生产的平滑过渡。一方面，脚本语言和交互式环境支持原型，而另一方面，传统的编程语言和优化编译器支持可重用和高效的生产代码的开发。两者都不支持原型和生产，因此开发人员使用混合编程系统。 这种做法会产生许多成本，如阻抗不匹配的跨语言数据传输和时间之间的程序翻译language.The本研究的目标是发现一个单一的编程系统，以有效地支持增量细化到生产软件的原型所需的科学原则。为了实现这一研究目标，需要解决灵活性和安全性以及抽象和性能之间的经典冲突。为了同时实现灵活性和安全性，本研究将研究结合联合收割机动态和静态类型检查的方法，使用一种称为渐进类型的方法。为了实现抽象和性能，研究将开发一个特定于领域的线性代数编译器，并展示如何显示高层次的抽象如何比传统的抽象，如循环和标量操作，可以提供更大的机会编译器优化。该项目更广泛的影响来自程序员生产力和软件质量的提高。