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.
Proceedings are available online.
Accepted Papers
Call for Papers
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 with 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 Program Committee.
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.
-
Position papers and work-in-progress contributions: short papers introducing a contribution (an idea, a viewpoint, an argument, work in progress, etc.) 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. Position papers and work-in-progress contributions will be included in the informal proceedings.
Format and Submission
Authors are invited to submit their papers in PDF using the submission system at https://soft.vub.ac.be/agere18/.
-
Long papers: up to 10 pages, including references
-
Short papers: up to 4 pages, excluding references
Submissions should use the ACM SIGPLAN Conference acmart
Format with ‘sigplan’ Subformat, 10 point font. 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.
Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 15mTalk | Welcome and Introduction AGERE | ||
08:45 75mTalk | Concurrency vs. Parallelism in Encore (...and Types)Keynote AGERE Tobias Wrigstad Uppsala University |
10:30 - 12:00 | |||
10:30 30mTalk | A Configurable Transport Layer for CAF AGERE Link to publication DOI File Attached | ||
11:00 30mTalk | Distributed Functional Reactive Programming on Actor-Based Runtime AGERE Link to publication DOI | ||
11:30 30mTalk | Observable atomic consistency for CvRDTs AGERE |
13:30 - 15:00 | |||
13:30 30mTalk | Chocola: Integrating Futures, Actors, and Transactions AGERE Janwillem Swalens Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Pre-print | ||
14:00 30mTalk | Concurrent Garbage Collection in the Actor Model AGERE | ||
14:30 30mTalk | Attached and Detached Closures in Actors AGERE Elias Castegren Uppsala University, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Kiko Fernandez-Reyes Uppsala University, Tobias Wrigstad Uppsala University, Albert Mingkun Yang Uppsala University |
15:30 - 17:00 | |||
15:30 30mTalk | Implementing Linking in Multiparty Sessions AGERE | ||
16:00 30mTalk | Compositional Programming and Testing of Actor Programs AGERE Ankush Desai University of California, Berkeley, Shaz Qadeer Microsoft Research, Sanjit Seshia UC Berkeley |
Unscheduled Events
Not scheduled Talk | A Scripting Language for Practical Agent-Oriented Programming AGERE Federico Bergenti Università degli Studi di Parma, Stefania Monica University of Parma, Italy, Giuseppe Petrosino Università degli Studi di Parma |