SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and—more generally—on high-level programming paradigms which promote decentralized control in solving problems and developing software.

The workshop is intended to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications.

(ago, agis, egi, actum, agere — latin verb meaning to act, to lead, to do, common root for actors and agents)

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 17 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
Opening and keynoteAGERE at Zurich F
Chair(s): Elias Castegren Uppsala University, Sweden
09:00
10m
Day opening
Opening
AGERE
Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium
09:10
60m
Keynote
Actors! And now? An Implementer's Perspective on High-level Concurrency Models, Debugging Tools, and the Future of Automatic Bug Mitigation
AGERE
Stefan Marr University of Kent
Pre-print Media Attached
10:50 - 12:10
Behavioural TypesAGERE at Zurich F
Chair(s): Simon Fowler University of Glasgow
10:50
25m
Full-paper
Session Types in Elixir
AGERE
Gerard Tabone University of Malta, Adrian Francalanza University of Malta
DOI File Attached
11:15
25m
Talk
Towards Practical Protocol Verification via Minimal Orchestration in ACP
AGERE
Bas van den Heuvel University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands
File Attached
13:50 - 15:10
Safety and FailuresAGERE at Zurich F
Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium
13:50
25m
Full-paper
Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
AGERE
Tim Soethout ING Bank; CWI, Tijs van der Storm CWI; University of Groningen, Jurgen Vinju CWI; Eindhoven University of Technology
DOI Pre-print File Attached
14:15
25m
Talk
A model of actors and grey failures
AGERE
Laura Bocchi University of Kent, Julien Lange Royal Holloway University of London, Simon Thompson IOHK, University of Kent, and ELTE, A. Laura Voinea University of Kent, UK
14:40
25m
Full-paper
What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
AGERE
Carmen Torres Lopez Vrije Universiteit Brussel, Louise Van Verre Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
DOI Pre-print File Attached
15:05
5m
Day closing
Closing
AGERE
Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium

Call for Papers

The AGERE! workshop focuses on programming systems, languages and applications based on actors, active/concurrent objects, agents and–more generally–on high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is intended to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, with practitioners developing real-world systems and applications.

The goal of the workshop is to serve as a forum for collecting, discussing, and comparing related research works that typically appear in different communities in the context of (distributed) artificial intelligence, distributed computing, computer programming, programming language design and software engineering.

The workshop will be organized as a one-day workshop, integrating both:

  • A part with a mini-conference style, like previous editions, reserving time slots for the presentation and discussion of accepted contributions that are published on the formal proceedings on the ACM Digital Library.
  • A part featuring presentations of ongoing work and demonstrations of artefacts described by a set of presentation abstracts submitted to the workshop, selected by the Program Committee, to present interesting results and to solicit discussions on ideas and challenges.

The workshop welcomes two types of contributions:

  • Mature contributions: full papers presenting new, previously unpublished research in one or more of the topics identified above. Full papers will be published on the ACM Digital Library as an official ACM SIGPLAN publication. Full papers can be up to 10 pages, excluding references and acknowledgements.
  • Presentation abstracts: short papers describing preliminary or ongoing work, or artefacts that authors agree to demonstrate at the workshop. The point of these submissions is to trigger discussions and interactions, and to solicit input from the community. Presentation abstracts will only be included in the informal proceedings. Presentation abstracts can be up to 2 pages, excluding references and acknowledgements.

Submission

Authors are invited to submit their papers in PDF using the submission system at https://agere21.hotcrp.com/. Please use the “acmart” LaTeX template (https://www.sigplan.org/Resources/Author/) with the “sigplan” option.

Papers must be submitted by August 6 August 9 (updated). The camera-ready deadline for accepted papers is September 13 (firm).