Abstract:In this dissertation we focus on providing effective adaptations that can be localised and applied to specific concurrent actors, thereby only causing a temporary disruption to the parts of the system requiring mitigation, while leaving the rest of the system intact. We make the application of localised adaptations efficient through incremental synchronisation, whereby the specifier can strategically suspend specific parts of the system, whenever this is strictly required for ensuring that adaptations are effectively applied. We also study static analysis techniques to determine whether the specified incremental synchronisation is in some sense adequate for local adaptations to be carried out. We thus identify a number of generic adaptations that can be applied to any actor system, regardless of its design and the code that it executes. We implement the identified adaptations as an extension of an existing Runtime Verification tool for actor-systems, thereby creating a RA framework for monitoring and mitigating actor systems. In parallel to our implementation we also develop a formal model of our RA framework that further serves to guide our implementation. This model also enables us to better understand the subtle errors that erroneously specified adaptation scripts may introduce. We thus develop a static type system for detecting and rejecting erroneous adaptation scripts prior to deployment, thereby providing the specifier with assistance for writing valid scripts. Although the static typesystem analyses scripts with respect to certain assumptions, we do not assume that the monitored system abides by these assumptions. We therefore augment our RA framework with dynamic checks for halting monitoring whenever the system deviates from our assumption. Based on this dynamically checked model of our RA framework, we prove type soundness for our static type system.

ActorScript(TM) extension of C sharp (TM), Java(TM), and Objective C(TM): iAdaptive(TM) concurrency for antiCloud(TM) privacy and security

Actor Model of Computation: Scalable Robust Information Systems

Towards Runtime Adaptation of Actor Systems

Expressing and Composing Actors for Deterministic and Scalable Programming in Cloud

Parallel and Asynchronous Smart Contract Execution.

Programming and reasoning about actors that share state

An Exceptional Actor System (Functional Pearl)

Swift: Fast, Reliable, Loosely Coupled Parallel Computation

An Extension to Computing Elements in Erlang for Actor Based Concurrent Programming

Toward Reliable Actor Services in Wireless Sensor and Actor Networks

Synchron -- An API and Runtime for Embedded Systems

Rethinking State Management in Actor Systems for Cloud-Native Applications

ElasticActor: an Actor System with Automatic Granularity Adjustment.

Toward Interlanguage Parallel Scripting for Distributed-Memory Scientific Computing

Actor-Relational Database Systems: A Manifesto

A Script Engine for Realistic Human Motion Generation

Dynamic enforcement of determinism in a parallel scripting language

Reliable Actors with Retry Orchestration

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

Executing Dynamic Data Rate Actor Networks on OpenCL Platforms

Dynamic Code Orchestration: Harnessing the Power of Large Language Models for Adaptive Script Execution