REBLS公司

反应式编程和基于事件的编程是两种密切相关的编程风格，随着高级HPC技术的出现以及对我们的应用程序在web或协作移动设备上运行的需求不断增加，这两种编程风格变得越来越重要。一些关于中间件和语言设计的出版物，即所谓的反应式和基于事件的语言和系统（REBLS），已经初见端倪，但该领域仍存在一些问题。例如，对与主流语言概念的交互了解甚少，实现技术尚处于初级阶段，模块化机制几乎完全缺乏。此外，大型应用程序仍有待开发，用于开发反应式应用程序的模式和工具是一个尚未探索的领域。

本次研讨会将汇集反应式和基于事件的语言和系统的研究人员。研讨会的目标是交流新的技术研究成果，并通过提出分类法和现有工作概述来更好地定义该领域。

接受的论文

文件征集

许多关于中间件和语言设计的出版物，即所谓的反应式和基于事件的语言和系统（REBLS），已经初见端倪，但这一领域仍存在一些问题。例如，对与主流语言概念的交互了解甚少，实现技术仍然缺乏，模块化机制在很大程度上仍未探索。此外，大型应用程序仍有待开发，因此，用于开发大型反应式应用程序的模式和工具仍处于初级阶段。

本次研讨会将汇集反应式和基于事件的语言和系统的研究人员。研讨会的目标是交流新的技术研究成果，并通过制定分类法和讨论现有工作的概述来更好地定义该领域。

我们欢迎所有关于反应式编程、函数式反应式编程以及面向事件和面向方面系统的提交，包括但不限于：

• 语言设计、实现、运行时系统、程序分析、软件度量、模式和基准测试。
• 反应式和基于事件的编程的形式化模型。
• 研究范式：反应式和基于事件的编程与现有语言特性（如面向对象编程、纯函数编程、可变状态、并发）的交互。
• 大型系统中的模块化和抽象机制。
• 高级事件系统、事件量化、事件合成、面向方面的反应式应用程序编程。
• 功能反应编程（FRP）、自调整计算和增量计算。
• 实时系统、安全关键反应式和嵌入式系统的同步语言、建模和验证。
• 应用程序、案例研究，展示了反应式编程的有效性。
• 推动该领域进一步研究的实证研究。
• 模式和最佳实践。
• 相关领域，如复杂事件处理、反应式数据结构、视图维护、基于约束的语言及其与反应式编程的集成。
• 实现技术、语言运行时、虚拟机支持、编译器。
• IDE、工具。

研讨会的形式是一个小型会议，参与者在会上展示他们的工作。由于反应式程序的声明性质，仅通过查看代码通常很难理解其语义。因此，我们也鼓励作者使用他们的槽来展示基于现场演示的作品。

提交文件

REBLS鼓励提交两种类型的论文：

• 全文：描述完整研究结果的论文。这些论文将在ACM数字图书馆出版。

• 进展中的论文：有可能在研讨会上引发有趣讨论或提出需要进一步系统研究的新想法的论文。这些论文不会在ACM数字图书馆中发表。

格式

• 提交应使用ACM SIGPLAN会议acmart公司两列格式，信号平面图子格式，10点字体，使用Biolinum作为无衬线字体，Libertine作为衬线字体。所有提交文件均应为PDF格式。如果您使用LaTeX或Word，请使用ACM SIGPLAN acmart模板。页面http://www.sigplan.org/Resources/Author/#acmart-格式包含作者的说明，以及包含示例文件的包示例sigplan.tex.

• 作者需要在提交文件中明确指定论文类型（即，整篇论文、正在进行的论文）。

• 全文最多可长达12页，不包括参考文献。进展中的论文最多可以有6页，不包括参考文献。论文不需要使用所有页面，但如果超过页面限制，将被立即拒绝。

作者须知

• 论文应通过以下方式提交：https://rebls23.hotcrp.com
• 为了公平起见，所有提交的论文都应符合格式说明。违反这些指示的提交将被立即拒绝。
• 项目委员会成员可以提交论文，但他们的论文将被要求达到更高的标准。
• 所有提交的文件均应符合ACM的作者政策，详见https://www.acm.org/publications/authors/information-for-authors（网址：https://www.acm.org/publications/authors/information-for-authors）.
• 每次提交都必须遵守SIGPLAN的重新发布政策，如网站上所述http://www.sigplan.org/Resources/Policies/Republication网站.

作者注意：完整论文的官方出版日期是ACM数字图书馆提供论文集的日期。该日期可能最早在会议第一天之前两周。官方发布日期可能会影响与已发布作品相关的任何专利申请的截止日期。