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 ORCID logo, Xiaoyin WangORCID logo, and Jianwei Niu ORCID logo
(University of Texas at San Antonio, USA; Southwest Research Institute, USA)
Publisher's Version
Actix-Telepathy
Phillip Wenig ORCID logo and Thorsten Papenbrock ORCID logo
(Hasso Plattner Institute, Germany; University of Potsdam, Germany; University of Marburg, Germany)
Publisher's Version Info
Realizing Persistent Signals in JavaScript
Daichi Hidaka ORCID logo and Tetsuo Kamina ORCID logo
(Oita University, Japan)
Publisher's Version
ComPOS: A DSL for Composing IoT Systems with Weak Connectivity
Alfred Åkesson ORCID logo, Görel Hedin ORCID logo, and Niklas Fors ORCID logo
(Lund University, Sweden)
Publisher's Version
Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
Kento Sogo ORCID logo, Yuta Tsuji ORCID logo, Sosuke Moriguchi ORCID logo, and Takuo Watanabe ORCID logo
(Tokyo Institute of Technology, Japan)
Publisher's Version

proc time: 3.29