Section: Partnerships and Cooperations

Regional initiatives

Participants : Sylvain Contassot-Vivier, Lucas Nussbaum, Martin Quinson.


Martin Quinson and Lucas Nussbaum are leading a project of the regional CPER contract, called Expérimentations et calculs distribués à grande échelle (EDGE). A cluster targeting large-scale experiments (144 single-CPU nodes) was bought in 2010 in that context. In 2011, we focused on maintaining and improving the local Grid'5000 infrastructure, and animating both the research on experimental grids and the research community using these facilities. More information is available at http://misn.loria.fr/spip.php?rubrique8 .

Other regional grants

Martin Quinson received a grant from the Lorraine Region for two years (2010–2011) to fund our exploratory work on the possibility to use formal methods such as model-checking to ensure some properties (such as the lack of deadlocks in any case) of large-scale distributed algorithms. The results of this action are described in Section 6.2.2 .

Sylvain Contassot-Vivier received a grant from the Lorraine Region for two years (2011–2013) to support a research project over dynamical systems: Dynamical systems: theoretical study and application to parallel algorithmic for PDEs solving.