ă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 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 the 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.
Topics include (but are not limited to):
The workshop will take place on Monday 20th October.
Papers marked with have been accepted as regular papers to be published on ACM DL.
|8:30||8:35||Welcome and introduction|
|8:35||9:35||Invited Talk: Upgrade Programming for Mobile Cloud||Gul Agha|
|9:35||10:00||Selectors: Actors with Multiple Guarded Mailboxes||Shams Imam and Vivek Sarkar|
|10:30||10:52||Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing||Phillip Kuang, John Field and Carlos A. Varela|
|10:52||11:14||Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures||David Harel and Guy Katz|
|11:14||11:36||Multiple Inheritance in AgentSpeak(L)-style Programming Languages||Dhaon Akshat and Rem Collier|
|11:36||12:00||From Actor Event-Loop to Agent Control-Loop - Impact on Programming||Alessandro Ricci|
|13:30||13:52||CAF - The C++ Actor Framework for Scalable and Resource-efficient Applications||Dominik Charousset, Raphael Hiesgen and Thomas Schmidt|
|13:52||14:14||An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks||Ganesha Upadhyaya and Hridesh Rajan|
|14:14||14:36||Event-based Analysis of Timed Rebeca Models using SQL||Brynjar Magnusson, Ehsan Khamespanah, Marjan Sirjani and Ramtin Khosravi|
|14:36||15:00||Efficient TCTL Model Checking Algorithm for Timed Actors||Ehsan Khamespanah, Ramtin Khosravi and Marjan Sirjani|
|15:30||15:45||Short Paper: Savina - An Actor Benchmark Suite||Shams Imam and Vivek Sarkar|
|16:00||16:50||Brainstorm and discussion session|
|16:50||17:00||Wrap-up and closing remarks|
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:
The workshop welcomes three main kinds of contributions:
Workshop: October 20, 2014
Camera ready version of papers and posters: October 12, 2014
SPLASH early registration deadline: September 19, 2014
All deadlines are at 11:59 PM American Samoa Time (UTC-11).
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.
Alessandro Ricci was one of the co-organizers of the previous editions of AGERE! held in conjunction with SPLASH (2011, 2012, 2013). His main research interests are about high-level programming paradigms for designing and developing complex software systems, in particular based on agents and multi-agent systems, so agent-oriented program- ming, agent-oriented software engineering. His previous experience in co-organizing events includes: ProMAS (“Programming Multi-Agent Systems”), a workshop inside the AAMAS (Autonomous Agents and Multi-Agent Systems) conference in 2007, AT2AI-6 (Sixth International Workshop ‘From Agent Theory to Agent Implementation”) at AAMAS 2008, ESAW (“Engineering Societies of Agents”) work- shop in 2006, and ACM Symposium of Applied Computing (SAC), Special Track on Coordination Models, Languages and Applications (in 2006 and 2007).
Elisa Gonzalez Boix is a researcher in the area of mobile computing and programming language engineering. She is full-time professor at the Vrije Universiteit Brussel (VUB) where she obtained her PhD in Sciences in 2012 on programming language abstractions and tools for handling partial failures in distributed applications running on mobile ad hoc networks. She has been active in the design and development of the distributed actor-based AmbientTalk language, prototyping its first concurrency model based on active objects. Elisa’s broad research interests include programming language design and tools, concurrent and distributed programming, coordination, meta-programming and reflection. In the recent past, she has co-organized the SCRIPT 2013 workshop (Secure Cloud and Reactive Internet Programming Technology).
Philipp Haller is a consultant and researcher at Typesafe Switzerland. Dr. Haller received his Dipl.-Inform. with distinction (2006) from the Karlsruhe Institute of Technology and his PhD (2010) in Computer Science from the Swiss Federal Institute of Technology Lausanne (EPFL). He previously held appointments at Stanford University (2011-2012) and EPFL (2011-2012). Dr. Haller has served on the program committees of the 2nd and the 3rd ACM SIGPLAN International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE! 2012, 2013), the 27th European Conference on Object-Oriented Programming (ECOOP 2013), and the 8th Workshop Programming Languages meets Program Verification (PLPV 2014), among others. He has served as co-chair of the 4th Scala Workshop (SCALA 2013). He has served as external reviewer for Science of Computer Programming, the ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA), the European Symposium on Programming (ESOP), the International Conference on Compiler Construction (CC), and the International Conference on Computer Aided Verification (CAV).
Carlos A. Varela is Associate Professor of Computer Science and Founding Director of the Worldwide Computing Laboratory at Rensselaer Polytechnic Institute. Dr. Varela received his B.S with honors, M.S., and Ph.D. degrees in Computer Science, all from the University of Illinois at Urbana-Champaign. Dr. Varela is Associate Editor of the ACM Computing Surveys and the IEEE Transactions on Cloud Computing. Dr. Varela was the Program Committee Chair for the 2011 IEEE/ACM International Conference on Cluster, Cloud, and Grid Computing (CCGrid 2011) and the 2012 IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2012.) Dr. Varela has been a member of approximately fifty other conference and workshop Program Committees. Dr. Varela has given eleven invited plenary lectures at international and national venues. He has supervised three Ph.D. dissertations and nine M.S. theses. Dr. Varela received Best Paper awards at HPDC-GECO’2006, eScience’2007, CCGrid’2007, and CLEI’2010. He is also a recipient of the NSF CAREER Award, two IBM Innovation Awards, and an Amazon Research Award.