skip to main content
10.1145/2687357acmconferencesBook PagePublication PagessplashConference Proceedingsconference-collections
AGERE! '14: Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control
ACM2014 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity Portland Oregon USA 20 October 2014
ISBN:
978-1-4503-2189-1
Published:
20 October 2014
Sponsors:
In-Cooperation:
Bibliometrics
Skip Abstract Section
Abstract

It is our great pleasure to welcome you to the proceedings of the 4th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!). The latest edition of the AGERE! workshop confirms its role as a unique venue in the research landscape bringing together researchers and practitioners interested in actors, agents and, more generally, high-level paradigms emphasizing decentralized control in thinking, modeling, developing, and reasoning about programs and software systems.

The fundamental turn of software into 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, formalization, 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.

The workshop was 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 in the formal proceedings.

  • 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 welcomed three main kinds of contributions:

  • Mature contributions: full papers presenting new previously unpublished research in one or more of the topics of the workshop.

  • Position papers and work-in-progress contributions: short papers introducing a contribution (an idea, a viewpoint, an argument, work-in-progress, etc.) 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.

  • Demos: these contributions describe a technology/system presented and discussed during the event.

  • Posters: these contributions are aimed to exploit the event to discuss (with other participants) an idea and get feedback for future work.

AGERE! 2014 received 14 submissions, of which 9 full papers were accepted to be included in these proceedings.

Since the first edition, a main objective of the workshop has been to explore and foster the adoption of actors, agents and paradigms based on a decentralized control as a more high-level and effective alternative --- from an abstraction point of view in particular --- to mainstream approaches such as multi-threaded programming. Among others, this calls for devising technologies featuring a good level of maturity and performance. This is reflected by the contributions accepted in this edition.

Skip Table Of Content Section
SESSION: Full Papers
research-article
Selectors: Actors with Multiple Guarded Mailboxes

The actor programming model is based on asynchronous message passing and offers a promising approach for developing reliable concurrent systems. However, lack of guarantees to control the order in which messages are processed next by an actor makes ...

research-article
CAF - the C++ Actor Framework for Scalable and Resource-Efficient Applications

The actor model of computation has gained significant popularity over the last decade. Its high level of abstraction combined with its flexibility and efficiency makes it appealing for large applications in concurrent and distributed regimes.

In this ...

research-article
An Automatic Actors to Threads Mapping Technique for JVM-Based Actor Frameworks

Actor frameworks running on Java Virtual Machine (JVM) platform face two main challenges in utilizing multi-core architectures, i) efficiently mapping actors to JVM threads, and ii) scheduling JVM threads on multi-core. JVM-based actor frameworks allow ...

research-article
Event-Based Analysis of Timed Rebeca Models using SQL

In this paper, we present a simulation-based approach for analysis of Timed Rebeca models to tackle the state space explosion problem. We present a simulation toolkit, TRSim, which uses McErlang as a back-end simulator and stores the occurrences of ...

research-article
Efficient TCTL Model Checking Algorithm for Timed Actors

Non-Polynomial time complexity of model checking algorithms for TCTL properties in dense time is one of the obstacles against using model checking for timed systems. Alternatively, polynomial time algorithms are suggested for model checking discrete ...

research-article
Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries

This paper introduces the Savina benchmark suite for actor-oriented programs. Our goal is to provide a standard benchmark suite that enables researchers and application developers to compare different actor implementations and identify those that ...

research-article
Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing

The transactor model, an extension to the actor model, specifies an operational semantics to model concurrent systems with globally consistent distributed state. The semantics formalizes tracks dependencies among loosely coupled distributed components ...

research-article
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures

Behavioral programming (BP) is a decentralized scenario-based paradigm for the programming of reactive software, geared towards incremental and intuitive development. In this work we apply the principles of BP to a large, real-world case-study: a web-...

research-article
Multiple Inheritance in AgentSpeak(L)-Style Programming Languages

Agent-Oriented Programming (AOP) is a high-level pro-gramming paradigm for implementing intelligent distrib-uted systems. While a number of AOP languages have been proposed in the literature, many of them focus on the provision of support for ...

research-article
From Actor Event-Loop to Agent Control-Loop: Impact on Programming

Event-loops and control-loops are the main control architectures adopted in actors and in agents, respectively. These architectures have a strong impact on the principles and discipline that can be adopted to design and program actors and agents. In ...

Contributors
  • Vrije Universiteit Brussel
  • KTH Royal Institute of Technology
  • University of Bologna, Cesena
  • Rensselaer Polytechnic Institute

Recommendations

Acceptance Rates

AGERE! '14 Paper Acceptance Rate9of14submissions,64%Overall Acceptance Rate19of35submissions,54%
YearSubmittedAcceptedRate
AGERE! '1414964%
AGERE! 2013211048%
Overall351954%