High-performance Deterministic Concurrency Using Lingua Franca
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 …
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
Local-first software manages and processes private data locally while still enabling
collaboration between multiple parties connected via partially unreliable networks. Such …
collaboration between multiple parties connected via partially unreliable networks. Such …
Failure Transparency in Stateful Dataflow Systems (Technical Report)
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 …
abstraction, where complex failure-handling logic is hidden. This is especially true for …
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
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 …
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 …
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 …
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 …
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
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 …
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 …
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 …
running application such as web service based systems. In client-server applications, where …