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.
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.
-
Demo contributions: short papers describing artifacts that authors agree to demonstrate at the workshop, also to trigger discussions and interactions. Demo papers 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://agere19.hotcrp.com.
-
Full papers: up to 10 pages, including references
-
Demo papers: up to 2 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.
Tue 22 OctDisplayed time zone: Beirut change
09:00 - 10:30 | |||
09:00 15mTalk | Welcome and Introduction AGERE | ||
09:15 75mTalk | Pony: Semantics and Type System Co-DesignKeynote AGERE Sophia Drossopoulou Imperial College London |
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 30mTalk | Modal Assertions for Actor Correctness AGERE Colin Gordon Drexel University DOI Pre-print | ||
11:30 30mTalk | Static Local Coordination Avoidance for Distributed Objects AGERE Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands DOI Pre-print Media Attached | ||
12:00 30mTalk | Locations and Session Types in a Language with Higher-Order Reflection AGERE Michael Tran Department of Computer Science, Aalborg University, Denmark, Alexander Rønning Bendixen Department of Computer Science, Aalborg University, Denmark, Bjarke Bredow Bojesen Department of Computer Science, Aalborg University, Denmark, Hans Hüttel Department of Computer Science, Aalborg University, Stian Lasse Lybech Department of Computer Science, Aalborg University, Denmark |
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 30mTalk | Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture AGERE Nikolai Suslov Fund for Supporting Development of RT Media Attached | ||
14:30 30mTalk | Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications AGERE Kouhei Sakurai Graduate School of Natural Science & Technology, Kanazawa University, Taiki Shimizu Graduate School of Natural Science & Technology, Kanazawa University | ||
15:00 30mTalk | Run, Actor, Run - Towards Cross-Actor Language Benchmarking AGERE Sebastian Blessing Imperial College London, Kiko Fernandez-Reyes Uppsala University, Albert Mingkun Yang , Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University |
15:30 - 16:00 | |||