High-performance Deterministic Concurrency Using Lingua Franca

C Menard, M Lohstroh, S Bateni, M Chorlian… - ACM Transactions on …, 2023 - dl.acm.org
Actor frameworks and similar reactive programming techniques are widely used for building
concurrent systems. They promise to be efficient and scale well to a large number of cores or …

Lore: A programming model for verifiably safe local-first software

J Haas, R Mogk, E Yanakieva, A Bieniusa… - ACM Transactions on …, 2024 - dl.acm.org
Local-first software manages and processes private data locally while still enabling
collaboration between multiple parties connected via partially unreliable networks. Such …

Failure Transparency in Stateful Dataflow Systems (Technical Report)

A Veresov, J Spenger, P Carbone, P Haller - arXiv preprint arXiv …, 2024 - arxiv.org
Failure transparency enables users to reason about distributed systems at a higher level of
abstraction, where complex failure-handling logic is hidden. This is especially true for …

Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks

T Kamina, T Aotani, H Masuhara - 35th European Conference on …, 2021 - drops.dagstuhl.de
Signals are principal abstraction in reactive programming languages and constitute the
basics of reactive computations in modern systems, such as the Internet of Things. Signals …

Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine

B Oeyen, J De Koster, W De Meuter - Proceedings of the 9th ACM …, 2022 - dl.acm.org
Reactive programming has many applications for embedded devices in IoT and other
application domains. For these constrained devices it is crucial to bound the overhead of the …

Distributed Persistent Signals: Architecture and Implementation

T Kamina, S Ueno - Proceedings of the 9th ACM SIGPLAN International …, 2022 - dl.acm.org
A signal in reactive programming (RP) is a function of time whose value is updated
automatically without performing explicit re-assignments. SignalJ, a Java-based RP …

Hamband: RDMA replicated data types

F Houshmand, J Saberlatibari, M Lesani - Proceedings of the 43rd ACM …, 2022 - dl.acm.org
Data centers are increasingly equipped with RDMAs. These network interfaces mark the
advent of a new distributed system model where a node can directly access the remote …

Connected self-organized citizens in crises: An interdisciplinary resilience concept for neighborhoods

S Haesler, R Mogk, F Putz, KT Logan… - … Publication of the 2021 …, 2021 - dl.acm.org
When facing major crisis events, such as earthquakes, flooding, or attacks on infrastructure,
people start to organize within their neighborhoods. While this has historically been an …

Implementing a language for distributed systems: Choices and experiences with type level and macro programming in scala

P Weisenburger, G Salvaneschi - arXiv preprint arXiv:2002.06184, 2020 - arxiv.org
Multitier programming languages reduce the complexity of developing distributed systems
by developing the distributed system in a single coherent code base. The compiler or the …

[PDF][PDF] An Effective Fault-Tolerance Technique in Web Services: An Approach based on Hybrid

F He, KR Kalantari, A Ebrahimnejad, Q Branch, I Azad… - 2022 - researchgate.net
Software rejuvenation is an effective technique to counteract software aging in continuously-
running application such as web service based systems. In client-server applications, where …