REBLS 2023
who it's for
distributed systems engineers, embedded systems engineers, IoT developers, programming language designers, formal verification engineers, Rust developers, web developers, actor framework developers
topics
distributed event-based systems; periodic and aperiodic tasks; glitch-free reactor semantics; SMT-based counterexample traces; CRDT replication via static analysis; epoch-tagged abort semantics; FreeRTOS interrupt dispatch; WebAssembly on IoT devices; actor remote messaging and clustering; persistent signals in browser; time-series relay server architecture; IoT service composition DSL
| title | author | length |
|---|---|---|
| Implementing, verifying and debugging distributed event-based systems | Elisa Gonzalez Boix | 01h 30m |
Argues that sequential data types can be lifted to replicated, mostly coordination-free objects by attaching concurrency invariants and feeding them to a… | ||
| Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-... | Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe | 36m |
Extends Emfrp into EV mfrp that adds timing-typed discrete nodes and operators like at_last, at_now, merge and partialization so periodic (e.g. 500→1000 ms)… | ||
| Thorium: Verifiable, Dynamic, Reactive Software | Kevin Baldor, Jianwei Niu, Xiaoyin Wang | 39m |
A new declarative language called Thorium language models reactive programs as named reactors that can be swapped by module substitution and aims for… | ||
| ComPOS: a DSL for Composing IoT Systems With Weak Connectivity | Alfred Åkesson, Görel Hedin, Niklas Fors | 28m |
ComPOS is a small DSL for coordinating IoT services that implements stateful message mediation with nested and parallel message sequences and anonymous… | ||
| Actix-Telepathy | Phillip Wenig, Thorsten Papenbrock | 25m |
Actix‑Telepathy is an Actix extension that adds remote messaging and clustering to Rust actors by deriving remote actor/message types, opening TCP network… | ||
| Realizing Persistent Signals in JavaScript | Daichi Hidaka, Tetsuo Kamina | 26m |
Claims a working prototype that brings persistent signals to the browser by implementing them as a DSL library (no JS syntax changes) and mediating… | ||
| nothing matches | ||