Return to Projects


Associate team SCADA: Safe Composition of Autonomic Distributed Applications

  • Coordinator: Ludovic Henrio
  • Description: Besides a formal collaboration between NIC Labs and OASIS team, the aim of the pro ject is to contribute to programming models and languages for programming, running and debugging parallel and distributed applications. For this we will contribute both from a theoretical and practical perspectives to the design of languages, and their implementation and formalisation. In this project we will focus on composition models allowing to put together individual sequential code into complex applications featuring parallelism and distribution. More precisely we focus on two such composition models: algorithmic skeletons, and distributed components.
  • Start: 2012-01-01
  • End: 2014-12-31

Leave a Reply