Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece

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

Title
Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications
AGERE
Locations and Session Types in a Language with Higher-Order Reflection
AGERE
Modal Assertions for Actor Correctness
AGERE
DOI Pre-print
Run, Actor, Run - Towards Cross-Actor Language Benchmarking
AGERE
Static Local Coordination Avoidance for Distributed Objects
AGERE
DOI Pre-print Media Attached

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.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 22 Oct

Displayed time zone: Beirut change

09:00 - 10:30
KeynoteAGERE at Room 3A
09:00
15m
Talk
Welcome and Introduction
AGERE

09:15
75m
Talk
Pony: Semantics and Type System Co-DesignKeynote
AGERE
Sophia Drossopoulou Imperial College London
10:30 - 11:00
Coffee breakCatering at Break area
11:00 - 12:30
Session 1AGERE at Room 3A
11:00
30m
Talk
Modal Assertions for Actor Correctness
AGERE
Colin Gordon Drexel University
DOI Pre-print
11:30
30m
Talk
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
30m
Talk
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
Session 2AGERE at Room 3A
14:00
30m
Talk
Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture
AGERE
Nikolai Suslov Fund for Supporting Development of RT
Media Attached
14:30
30m
Talk
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
30m
Talk
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
Coffee breakCatering at Break area
16:00 - 17:30
Discussion/PanelAGERE at Room 3A