- Sponsor:
- sigplan
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).
Proceeding Downloads
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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. ...
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 ...
Recommendations
Acceptance Rates
Year | Submitted | Accepted | Rate |
---|---|---|---|
AGERE! '14 | 14 | 9 | 64% |
AGERE! 2013 | 21 | 10 | 48% |
Overall | 35 | 19 | 54% |