Laboratoire de l'Informatique du Parallélisme (LIP) ; Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-École normale supérieure - Lyon (ENS Lyon)