Programming languages based on the actor model, such as Erlang, avoid some
concurrency bugs by design. However, other concurrency bugs, such as message order …

Interrupt-driven embedded software is widely used in aerospace, automotive electronics,
medical equipment, IoT, and other industrial fields. This type of software is usually …

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 …

Actor concurrency is becoming increasingly important in the development of real-world
software systems. Although actor concurrency may be less susceptible to some …

Computer systems that allow multithreaded execution of applications have become
extremely common, even small portable devices operate in multithreaded mode. This is …

Many of today's software systems are parallel or concurrent. With the rise of Node. js and
more generally event-loop architectures, many systems need to handle concurrency …

Actor concurrency is becoming increasingly important in the real world and mission-critical
software. This requires these applications to be free from actor bugs, that occur in the real …

Among distributed applications, the actor model is increasingly prevalent. This programming
model organises applications into fully-isolated processes that communicate through …

Actor systems are a flexible model of concurrent and distributed programming, which are
efficiently implementable, and avoid many classic concurrency bugs by construction …

We present iDeA, an immersive user interface for debugging concurrent actor programs
communicating through asynchronous message passing. iDeA is based on the hypothesis …