SPLASH Workshop/Symposium Events 2023
2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2023)
Powered by
Conference Publishing Consulting

10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2023), October 23, 2023, Cascais, Portugal

REBLS 2023 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Chair

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: 2.87