Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

Actor-based programming is a well-established programming model for the development of concurrent and parallel systems. However, due to the asynchronous nature of its communication mechanism, it is often difficult to express coordination between multiple groups of actors. As a result, complex synchronization patterns are often difficult to express from within the actor model. The goal of this paper is to introduce a novel coordination model for actor-based programs. The model proposes advanced join-patterns over messages that improve the state of the art with four additional features: aggregation, sequencing, timing constraints, and transformations of sequences of messages. This paper also presents a prototype implementation of our model through a domain-specific language in Elixir.

Conference Day
Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session 1: Verification and Language ModelsAGERE at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium
10:30
30m
Talk
Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors
AGERE
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
11:00
30m
Talk
Tree Topologies for Causal Message Delivery
AGERE
Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou
11:30
30m
Talk
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
AGERE
Mehdi BagherzadehOakland University, Hridesh RajanIowa State University
File Attached