CI-EN: Collaborative: Run Your Research with Redex

CI-EN：协作：使用 Redex 进行研究

• 批准号: 1405961
• 负责人: Matthew Flatt
• 金额: $ 20万
• 依托单位: University of Utah
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-08-01 至 2017-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1405961&HistoricalAwards=false
• 关键词: CI; EN; Collaborative; Run; Your

This project will focus on the development of the REDEX tool, a lightweight domain-specific tool for modeling programming languages useful for software development. Originally developed as an in-house tool for a small group of collaborating researchers, REDEX escaped the laboratory several years ago, acquired a dedicated user community, and now new users wish to use it for larger and more complicated programming languages than originally envisioned. Using this framework, a programmer articulates a programming language model directly as a software artifact with just a little more effort than paper-and-pencil models. Next, the user invokes diagnostic tools to test a model's consistency, explore its properties, and check general claims about it. This award funds several significant improvements to REDEX: (1) a modular system that allows its users to divide up the work, (2) scalable performance so that researchers can deal with large models, and (3) improvements to its testing and error-detection system. The award also includes support for the education of REDEX's quickly growing user community, e.g., support for organizing tutorials and workshops.

该项目将专注于REDEX工具的开发，这是一个轻量级的特定于领域的工具，用于对软件开发有用的编程语言进行建模。REDEX最初是为一小群合作研究人员开发的内部工具，几年前逃离了实验室，获得了一个专门的用户社区，现在新用户希望将其用于比最初设想的更大，更复杂的编程语言。 使用这个框架，程序员可以直接将编程语言模型表达为软件工件，只需要比纸笔模型多一点努力。接下来，用户调用诊断工具来测试模型的一致性，探索其属性，并检查关于它的一般声明。该奖项资助了REDEX的几项重大改进：（1）允许用户分配工作的模块化系统，（2）可扩展的性能，以便研究人员可以处理大型模型，（3）改进其测试和错误检测系统。该奖项还包括对REDEX快速增长的用户社区教育的支持，例如，支持组织教程和研讨会。