INRIA/IRISA/GenScale, Campus de Beaulieu, Rennes, 35042, France. gaetan.benoit@inria.fr.|INRIA/IRISA/GenScale, Campus de Beaulieu, Rennes, 35042, France. claire.lemaitre@inria.fr.|INRIA/IRISA/GenScale, Campus de Beaulieu, Rennes, 35042, France. dominique.lavenier@irisa.fr.|INRIA/IRISA/GenScale, Campus de Beaulieu, Rennes, 35042, France. erwan.drezen@inria.fr.|University of Bordeaux, CNRS/LaBRI, Talence, F-33405, France. thibault.dayris@outlook.fr.|University of Bordeaux, CNRS/LaBRI, Talence, F-33405, France. ruricaru@labri.fr.|INRIA/IRISA/GenScale, Campus de Beaulieu, Rennes, 35042, France. guillaume.rizk@gmail.com.