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)
Sun 17 OctDisplayed time zone: Central Time (US & Canada) change
09:00 - 10:20
|Actors! And now? An Implementer's Perspective on High-level Concurrency Models, Debugging Tools, and the Future of Automatic Bug Mitigation|
Stefan Marr University of KentPre-print Media Attached
10:50 - 12:10
|Session Types in Elixir|
AGEREDOI File Attached
|Towards Practical Protocol Verification via Minimal Orchestration in ACP|
13:50 - 15:10
|Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions|
Tim Soethout ING Bank; CWI, Tijs van der Storm CWI; University of Groningen, Jurgen Vinju CWI; Eindhoven University of TechnologyDOI Pre-print File Attached
|A model of actors and grey failures|
|What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs|
Carmen Torres Lopez Vrije Universiteit Brussel, Louise Van Verre Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit BrusselDOI Pre-print File Attached
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.
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).