SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored.

This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

10:00 - 10:30
10:00
30m
Coffee break
Coffee break
Catering and Social Events

10:30 - 12:00
Session 1REBLS at Seminar Room G125
Chair(s): Tetsuo Kamina Oita University
10:30
30m
Talk
Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems
REBLS
Akihiko Yokoyama Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
DOI Pre-print
11:00
30m
Talk
Semantics of RxJSPre-recorded
REBLS
Tian Zhao University of Wisconsin-Milwaukee, Yonglun Li University of Wisconsin-Milwaukee
DOI
11:30
30m
Talk
About Combining Functional Reactive Programming and Replicated Data TypesPre-recorded
REBLS
Ragnar Mogk Technische Universität Darmstadt, Julian Haas TU Darmstadt
File Attached
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering and Social Events

13:30 - 15:00
Session 2REBLS at Seminar Room G125
Chair(s): Takuo Watanabe Tokyo Institute of Technology
13:30
30m
Talk
FLOREnce: A Hybrid Logic-Functional Reactive Programming Language
REBLS
Louise Van Verre Vrije Universiteit Brussel, Humberto Rodriguez Avila Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI
14:00
30m
Talk
Distributed Persistent Signals: Architecture and Implementation
REBLS
Tetsuo Kamina Oita University, Sota Ueno Oita University
DOI
14:30
30m
Talk
Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine
REBLS
Bjarno Oeyen Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Pre-print
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering and Social Events

Call for Papers

A number of publications on middleware and language design – so-called reactive and event-based languages and systems (REBLS) – have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is still lacking, and modularity mechanisms remain largely unexplored. Moreover, large applications are still to be developed, and, consequently, patterns and tools for developing large reactive applications are still in their infancy.

This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to better define the field by developing taxonomies and discussing overviews of the existing work.

We welcome all submissions on reactive programming, functional reactive programming, and event- and aspect-oriented systems, including but not limited to:

  • Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks.
  • Formal models for reactive and event-based programming.
  • Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, pure functional programming, mutable state, concurrency.
  • Modularity and abstraction mechanisms in large systems.
  • Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications.
  • Functional Reactive Programming (FRP), self-adjusting computation and incremental computing.
  • Synchronous languages, modeling and verification of real-time systems, safety-critical reactive and embedded systems.
  • Applications, case studies that show the efficacy of reactive programming.
  • Empirical studies that motivate further research in the field.
  • Patterns and best-practices.
  • Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming.
  • Implementation technology, language runtimes, virtual machine support, compilers.
  • IDEs, Tools.

The format of the workshop is that of a mini-conference where participants present their work. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos.

Submissions

REBLS encourages submissions of two types of papers:

  • Full papers: papers that describe complete research results. These papers will be published in the ACM digital library.

  • In-progress papers: papers that have the potential of triggering an interesting discussion at the workshop or present new ideas that require further systematic investigation. These papers will not be published in the ACM digital library.

Format

  • Submissions should use the ACM SIGPLAN Conference acmart format with the two-column, sigplan sub-format, 10 point font, using Biolinum as sans-serif font and Libertine as serif font. All submissions should be in PDF format. If you use LaTeX or Word, please use the ACM SIGPLAN acmart Templates. The page http://www.sigplan.org/Resources/Author/#acmart-format contains instructions for authors, and a package that includes an example file sample-sigplan.tex.

  • Authors are required to explicitly specify the type of paper in the submission (i.e., full paper, in-progress paper).

  • Full papers can be up to 12 pages in length, excluding references. In-progress papers can be up to 6 pages, excluding references. Papers do not need to make use of all pages, but they will be summarily rejected if they exceed the page limits.

Instructions for Authors

AUTHORS TAKE NOTE: The official publication date for full papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date may affect the deadline for any patent filings related to published work.

Questions? Use the REBLS contact form.