Program - SPLASH 2023

Detailed Table Column Timeline Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 23 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	keynoteREBLS at Room IV Chair(s): Vadim Zaytsev

09:00 90m Keynote		Implementing, verifying and debugging distributed event-based systems REBLS A: Elisa Gonzalez Boix Vrije Universiteit Brussel Pre-print File Attached

11:00 - 12:30	Technical session 1REBLS at Room IV

11:00 45m Talk		Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems REBLS Kento Sogo Tokyo Institute of Technology, Yuta Tsuji Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology Link to publication DOI Authorizer link
11:45 45m Talk		Thorium: Verifiable, Dynamic, Reactive Software REBLS Kevin Baldor The University of Texas at San Antonio, Jianwei Niu University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio

14:00 - 15:30	Technical session 2REBLS at Room IV Chair(s): Ragnar Mogk Technische Universität Darmstadt

14:00 30m Talk		ComPOS: a DSL for Composing IoT Systems With Weak Connectivity REBLS Alfred Åkesson Lund University, Sweden, Görel Hedin Lund University, Niklas Fors Lund University
14:30 30m Talk		Actix-Telepathy REBLS Phillip Wenig Hasso Plattner Institute, University of Potsdam, Thorsten Papenbrock Philipps-Universität Marburg
15:00 30m Talk		Realizing Persistent Signals in JavaScript REBLS Daichi Hidaka Oita University, Tetsuo Kamina Oita University

REBLS 2023 Program

Mon 23 Oct
Displayed time zone: Lisbon change

Tracks

Co-hosted Conferences

Workshops

REBLS 2023 Program

Switch Program View

Program Display Configuration

Mon 23 OctDisplayed time zone: Lisbon change

Get Calendar (iCal)

Mon 23 Oct
Displayed time zone: Lisbon change