AGERE 2017 – Proceedings

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

Frontmatter

Papers

Tree Topologies for Causal Message Delivery
Sebastian Blessing, Sylvan Clebsch, and Sophia Drossopoulou
(Imperial College London, UK; Microsoft Research, UK)

Publisher's Version Article: splashws17ageremain-p2-p doi:10.1145/3141834.3141835

Locality-Guided Scheduling in CAF
Sebastian Wölke, Raphael Hiesgen, Dominik Charousset, and Thomas C. Schmidt
(Hamburg University of Applied Sciences, Germany)

Publisher's Version Article: splashws17ageremain-p3-p doi:10.1145/3141834.3141836

Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
Mehdi Bagherzadeh and Hridesh Rajan
(Oakland University, USA; Iowa State University, USA)

Publisher's Version Article: splashws17ageremain-p4-p doi:10.1145/3141834.3141837

Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors
Humberto Rodriguez Avila, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)

Publisher's Version Article: splashws17ageremain-p5-p doi:10.1145/3141834.3141838

A Principled Approach towards Debugging Communicating Event-Loops
Carmen Torres Lopez, Elisa Gonzalez Boix, Christophe Scholliers, Stefan Marr, and Hanspeter Mössenböck
(Vrije Universiteit Brussel, Belgium; Ghent University, Belgium; JKU Linz, Austria)

Publisher's Version Article: splashws17ageremain-p6-p doi:10.1145/3141834.3141839

Actoverse: A Reversible Debugger for Actors
Kazuhiro Shibanai and Takuo Watanabe
(Tokyo Institute of Technology, Japan)

Publisher's Version Article: splashws17ageremain-p10-p doi:10.1145/3141834.3141840

proc time: 0.01