skip to main content
10.1145/2414639acmconferencesBook PagePublication PagessplashConference Proceedingsconference-collections
AGERE! 2012: Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
ACM2012 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SPLASH '12: Conference on Systems, Programming, and Applications: Software for Humanity Tucson Arizona USA October 21 - 22, 2012
ISBN:
978-1-4503-1630-9
Published:
21 October 2012
Sponsors:
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN
Reflects downloads up to 13 Feb 2025Bibliometrics
Skip Abstract Section
Abstract

It is our pleasure to welcome you to the AGERE! Workshop at SPLASH. This is the 2nd edition, confirming the aim of AGERE! of being a premiere venue for researchers and practitioners interested in programming and software development using actors, agents and all paradigms adopting a decentralized control mindset in solving problems and engineering systems.

This year the workshop has run for two days, featuring a rich program including the presentation of 9 full papers, 5 short/demo papers, and 3 invited talks: "On the integration of the actor model in mainstream technologies - The Scala perspective" by Philipp Haller (Typesafe), "20 years of Agent-Oriented Programming in Distributed AI: History and Outlook" by Birna van Riemsdijk (Delft University of Technology, The Netherlands) and "Agents, Concurrent Objects, and High Performance Computing" by Akinori Yonezawa (University of Tokyo, Japan).

Skip Table Of Content Section
SESSION: Invited contributions
invited-talk
On the integration of the actor model in mainstream technologies: the scala perspective

Integrating the actor model into mainstream software platforms is challenging because typical runtime environments, such as the Java Virtual Machine, have been designed for very different concurrency models. Moreover, to enable integration with existing ...

invited-talk
20 years of agent-oriented programming in distributed AI: history and outlook

This extended abstract summarizes the invited talk with the corresponding title at the AGERE! workshop at SPLASH'12. It describes a history of 20 years of research in agent programming, viewed from the perspective of the author. This perspective is ...

SESSION: Full papers
research-article
Domains: safe sharing among actors

The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concurrent programming. While it has mainly been used in a distributed context ...

research-article
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system

"Timed-Rebeca" is an actor-based modeling language for modeling real-time reactive systems. Its high-level constructs make it more suitable for using it by software practitioners compared to timed-automata based alternatives. Currently, the verification ...

research-article
Parallel gesture recognition with soft real-time guarantees

Applying imperative programming techniques to process event streams, like those generated by multi-touch devices and 3D cameras, has significant engineering drawbacks. Declarative approaches solve these problems but have not been able to scale on ...

research-article
A relational trace logic for simple hierarchical actor-based component systems

We present a logic for proving functional properties of concurrent component-based systems. A component is either a single actor or a group of dynamically created actors. The component hierarchy is based on the actor creation tree. The actors work ...

research-article
A decentralized approach for programming interactive applications with JavaScript and blockly

We present a decentralized-control methodology and a tool-set for developing interactive user interfaces. We focus on the common case of developing the client side of Web applications. Our approach is to combine visual programming using Google Blockly ...

research-article
Optimized distributed implementation of multiparty interactions with observation

Using high level coordination primitives allows enhanced expressiveness of component-based frameworks to cope with the inherent complexity of present-day systems designs. Nonetheless, their distributed implementation raises multiple issues, regarding ...

research-article
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach

The integration of autonomous and reactive behavior is a relevant problem in the context of concurrent programming, related to the integration of thread-based and event-driven programming. From a programming paradigm perspective, the problem can not be ...

research-article
Adding distribution and fault tolerance to jason

In this paper we describe an extension of the multiagent system programming language Jason with constructs for distribution and fault tolerance. The standard Java-based Jason implementation already does provide a distribution mechanism, which is ...

research-article
Messages with implicit destinations as mobile agents

Applications running over decentralized systems, distribute their computation on nodes/agents, which exchange data and services through messages. In many cases, the provenance of the data or service is not relevant, and applications can be optimized by ...

SESSION: Short/position/demo papers
short-paper
Empirical software engineering for agent programming

Empirical software engineering is a branch of software engineering in which empirical methods are used to evaluate and develop tools, languages and techniques. In this position paper we argue for the use of empirical methods to advance the area of agent ...

short-paper
Actor idioms

Actor systems are driven by asynchronous message reception events. Taking full advantage of the Actor Model requires recognizing relevant patterns of actor interaction. We describe several idioms here, in hopes of beginning to build a catalog of useful ...

research-article
Distributed priority synthesis using knowledge

For distributed computing, orchestrations along predefined communication paths are used to obtain agreement between system components on the next chosen transition. Although the communication overhead can be high, it can be efficiently reduced by the ...

research-article
Leveraging actors for privacy compliance

Many organizations store and process personal information about the individuals with whom they interact. Because incorrect handling of this information can be harmful to those individuals, this information is often regulated by privacy policies. ...

research-article
Soter: an automatic safety verifier for erlang

This paper presents Soter, a fully-automatic program analyser and verifier for Erlang modules. The fragment of Erlang accepted by Soter includes the higher-order functional constructs and all the key features of actor concurrency, namely, dynamic and ...

Contributors
  • University of Illinois Urbana-Champaign
  • Pontifical Catholic University of Rio Grande do Sul
  • Weizmann Institute of Science Israel
  • University of Bologna

Recommendations

Acceptance Rates

Overall Acceptance Rate 19 of 35 submissions, 54%
YearSubmittedAcceptedRate
AGERE! '1414964%
AGERE! 2013211048%
Overall351954%