REBLS 2023 – Proceedings

10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2023)

Frontmatter

Papers

Thorium: A Language for Bounded Verification of Dynamic Reactive Objects
Kevin Baldor, Xiaoyin Wang, and Jianwei Niu
(University of Texas at San Antonio, USA; Southwest Research Institute, USA)

Publisher's Version Article: splashws23reblsmain-p41-p doi:10.1145/3623506.3623574

Actix-Telepathy
Phillip Wenig and Thorsten Papenbrock
(Hasso Plattner Institute, Germany; University of Potsdam, Germany; University of Marburg, Germany)

Publisher's Version Article: splashws23reblsmain-p64-p doi:10.1145/3623506.3623575

Realizing Persistent Signals in JavaScript
Daichi Hidaka and Tetsuo Kamina
(Oita University, Japan)

Publisher's Version Article: splashws23reblsmain-p72-p doi:10.1145/3623506.3623576

ComPOS: A DSL for Composing IoT Systems with Weak Connectivity
Alfred Åkesson, Görel Hedin, and Niklas Fors
(Lund University, Sweden)

Publisher's Version Article: splashws23reblsmain-p78-p doi:10.1145/3623506.3623577

Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, and Takuo Watanabe
(Tokyo Institute of Technology, Japan)

Publisher's Version Article: splashws23reblsmain-p94-p doi:10.1145/3623506.3623578

proc time: 0.01