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.