CI-EN: Collaborative: Run Your Research with Redex

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

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.