Coordination Programming

Contacts: Clemens Grelck c [dot] grelck [at] uva [dot] nl (subject: Parco%202015%20Mini%20Symposium) (c.grelck at uva.nl)  (University of Amsterdam),
Alex Shafarenko A [dot] Shafarenko [at] herts [dot] ac [dot] uk (subject: Parco%202015%20Mini%20Symposium)  (University of Hertfordshire)

Program:

Tuesday, September 1st

11:30 - 11:45:  CoPro Welcome 
11:45 - 12:30:  Kathleen Knobe and Zoran Budlimic - Dependence Programming and Coordination Programming 
14:00 - 14:45:  Jossekin Beilharz, Frank Feinbube, Felix Eberhardt, Max Plauth and Andreas Polze - Claud: Coordination, Locality And Universal Distribution 
14:45 - 15:30:  Raimund Kirner and Simon Maurer - Coordination with Structured Composition for Cyberphysical Systems 
16:00 - 16:45:  Clemens Grelck - Coordination Programming in S-Net: A Critical Assessment of Design Choices and Implementation Techniques 
16:45 - 17:30:  Max Kuznetsov and Alex Shafarenko - AstraKahn: A Coordination Language for Streaming Networks 
17:30 - 17:40:  Closing 

Coordination programming is a term that everybody seems to have a vague idea about, but only a few have a definite view on. And, among those there is a great deal of divergence in understanding what coordination is all about. In this mini-symposium we intend to look at various interpretations of, and approaches to, coordination, from the conventional tuple-space, Linda-inspired constructions, such as CnC, to behavioural models such as Reo, to more recent attempts to see a coordination program as a projection of the full semantics of a distributed application that can be more or less accurately inferred at compile time and which affects resource- and performance-critical parameters. The mini-symposium will serve as a forum for building bridges between the various directions of research and will help us to share experiences and build a community geared towards practical applications of coordination programming.

The mini-symposium will address, but is not limited to, the following issues. through contributed papers and a panel-style discussion session included in the programme:

  • Why does coordination require a coordination language?  Is there a kind of analysis that is impeded by the lack of specific coordination language constructs?
  • Inference vs adaptation. What can be inferred and how should the coordination program adapt to the resource situation in parallel and distributed systems.
  • What kind of tuning or self-tuning facilities should/can a coordination programming approaches require/possess?
  • What is the relationship between control-coordination and data-coordination?
  • How can coordination programming address the challenges of cloud computing, big data processing/analysis and mixed-criticality cyberphysical systems?
  • What are recent success stories in applying coordination programming to real-life applications?

Submission deadline: July 3, 2015

Notification of acceptance: July 20, 2015

Mini Symposium: September 1, 2015

Submissions:   https://easychair.org/conferences/?conf=copro2015

Full text of call for papers

Last updated: 26 Aug 2015 at 10:00