SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

7th 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.

Follow the event live here:

To interact with participants and the speakers, log into https://splash2020.clowdr.org and find the link to the zoom room for SPLASH-IV on the front page.

Invited Speakers

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

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in Paris (PLMW AMA)PLMW at SPLASH-I
00:20 - 01:00
Talk
PLMW
Sriram RajamaniMicrosoft Research
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 08:20: Welcome to REBLS & KeynoteREBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
07:00 - 07:20
Day opening
REBLS
Ivan PerezNIA / NASA Formal Methods
07:20 - 08:20
Keynote
REBLS
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
09:00 - 10:20: MKeynotes at SPLASH-I +12h
09:00 - 10:20
Keynote
Keynotes
Jonathan BellNortheastern University
Media Attached
09:00 - 10:20: Session 1REBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
09:00 - 09:40
Research paper
REBLS
Manuel AlaborUniversity of Applied Sciences of Eastern Switzerland (OST)
File Attached
09:40 - 10:20
Talk
REBLS
Tetsuo KaminaOita University, Tomoyuki AotaniMamezou Co.,Ltd., Hidehiko MasuharaTokyo Institute of Technology
File Attached
10:20 - 11:00: Breakfast in SeattlePosters at SPLASH-I +12h

Please click the link below for the list of featured posters.

10:20 - 11:00
Poster
Posters
11:00 - 12:20: Session 2REBLS at SPLASH-IV
Chair(s): Mark SantolucitoBarnard College, Columbia University, USA
11:00 - 11:40
Research paper
REBLS
Tian ZhaoUniversity of Wisconsin-Milwaukee, Adam BergerUniversity of Wisconsin -- Milwaukee, Yonglun LiUniversity of Wisconsin -- Milwaukee
File Attached
11:40 - 12:20
Research paper
REBLS
Manuel Bärenzsonnen eServices GmbH
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
13:00 - 14:20: Session 3REBLS at SPLASH-IV
Chair(s): Manuel Bärenzsonnen eServices GmbH
13:00 - 13:40
Talk
REBLS
Adriaan LeijnseUniversidade NOVA de Lisboa
File Attached
13:40 - 14:20
Talk
REBLS
Bjarno OeyenVrije Universiteit Brussel, Sam Van den VonderVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
15:00 - 16:20: Session 4REBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
15:00 - 15:40
Talk
REBLS
Simon SchoenwaelderTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Guido SalvaneschiUniversity of St. Gallen
File Attached
15:40 - 16:00
Day closing
REBLS
Ivan PerezNIA / NASA Formal Methods
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
21:00 - 22:20: MKeynotes at SPLASH-I
21:00 - 22:20
Keynote
Keynotes
Jonathan BellNortheastern University
Media Attached
22:20 - 23:00: Lunch in TokyoPosters at SPLASH-I

Please click the link below for the list of featured posters.

22:20 - 23:00
Poster
Posters

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 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. 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.

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 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 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 acmart-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

  • Papers should be submitted through: https://rebls20.hotcrp.com/

  • For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions will be summarily rejected.

  • Program Committee members are allowed to submit papers, but their papers will be held to a higher standard.

  • Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.

  • All submissions are expected to comply with the ACM Policies for Authorship that are detailed at https://www.acm.org/publications/authors/information-for-authors.

Questions? Use the REBLS contact form.