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, Canada

AGERE 2017 – Advance Table of Contents

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
(Imperial College London, UK; Microsoft Research, n.n.)
Article Search
Locality-Guided Scheduling in CAF
Sebastian Wölke, Raphael Hiesgen, Dominik Charousset, and Thomas C. Schmidt
(Hamburg University of Applied Sciences, Germany)
Article Search
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
Mehdi Bagherzadeh and Hridesh Rajan
(Oakland University, USA; Iowa State University, USA)
Article Search
Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors
Humberto Rodriguez Avila, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
Article Search
A Principled Approach towards Debugging Communicating Event-Loops
Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Hanspeter Mössenböck, and Christophe Scholliers
(Vrije Universiteit Brussel, Belgium; JKU Linz, Austria; Ghent University, Belgium)
Article Search
Actoverse: A Reversible Debugger for Actors
Kazuhiro Shibanai and Takuo Watanabe
(Tokyo Institute of Technology, Japan)
Article Search

proc time: 1.65