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)


@InProceedings{AGERE17p1, author = {Sebastian Blessing and Sylvan Clebsch and Sophia Drossopoulou}, title = {Tree Topologies for Causal Message Delivery}, booktitle = {Proc.\ AGERE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3141834.3141835}, year = {2017}, } Publisher's Version

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


@InProceedings{AGERE17p11, author = {Sebastian Wölke and Raphael Hiesgen and Dominik Charousset and Thomas C. Schmidt}, title = {Locality-Guided Scheduling in CAF}, booktitle = {Proc.\ AGERE}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3141834.3141836}, year = {2017}, } Publisher's Version

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


@InProceedings{AGERE17p21, author = {Mehdi Bagherzadeh and Hridesh Rajan}, title = {Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency}, booktitle = {Proc.\ AGERE}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3141834.3141837}, year = {2017}, } Publisher's Version

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


@InProceedings{AGERE17p31, author = {Humberto Rodriguez Avila and Joeri De Koster and Wolfgang De Meuter}, title = {Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors}, booktitle = {Proc.\ AGERE}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3141834.3141838}, year = {2017}, } Publisher's Version

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)


@InProceedings{AGERE17p41, author = {Carmen Torres Lopez and Elisa Gonzalez Boix and Christophe Scholliers and Stefan Marr and Hanspeter Mössenböck}, title = {A Principled Approach towards Debugging Communicating Event-Loops}, booktitle = {Proc.\ AGERE}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3141834.3141839}, year = {2017}, } Publisher's Version

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


@InProceedings{AGERE17p51, author = {Kazuhiro Shibanai and Takuo Watanabe}, title = {Actoverse: A Reversible Debugger for Actors}, booktitle = {Proc.\ AGERE}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3141834.3141840}, year = {2017}, } Publisher's Version

proc time: 0.66