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
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
Meet The Speakers (MTS)
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
05:00 - 07:00: PresentationsAGERE at SPLASH-V
05:00 - 05:10
Day opening
AGERE
Elias CastegrenKTH Royal Institute of Technology, Joeri De KosterVrije Universiteit Brussel, Belgium, Thomas C. SchmidtHAW Hamburg
05:10 - 05:40
Talk
AGERE
Luca RinaldiUniversity of Pisa, Massimo TorquatiComputer Science Department - University of Pisa, Gabriele MencagliUniversity of Pisa, Italy, Marco DaneluttoUniversity of Pisa, Italy
Pre-print Media Attached
05:40 - 06:10
Talk
AGERE
Jakob OttoHAW Hamburg, Raphael HiesgenHAW Hamburg, Dominik CharoussetHAW Hamburg, Thomas C. SchmidtHAW Hamburg
DOI Pre-print
06:10 - 06:40
Talk
AGERE
Mostafa Mohajeri PariziUniversity of Amsterdam, Giovanni SilenoUniversity of Amsterdam, Tom van EngersLeibniz Institute / University of Amsterdam / TNO, Sander KlousUniversity of Amsterdam
06:40 - 06:50
Day closing
AGERE
Elias CastegrenKTH Royal Institute of Technology, Joeri De KosterVrije Universiteit Brussel, Belgium, Thomas C. SchmidtHAW Hamburg
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 08:20: TKeynotes at SPLASH-I +12h
Chair(s): Steve BlackburnAustralian National University
07:00 - 08:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
10:20 - 11:00: Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
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 - 13:00
Poster
Student Research Competition
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
19:00 - 20:20: TKeynotes at SPLASH-I
Chair(s): Steve BlackburnAustralian National University
19:00 - 20:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
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.