The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and – more generally – high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed 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.
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:45 15mTalk | Welcome and Introduction AGERE | ||
09:00 60mTalk | AGERE! Keynote: Advanced Features of the Orleans Programming FrameworkKeynote AGERE Philip A. Bernstein Microsoft Research File Attached |
10:30 - 12:00 | Session 1: Verification and Language ModelsAGERE at Prince of Wales Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
10:30 30mTalk | Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors AGERE Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel File Attached | ||
11:00 30mTalk | Tree Topologies for Causal Message Delivery AGERE Sebastian Blessing Imperial College London, Sylvan Clebsch Imperial College London, Sophia Drossopoulou | ||
11:30 30mTalk | Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency AGERE File Attached |
13:30 - 15:00 | Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
13:30 30mTalk | Locality-Guided Scheduling in CAF AGERE File Attached | ||
14:00 30mTalk | A Principled Approach Towards Debugging Communicating Event-Loops AGERE Carmen Torres Lopez , Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria, Christophe Scholliers Universiteit Gent, Belgium | ||
14:30 30mTalk | Actoverse: A Reversible Debugger for Actors AGERE Link to publication DOI |
15:30 - 17:00 | |||
15:30 60mTalk | AGERE! Keynote: Actors for Big Data: Applications and Open ProblemsKeynote AGERE | ||
16:30 30mTalk | Discussion/Panel AGERE |
Accepted Papers
Call for Papers
The goal of the workshop is to serve as a forum for collecting, discussing, and confronting related research works that typically appear in different communities in the context of (distributed) artificial intelligence, distributed computing, computer programming, language design and software engineering.
The workshop will be organized as a one-day workshop, integrating both:
- a part featuring a mini-conference style, like previous editions, reserving some time slots for the presentation and discussion of those accepted contributions that are meant to be published on the formal proceedings on the ACM DL.
- a part featuring a brainstorming style, more targeted to solicit the discussion of ideas/challenges/new directions, etc. raised by the set of position/work-in-progress papers submitted to the workshop and selected by the PC.
The workshop welcomes four main kinds of contributions:
- Mature contributions: full papers presenting new previously unpublished research in one or more of the topics identified above. They will be published on the ACM Digital Library as an official ACM SIGPLAN publication.
- Position papers and work-in-progress contributions: short papers introducing a contribution (an idea, a viewpoint, an argument, work in progress…) which may be in its initial stage and not fully developed but which is worth being presented given its relevance to the AGERE! topics, to trigger discussions and interactions. They will be included in the informal proceedings.
- Demos: these contributions should be about a technology/system that will be presented and discussed during the event.
- Posters: these contributions are aimed to exploit the event to discuss with other participants about an idea and get feedback for future work. Posters will be presented and discussed during coffee breaks; some topics may be selected for inclusion in the discussion session.
Submission
Authors are invited to submit their papers in PDF using the submission system at https://agere17.hotcrp.com/. Please follow the formatting guidelines on our instructions for authors page
- long papers: up to 10 pages, including references
- short papers and demos: up to 4 pages, excluding references
- posters: authors may send 2-pages extended abstract
Instructions for Authors
For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions may be rejected without review.
Submission Site
Please take a moment to read the instructions below before using the submission site.
Submissions are to be made via: https://agere17.hotcrp.com/
Concurrent Submissions
Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.
Format
Submissions should use the ACM SIGPLAN Conference acmart
Format with ‘sigplan’ Subformat, 10 point font, using the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN acmart
Templates provided here. Otherwise, follow the author instructions.
If you are formatting your paper using LaTeX, you will need to set the 10pt
option in the \documentclass
command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission with the LaTeX \settopmatter{printfolios=true}
command. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.
Publication (Digital Library Early Access Warning)
AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.