Distributed system development with ScalaLoci

P Weisenburger, M Köhler, G Salvaneschi - Proceedings of the ACM on …, 2018 - dl.acm.org
Distributed applications are traditionally developed as separate modules, often in different
languages, which react to events, like user input, and in turn produce new events for the …

Distributed functional reactive programming on actor-based runtime

K Shibanai, T Watanabe - Proceedings of the 8th ACM SIGPLAN …, 2018 - dl.acm.org
Reactive programming over a network is a challenging task because efficient elimination of
temporary violations of data flow invariants, known as glitches, in a distributed setting is still …

On the semantics of distributed reactive programming: the cost of consistency

A Margara, G Salvaneschi - IEEE Transactions on Software …, 2018 - ieeexplore.ieee.org
The reactive programming paradigm aims to simplify the development of reactive systems. It
provides abstractions to define time-changing values that are automatically updated by the …

PushPin: Towards production-quality peer-to-peer collaboration

P van Hardenberg, M Kleppmann - Proceedings of the 7th Workshop on …, 2020 - dl.acm.org
Fully peer-to-peer application software promises many benefits over cloud software, in
particular, being able to function indefinitely without requiring servers. Research on …

A fault-tolerant programming model for distributed interactive applications

R Mogk, J Drechsler, G Salvaneschi… - Proceedings of the ACM …, 2019 - dl.acm.org
Ubiquitous connectivity of web, mobile, and IoT computing platforms has fostered a variety of
distributed applications with decentralized state. These applications execute across multiple …

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 …

Thread-safe reactive programming

J Drechsler, R Mogk, G Salvaneschi… - Proceedings of the ACM …, 2018 - dl.acm.org
The execution of an application written in a reactive language involves transfer of data and
control flow between imperative and reactive abstractions at well-defined points. In a multi …

Transactional-turn causal consistency

B Martin, L Prosperi, M Shapiro - European Conference on Parallel …, 2023 - Springer
Abstract Function-as-a-Service (FaaS, serverless) computing systems use an actor-like
model that executes a function asynchronously, atomically and in an isolated context …

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 …

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 …