AGERE 2021 – Proceedings

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

Frontmatter

Papers

Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
Tim Soethout, Tijs van der Storm, and Jurgen J. Vinju
(ING Bank, Netherlands; CWI, Netherlands; University of Groningen, Netherlands; Eindhoven University of Technology, Netherlands)


@InProceedings{AGERE21p1, author = {Tim Soethout and Tijs van der Storm and Jurgen J. Vinju}, title = {Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions}, booktitle = {Proc.\ AGERE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3486601.3486707}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Article: splashws21ageremain-p2-p doi:10.1145/3486601.3486707

Session Types in Elixir
Gerard Tabone and Adrian Francalanza
(University of Malta, Malta)


@InProceedings{AGERE21p16, author = {Gerard Tabone and Adrian Francalanza}, title = {Session Types in Elixir}, booktitle = {Proc.\ AGERE}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3486601.3486708}, year = {2021}, } Publisher's Version Article: splashws21ageremain-p3-p doi:10.1145/3486601.3486708

What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
Carmen Torres Lopez, Louise Van Verre, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)


@InProceedings{AGERE21p31, author = {Carmen Torres Lopez and Louise Van Verre and Elisa Gonzalez Boix}, title = {What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs}, booktitle = {Proc.\ AGERE}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3486601.3486709}, year = {2021}, } Publisher's Version Article: splashws21ageremain-p7-p doi:10.1145/3486601.3486709

proc time: 0.01