skip to main content
10.1145/3486601acmconferencesBook PagePublication PagessplashConference Proceedingsconference-collections
AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
ACM2021 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SPLASH '21: Software for Humanity Chicago IL USA 17 October 2021
ISBN:
978-1-4503-9104-7
Published:
17 October 2021
Sponsors:
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN
Reflects downloads up to 13 Feb 2025Bibliometrics
Skip Abstract Section
Abstract

Welcome to the proceedings of the 11th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!), co-located in Chicago and online with SPLASH 2021. AGERE!, an ACM SIGPLAN workshop, keeps on being a unique venue in the research landscape bringing together researchers and practitioners interested in actors, agents and, more generally, high-level paradigms emphasizing decentralized control in thinking, modeling, developing, and reasoning about software systems.

Skip Table Of Content Section
SESSION: Papers
research-article
Open Access
Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions

A key challenge of designing distributed software systems is maintaining data consistency. We can define data consistency and data isolation guarantees --e.g. serializability-- in terms of schedules of atomic reads and writes, but this excludes ...

research-article
Session types in Elixir

This paper proposes an adaptation of session types to provide behavioural information about public functions in Elixir modules. We formalise typechecking rules for the main constructs of the language. This allows us to statically determine whether a ...

research-article
What’s the problem? interrogating actors to identify the root cause of concurrency bugs

Programs written using Communicating Event-Loops (CEL) concurrency model do not suffer from low-level data races by design but are not exempt from other concurrency bugs, such as behavioral deadlocks and message order violations.

When programmers need ...

Contributors
  • Uppsala University
  • Vrije Universiteit Brussel

Index Terms

  1. Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control

    Recommendations

    Acceptance Rates

    Overall Acceptance Rate 19 of 35 submissions, 54%
    YearSubmittedAcceptedRate
    AGERE! '1414964%
    AGERE! 2013211048%
    Overall351954%