Programming based on Actors, Agents, and Decentralized ControlAGERE! 2015
ă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.
Mon 26 OctDisplayed 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
|AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova|
Daniel Wendel MIT
|Objects as Session-Typed Processes|
Stephanie Balzer Carnegie Mellon University, Frank Pfenning Carnegie Mellon University
|Exploring AOP from an OOP Perspective|
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
|Bulk-Synchronous Communication Mechanisms in Diderot|
Lamont Samuels University of Chicago, John Reppy University of ChicagoFile Attached
|Programming Abstractions for Augmented Worlds|
Angelo Croatti University of Bologna, Alessandro Ricci University of Bologna
|Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL|
Raphael Hiesgen , Dominik Charousset , Thomas C. Schmidt HAW Hamburg
|A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite|
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
|Deny Capabilities for Safe, Fast Actors|
Sylvan Clebsch Imperial College London, Sophia Drossopoulou Imperial College LondonMedia Attached
|Optimizing Communicating Event-Loop Languages with Truffle|
Stefan Marr INRIA, France, Hanspeter Mössenböck Johannes Kepler University LinzLink to publication Pre-print Media Attached
|Actario: A Framework for Reasoning About Actor Systems|
Shohei Yasutake Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of TechnologyLink to publication Pre-print Media Attached
|A model-based approach to secure multi-party distributed systems|
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
|Akka.js: Towards a portable actor runtime environment|
Andrea Peruffo , Gianluca Stivan UniCredit R&D, Philipp Haller KTH Royal Institute of Technology
|Connect.js: A cross mobile platform actor library for multi-networked mobile applications|
Elisa Gonzalez Boix Vrije Universiteit Brussel, Christophe Scholliers Vrije Universiteit Brussel, Nicolas Larrea VUB, Wolfgang De Meuter Vrije Universiteit Brussel
|Jacco: More Efficient Model Checking Toolset for Java Actor Programs|
Arvin Zakeriyan University of Tehran, Ehsan Khamespanah , Marjan Sirjani Reykjavik University, Ramtin Khosravi
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.
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 firstname.lastname@example.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.