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最初是作为一小群合作研究人员的内部工具开发的，几年前逃脱了实验室，获得了专门的用户社区，现在新用户希望将其用于比最初设想的更大，更复杂的编程语言。 使用此框架，程序员将编程语言模型直接作为软件伪像，比纸笔模型要多一点。接下来，用户调用诊断工具来测试模型的一致性，探索其属性，并检查一般性的主张。该奖项为REDEX提供了一些重大改进：（1）一个模块化系统，该系统使用户可以分割工作，（2）可扩展的性能，以便研究人员可以处理大型模型，以及（3）改进其测试和错误检测系统。该奖项还包括对Redex快速增长的用户社区的教育，例如支持组织教程和讲习班的支持。