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

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

Publisher's Version Info

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

Publisher's Version

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

Publisher's Version

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

proc time: 3.32