SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

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.

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

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

05:00 - 07:00
PresentationsAGERE at SPLASH-V
05:00
10m
Day opening
AGERE: Opening
AGERE
Elias Castegren KTH Royal Institute of Technology, Joeri De Koster Vrije Universiteit Brussel, Belgium, Thomas C. Schmidt HAW Hamburg
05:10
30m
Talk
High-Throughput Stream Processing with Actors
AGERE
Luca Rinaldi University of Pisa, Massimo Torquati Computer Science Department - University of Pisa, Gabriele Mencagli University of Pisa, Italy, Marco Danelutto University of Pisa, Italy
Pre-print Media Attached
05:40
30m
Talk
Revisiting the Network Stack in CAF
AGERE
Jakob Otto HAW Hamburg, Raphael Hiesgen HAW Hamburg, Dominik Charousset HAW Hamburg, Thomas C. Schmidt HAW Hamburg
DOI Pre-print
06:10
30m
Talk
Run, Agent, Run; Architecture and Benchmark of Actor-based Agents
AGERE
Mostafa Mohajeri Parizi University of Amsterdam, Giovanni Sileno University of Amsterdam, Tom van Engers Leibniz Institute / University of Amsterdam / TNO, Sander Klous University of Amsterdam
06:40
10m
Day closing
AGERE: Closing
AGERE
Elias Castegren KTH Royal Institute of Technology, Joeri De Koster Vrije Universiteit Brussel, Belgium, Thomas C. Schmidt HAW Hamburg
06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

07:00 - 08:20
TKeynotes at SPLASH-I +12h
Chair(s): Steve Blackburn Australian National University
07:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
Link to publication
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

12:20 - 13:00
Breakfast in WellingtonStudent Research Competition at SPLASH-I +12h
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

12:20
40m
Poster
Student Research Competition
Student Research Competition

14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

19:00 - 20:20
TKeynotes at SPLASH-I
Chair(s): Steve Blackburn Australian National University
19:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
Link to publication
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

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 demonstrations of artefacts described by a set of demo papers 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.

  • Demo contributions: short papers describing artefacts 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://agere20.hotcrp.com/.

  • Full papers: up to 10 pages, including references
  • Demo papers: up to 2 pages, excluding references

The (extended) deadline is September 1, 2020.

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 ACM SIGPLAN acmart templates. 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.