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 …

Fault-tolerant distributed reactive programming

R Mogk, L Baumgärtner, G Salvaneschi… - … on Object-Oriented …, 2018 - drops.dagstuhl.de
In this paper, we present a holistic approach to provide fault tolerance for distributed reactive
programming. Our solution automatically stores and recovers program state to handle …

Portals: an extension of dataflow streaming for stateful serverless

J Spenger, P Carbone, P Haller - … on New Ideas, New Paradigms, and …, 2022 - dl.acm.org
Portals is a serverless, distributed programming model that blends the exactly-once
processing guarantees of stateful dataflow streaming frameworks with the message-driven …

A Fine-grained Asynchronous Bulk Synchronous parallelism model for PGAS applications

SR Paul, A Hayashi, K Chen, Y Elmougy… - Journal of Computational …, 2023 - Elsevier
Abstract The Partitioned Global Address Space (PGAS) model is well suited for executing
irregular applications on cluster-based systems, due to its efficient support for short, one …

Practical domain-specific debuggers using the Moldable Debugger framework

A Chiş, M Denker, T Gîrba, O Nierstrasz - Computer Languages, Systems & …, 2015 - Elsevier
Understanding the run-time behavior of software systems can be a challenging activity.
Debuggers are an essential category of tools used for this purpose as they give developers …

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 …

[PDF][PDF] A capability-based module system for authority control

D Melicher, Y Shi, A Potanin… - … European Conference on …, 2017 - drops.dagstuhl.de
The principle of least authority states that each component of the system should be given
authority to access only the information and resources that it needs for its operation. This …

Distributed reactive programming for reactive distributed systems

F Myter, C Scholliers, W De Meuter - arxiv preprint arxiv:1902.00524, 2019 - arxiv.org
Context: The term reactivity is popular in two areas of research: programming languages
and distributed systems. On one hand, reactive programming is a paradigm which provides …

Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts

B Vandenbogaerde, Q Stiévenart… - Proceedings of the ACM …, 2024 - dl.acm.org
Actor languages model concurrency as processes that communicate through asynchronous
message sends. Unfortunately, as the complexity of these systems increases, it becomes …

Conversational Concurrency

T Garnock-Jones - arxiv preprint arxiv:2409.04055, 2024 - arxiv.org
Concurrent computations resemble conversations. In a conversation, participants direct
utterances at others and, as the conversation evolves, exploit the known common context to …