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 | |||
09:00 10mDay opening | Opening AGERE Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
09:10 60mKeynote | 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 | |||
10:50 25mFull-paper | Session Types in Elixir AGERE DOI File Attached | ||
11:15 25mTalk | Towards Practical Protocol Verification via Minimal Orchestration in ACP AGERE File Attached |
13:50 - 15:10 | |||
13:50 25mFull-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 25mTalk | 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 25mFull-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 5mDay closing | Closing AGERE Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium |
Accepted Papers
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).