SPLASH Workshops 2017
2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2017)
Powered by
Conference Publishing Consulting

7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2017), October 23, 2017, Vancouver, BC, Canada

AGERE 2017 – Proceedings

Contents - Abstracts - Authors

7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2017)

Frontmatter

Title Page
Message from the Chairs

Papers

Tree Topologies for Causal Message Delivery
Sebastian Blessing, Sylvan Clebsch, and Sophia Drossopoulou ORCID logo
(Imperial College London, UK; Microsoft Research, UK)
Publisher's Version
Locality-Guided Scheduling in CAF
Sebastian Wölke, Raphael Hiesgen, Dominik Charousset, and Thomas C. SchmidtORCID logo
(Hamburg University of Applied Sciences, Germany)
Publisher's Version
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
Mehdi BagherzadehORCID logo and Hridesh Rajan ORCID logo
(Oakland University, USA; Iowa State University, USA)
Publisher's Version
Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors
Humberto Rodriguez Avila ORCID logo, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
A Principled Approach towards Debugging Communicating Event-Loops
Carmen Torres Lopez ORCID logo, Elisa Gonzalez Boix ORCID logo, Christophe Scholliers ORCID logo, Stefan Marr, and Hanspeter MössenböckORCID logo
(Vrije Universiteit Brussel, Belgium; Ghent University, Belgium; JKU Linz, Austria)
Publisher's Version
Actoverse: A Reversible Debugger for Actors
Kazuhiro Shibanai and Takuo Watanabe ORCID logo
(Tokyo Institute of Technology, Japan)
Publisher's Version

proc time: 1.65