Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece

6th Workshop on Reactive and Event-based Languages & Systems

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.

Accepted Papers

Title
Concurrency Control of JavaScript with Arrows
REBLS
Event-Based Parsing
REBLS
GRASS: Generic Reactive Application-Specific Scheduling
REBLS
Multitier Reactive Programming in High Performance Computing
REBLS
File Attached
Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems
REBLS
DOI
Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks
REBLS
File Attached

Call for Papers

Even though reactive programming and event-based programming are receiving ever more attention, the field is far from mature. This workshop will join forces and try to gather researchers working on the foundational models, languages and implementation technologies. We welcome all submissions on reactive programming, aspect- and event-oriented systems, including but not limited to:

  • Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks.
  • Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, mutable state, concurrency.
  • Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications.
  • Functional-reactive programming, self-adjusting computation and incremental computing.
  • Synchronous languages, modeling 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. IDEs, Tools.
  • Implementation technology, language runtimes, virtual machine support, compilers.
  • Modularity and abstraction mechanisms in large systems.
  • Formal models for reactive and event-based programming.

The format of the workshop is that of a mini-conference. Participants can present their work in slots of 30 mins with Q&A included. 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.

Previous editions

REBLS’18 REBLS’17 REBLS’16 REBLS’15 REBLS’14 REM’13

Submissions

REBLS encourages submissions of two types of papers:

  • Research results: complete works that 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 be formatted according to the instructions for the authors below.
  • Full papers can be up to 10 pages in length including references.
  • In progress papers can be up to 6 pages.
  • Authors are required to explicitly specify the type of paper in the submission.

Instructions for the Authors:

For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions may be rejected without review.

Submission Site

Please take a moment to read the instructions below before using the submission site.

Concurrent Submissions

Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.

Format

Submissions should use the ACM SIGPLAN Conference acmart Format with sigplan Subformat, 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 provided ACM SIGPLAN acmart Templates provided here. Otherwise, follow the author instructions.

If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission with the LaTeX \settopmatter{printfolios=true} command. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Publication (Digital Library Early Access Warning)

AUTHORS TAKE NOTE: The official publication date 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 affects the deadline for any patent filings related to published work.

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

Mon 21 Oct

Displayed time zone: Beirut change

09:00 - 10:30
KeynoteREBLS at Room 3B
09:00
10m
Day opening
Opening
REBLS

09:10
80m
Talk
Streams, Reactivity and FRP: where we are, where to go
REBLS
Ivan Perez NIA / NASA Formal Methods
10:30 - 11:00
Coffee breakCatering at Break area
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Language design and implementationREBLS at Room 3B
Chair(s): Tetsuo Kamina Oita University
11:00
30m
Talk
Concurrency Control of JavaScript with Arrows
REBLS
Tian Zhao University of Wisconsin-Milwaukee, Adam Berger University of Wisconsin -- Milwaukee, Yonglun Li University of Wisconsin -- Milwaukee
11:30
30m
Talk
Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems
REBLS
Yoshitaka Sakurai Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
DOI
12:00
30m
Talk
Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks
REBLS
David Richter Technical University of Darmstadt, Ragnar Mogk Technische Universität Darmstadt
File Attached
12:30 - 14:00
14:00 - 15:30
Domain specific applicationsREBLS at Room 3B
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology
14:00
30m
Talk
GRASS: Generic Reactive Application-Specific Scheduling
REBLS
Marcel Blöcher TU Darmstadt, Matthias Eichholz TU Darmstadt, Pascal Weisenburger Technische Universität Darmstadt, Patrick Eugster Universita della Svizzera Italiana, Switzerland, Mira Mezini Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
14:30
30m
Talk
Event-Based Parsing
REBLS
Vadim Zaytsev Raincode Labs, Belgium
15:00
30m
Talk
Multitier Reactive Programming in High Performance Computing
REBLS
Daniel Sokolowski Technische Universität Darmstadt, Philipp Martens Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
File Attached
15:30 - 16:00
Coffee breakCatering at Break area
15:30
30m
Coffee break
Break
Catering