ăgo ăgo, ăgis, egi, actum, ăgĕre latin verb meaning to act, to lead, to do, common root for actors and agents.

The fundamental turn of software to concurrency and distribution is not only a matter of performance, but also of design and abstraction. It calls for programming paradigms that, compared to current mainstream paradigms, would allow us to more naturally think about, design, develop, execute, debug, and profile systems exhibiting different degrees of concurrency, autonomy, decentralization of control, and physical distribution.

AGERE! is an ACM SIGPLAN workshop dedicated to focusing on and developing research on programming systems, languages, and applications based on actors, agents, and any related programming paradigm promoting a decentralized mindset in solving problems and in developing systems to implement such solutions.

All stages of software development are considered interesting for the workshop, including requirements, modeling, formalisation, prototyping, design, implementation, tooling, testing, and any other means of producing running software based on actors and agents as first-class abstractions. The scope of the workshop includes aspects that concern both the theory and the practice of design and programming using such paradigms, so as to bring together researchers working on models, languages and technologies, as well as practitioners using such technologies to develop real-world systems and applications.

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

Mon 26 Oct

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

08:30 - 10:00
Keynote + AbstractionAGERE! at Grand Station 4
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Philipp Haller KTH Royal Institute of Technology, Alessandro Ricci University of Bologna, Carlos Varela Rensselaer Polytechnic Institute, US
08:30
50m
Talk
AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova
AGERE!
09:20
20m
Talk
Objects as Session-Typed Processes
AGERE!
Stephanie Balzer Carnegie Mellon University, Frank Pfenning Carnegie Mellon University
09:40
20m
Talk
Exploring AOP from an OOP Perspective
AGERE!
Rem Collier University College Dublin, Seán Russell University College Dublin, David Lillis University College Dublin
10:30 - 12:00
Session 2 - Abstraction and Runtime EnvironmentsAGERE! at Grand Station 4
10:30
20m
Talk
Bulk-Synchronous Communication Mechanisms in Diderot
AGERE!
Lamont Samuels University of Chicago, John Reppy University of Chicago
File Attached
10:50
20m
Talk
Programming Abstractions for Augmented Worlds
AGERE!
Angelo Croatti University of Bologna, Alessandro Ricci University of Bologna
11:10
20m
Talk
Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL
AGERE!
11:30
20m
Talk
A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite
AGERE!
Travis Desell University of North Dakota, Carlos Varela Rensselaer Polytechnic Institute, US
13:30 - 15:00
Session 3 - Types and VerificationAGERE! at Grand Station 4
13:30
20m
Talk
Deny Capabilities for Safe, Fast Actors
AGERE!
Sylvan Clebsch Imperial College London, Sophia Drossopoulou Imperial College London
Media Attached
13:50
20m
Talk
Optimizing Communicating Event-Loop Languages with Truffle
AGERE!
Stefan Marr INRIA, France, Hanspeter Mössenböck Johannes Kepler University Linz
Link to publication Pre-print Media Attached
14:10
20m
Talk
Actario: A Framework for Reasoning About Actor Systems
AGERE!
Shohei Yasutake Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication Pre-print Media Attached
14:30
20m
Talk
A model-based approach to secure multi-party distributed systems
AGERE!
Najah Ben Said Verimag, Takoua Abdellatif University of Sousse, Saddek Bensalem Verimag, Marius Bozga Verimag/CNRS
15:30 - 17:00
Session 4 - Runtime Environments and DiscussionAGERE! at Grand Station 4
15:30
20m
Talk
Akka.js: Towards a portable actor runtime environment
AGERE!
Andrea Peruffo , Gianluca Stivan UniCredit R&D, Philipp Haller KTH Royal Institute of Technology
15:50
20m
Talk
Connect.js: A cross mobile platform actor library for multi-networked mobile applications
AGERE!
Elisa Gonzalez Boix Vrije Universiteit Brussel, Christophe Scholliers Vrije Universiteit Brussel, Nicolas Larrea VUB, Wolfgang De Meuter Vrije Universiteit Brussel
16:10
20m
Talk
Jacco: More Efficient Model Checking Toolset for Java Actor Programs
AGERE!
Arvin Zakeriyan University of Tehran, Ehsan Khamespanah , Marjan Sirjani Reykjavik University, Ramtin Khosravi
16:30
30m
Other
Discussion/Panel
AGERE!

Accepted Papers

Title
Actario: A Framework for Reasoning About Actor Systems
AGERE!
Link to publication Pre-print Media Attached
Akka.js: Towards a portable actor runtime environment
AGERE!
A model-based approach to secure multi-party distributed systems
AGERE!
A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite
AGERE!
Bulk-Synchronous Communication Mechanisms in Diderot
AGERE!
File Attached
Connect.js: A cross mobile platform actor library for multi-networked mobile applications
AGERE!
Deny Capabilities for Safe, Fast Actors
AGERE!
Media Attached
Discussion/Panel
AGERE!

Exploring AOP from an OOP Perspective
AGERE!
Jacco: More Efficient Model Checking Toolset for Java Actor Programs
AGERE!
Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL
AGERE!
Objects as Session-Typed Processes
AGERE!
Optimizing Communicating Event-Loop Languages with Truffle
AGERE!
Link to publication Pre-print Media Attached
Programming Abstractions for Augmented Worlds
AGERE!

Call for Papers

The goal of the workshop is to serve as a forum for collecting, discussing, and confronting related research works that typically appear in different communities in the context of (distributed) artificial intelligence, distributed computing, computer programming, language design and software engineering.

The workshop will be organized as a one-day workshop, integrating both:

  • a part featuring a mini-conference style, like previous editions, reserving some time slots for the presentation and discussion of those accepted contributions that are meant to be published on the formal proceedings on the ACM DL.

  • a part featuring 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 PC.

The workshop welcomes three main kinds of contributions:

  • Mature contributions: full papers presenting new previously unpublished research in one or more of the topics identified above. They 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…) 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. They will be included in the informal proceedings.

  • Demos: these contributions should be about a technology/system that will be presented and discussed during the event.

  • Posters: these contributions are aimed to exploit the event to discuss with other participants about an idea and get feedback for future work. Posters will be presented and discussed during coffee breaks; some topics may be selected for inclusion in the discussion session.

Submission

Authors are invited to submit their papers in PDF using the ACM SIG Proceedings style. Papers should be submitted via EasyChair.

  • long papers: up to 10 pages, including references
  • short papers and demos: up to 4 pages, excluding references
  • posters: authors may send 2-pages extended abstract + poster draft to agere2015@easychair.org

A special issue on a reference journal will be organized with the extended and revised version of the best papers accepted and presented to the workshop. This special issue follows a previous one published in Science of Computer Programming, collecting best papers from AGERE! 2011 and 2012, and a twin special issue published in Computer Languages, Systems and Structures and in Concurrency and Computation: Practice and Experience, collecting best papers from AGERE! 2013 and 2014.