AGERE 2017- Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control

Full Citation in the ACM Digital Library

SESSION: Papers

Tree topologies for causal message delivery

• Sebastian Blessing
• Sylvan Clebsch
• Sophia Drossopoulou

Locality-guided scheduling in CAF

• Sebastian Wölke
• Raphael Hiesgen
• Dominik Charousset
• Thomas C. Schmidt

Order types: static reasoning about message races in asynchronous message passing concurrency

• Mehdi Bagherzadeh
• Hridesh Rajan

Sparrow: a DSL for coordinating large groups of heterogeneous actors

• Humberto Rodriguez Avila
• Joeri De Koster
• Wolfgang De Meuter

A principled approach towards debugging communicating event-loops

• Carmen Torres Lopez
• Elisa Gonzalez Boix
• Christophe Scholliers
• Stefan Marr
• Hanspeter Mössenböck

Actoverse: a reversible debugger for actors

• Kazuhiro Shibanai
• Takuo Watanabe