Mardi 22 avril 2014

Journée Ateliers et Tutoriels

L'accueil des participants aura lieu à partir de 8h00. Des pauses café auront lieu de 10h30 à 11h00 et de 16h00 à 16h30. Le dîner aura lieu de 12h30 à 14h00. Dès 18h00, les participants à la journée sont invités à un cocktail.

Salle RS.38
11:00-12:30	Journée GDR ASR Atelier meilleurs articles des pôles du GDR ASR
14:00-16:00	Journée GDR ASR Atelier meilleurs articles des pôles du GDR ASR

Salle RN.02
9:00-10:30	Tutoriel SimGrid
14:00-16:00	Atelier Economiser l'énergie dans les systèmes distribués

Salle RN.08
9:00-10:30	Tutoriel Comprendre et maitriser les affinités matérielles avec Hardware Locality (hwloc)
11:00-12:30	Atelier Informatique autonomique
14:00-16:00	Atelier Informatique autonomique

Salle RO.12
9:00-10:30	Tutoriel Traitement de flux de données à grande échelle
11:00-12:30	Tutoriel Traitement temps réel d'images et de vidéos sur GPU
14:00-16:00	Tutoriel From strong to eventual consistency: getting it right

Salle RO.14
9:00-10:30	Atelier Grid'5000: Prise en Main et Expérimentations Big-Data
11:00-12:30	Atelier Grid'5000: Prise en Main et Expérimentations Big-Data
14:00-16:00	Tutoriel Recherche reproductible

Salle AULA
16:30-18:00	Séance plénière spéciale pour le départ à la retraite d'André Schiper

Mercredi 23 avril 2014

Conférence, Premier Jour

		AULA	RN.02	RN.08
8:00- 8:30-	8:30 9:00	Accueil des participants
9:00-	9:30	Bienvenue et introduction
9:30- 10:00-	10:00 10:30	Conférencier invité système; Timothy Roscoe, ETH Zürich
10:30-	11:00	Pause café
11:00- 11:30- 12:00-	11:30 12:00 12:30	Session parallélisme	Session système	Session architecture
12:30- 13:00- 13:30-	13:00 13:30 14:00	Dîner
14:00- 14:30- 15:00-	14:30 15:00 15:30	Session parallélisme	Session système	Session architecture
15:30-	16:00	Pause café
16:00- 16:30- 17:00-	16:30 17:00 17:30	Session parallélisme	Assemblée générale de l'ASF (ACM SIGOPS France)	Session architecture
17:45- 18:00- 18:30-	18:00 18:30 19:00	Visite guidée de Neuchâtel (17h45-19h15)
19:00- 19:30- 20:00-	19:30 20:00 20:30	Accueil et apéritif au château de Neuchâtel

Programme

8:00-9:00	Accueil des participants
9:00-9:30	Bienvenue et introduction Présentation de M. Dominique Dunon-Bluteau, attaché de coopération scientifique et universitaire de l'Ambassade de France en Suisse. Transparents.
9:30-10:30	Séance plénière: conférencier invité système Timothy Roscoe, ETH Zürich Minding the Gap [+] Abstract There is a (by now) well-established gap between the functionality provided by hardware architects, and the issues and requirements that system software (and particularly operating system) designers worry about. Recently, with the accelerating pace of hardware innovation, this has become a serious and pressing issue, and I will argue that the way we have traditionally built low-level system software is simply not up to the challenge of supporting modern, diverse, highly parallel, rapidly evolving, and quirky hardware. The Barrelfish research operating system was conceived as a response to trends in hardware design, and continues to serve as a testbed for new ideas in OS construction which apply modern techniques from programming languages, knowledge representation, and networking to the problem of managing the machine. I will describe a selection of these in the talk, together with our experiences implementing them. Our ideas have proven useful and effective at dealing with the mismatch between hardware architecture and software needs, but ultimately we hope they will foster a more fruitful conversation between the hardware and software sides of "the gap", and lead to better principles and practices on both sides. [+] Biography Timothy Roscoe is a Full Professor in the Systems Group of the Computer Science Department at ETH Zurich, where his current research interests include network architecture and the Barrelfish multicore research operating system. He received a PhD from the Computer Laboratory of the University of Cambridge, where he was a principal designer and builder of the Nemesis operating system, as well as working on the Wanda microkernel and Pandora multimedia system. After three years working on web-based collaboration systems at a startup company in North Carolina, Mothy joined Sprint's Advanced Technology Lab in Burlingame, California, working on cloud computing and network monitoring. He then joined Intel Research at Berkeley in April 2002 as a principal architect of PlanetLab, an open, shared platform for developing and deploying planetary-scale services. In September 2006 he spent four months as a visiting researcher in the Embedded and Real-Time Operating Systems group at National ICT Australia in Sydney, before joining ETH Zurich in January 2007. He was recently elected Fellow of the ACM for contributions to operating systems and networking research, and shared in both the SIGCOMM 2013 and NSDI 2014 "test of time" awards for his work on PlanetLab.
11:00-12:30	Session parallélisme (Infrastructure) - Arnaud Legrand (AULA) : Gestion adaptative de l’énergie pour les infrastructures de type grappe ou nuage. Daniel Balouek-Thomert, Eddy Caron, et Laurent Lefèvre (LIP, UMR CNRS - ENS de Lyon - INRIA - UCB Lyon 5668, Université de Lyon, NewGeneration SR) StreamHub : Une architecture massivement parallèle pour un système pub/sub haute-performance. Raphaël P. Barazzutti, Pascal Felber, Emanuel Onica, Marcelo Pasin et Etienne Rivière (Université de Neuchâtel) Modulariser les ordonnanceurs de tâches : une approche structurelle. Marc Sergent et Simon Archipoff (Inria Bordeaux Sud-Ouest). Cet article a reçu le sceau de reproductibilité expérimentale REALIS 2014.Cet article est disponible sur HAL. Session système (Cloud) - Laurent Réveillère (RN.02) : Application du contrôle pour garantir la performance des systèmes Big Data. Mihaly Berekmeri, Damian Serrano, Sara Bouchenak, Nicolas Marchand et Bogdan Robu (GIPSA-lab, LIG, Université Grenoble Alpes) Formalisation de propriétés de flux d’information avec une logique temporelle du premier ordre pour assurer la sécurité d’une infrastructure de Cloud. Arnaud Lefray et Jonathan Rouzaud-Cornabas (Université de Lyon, Université d’Orléans) Planification pour la gestion autonomique de l'élasticité d'applications dans le cloud. Loic Letondeur, Xavier Etchevers et Thierry Coupaye (Orange Labs, Université Joseph Fourier) Session architecture (Outils) - Florent de Dinechin (RN.08) : Une approche de conception pour générer automatiquement des moniteurs sur puce pendant la synthèse de haut niveau d’accélérateurs matériels. Mohamed Ben Hammouda, Philippe Coussy et Loic Lagadec (Lab-STICC, UBS, UBO, ENSTA-Bretagne) Ordonnancement, assignation et transformations dynamiques de graphe simultanés pour projeter efficacement des applications sur CGRAs. Thomas Peyret, Gwenole Corre, Mathieu Thevenin, Kevin Martin et Philippe Coussy (CEA-LIST, UBS, Lab-STICC)
12:30-14:00	Dîner
14:00-15:30	Session parallélisme (Traitement et Gestion des Données) - Pierre Kuonen (AULA) : Modulight : un framework efficace pour la visualisation scientifique interactive dynamique. Sébastien Limet, Millian Poquet et Sophie Robert (Univ. Orléans, INSA Centre Val de Loire, LIFO EA 4022) Active Data : Un modèle pour représenter et programmer le cycle de vie des données distribuées. Anthony Simonet (Inria, ENS de Lyon, Université de Lyon, CNRS) Fast Prototyping of Map-Reduce Applications with Docker-Hadoop. Javier Rey, Matias Cogorno, Sergio Nesmachnow et Luiz-Angelo Steffenel (Universidad de la República, Université de Reims Champagne-Ardenne) Session système (Communication) - David Bromberg (RN.02) : Efficient Dissemination Algorithm for Scale-Free Topologies.Ruijing Hu, Julien Sopena, Luciana Arantes, Pierre Sens et Isabelle Demeure (Université Pierre et Marie Curie, Telecom ParisTech) POPS : service de diffusion de flux vidéos live prenant en compte la popularité. Karine Pires, Sébastien Monnet et Pierre Sens (Sorbonne Universités, CNRS, INRIA) Un système pair-à-pair pour la communication dans des réseaux hybrides à connectivité intermittente. Armel Esnault, Nicolas Le Sommer et Frederic Guidec (Université de Bretagne-Sud) Session architecture (Plateformes) - Cécile Belleudy (RN.08) : Prédictibilité des ordonnanceurs des GPU. David Defour (DALI, Univ. Perpignan, LIRMM) Cet article est disponible sur HAL. Contrôle d’application flot de données pour les systèmes sur puces : étude de cas sur la plateforme Magali. Mickaël Dardaillon, Kevin Marquet, Tanguy Risset, Jérôme Martin et Henri-Pierre Charles (Univ. Lyon, Inria, INSA Lyon, Univ. Grenoble, CEA LIST/LETI)
15:30-16:00	Pause café
16:00-17:30	Session parallélisme (Langage et Développement) - Jean-Louis Pazat (AULA) : POP-Java : Parallélisme et distribution orienté objet. Beat Wolf, Pierre Kuonen et Thomas Dandekar (Haute École Spécialisée de Suisse Occidentale, Universität Würzburg). Cet article a reçu le sceau de reproductibilité expérimentale REALIS 2014.Cet article est disponible sur HAL. Comparaison entre performances et effort de développement dans la programmation parallèle. Joeffrey Légaux (Univ. Orléans, INSA Centre Val de Loire) Construction universelle d’objets partagés au-dessus d’un entrepôt clé-valeur. Pierre Sutra (Université de Neuchâtel)Cet article est disponible sur HAL. Assemblée générale de l'ASF (ACM SIGOPS France) (RN.02). Session architecture (Architectures Hautes Performances) - Daniel Chillet (RN.08) : Analyse et réduction du chemin critique dans l’exécution d’une application. Katarzyna Porada, David Parello et Bernard Goossens (DALI, Univ. Perpignan, LIRMM). Cet article a reçu le sceau de reproductibilité expérimentale REALIS 2014. Exécution en parallèle. Djallal Rahmoune, David Parello et Bernard Goossens (DALI, Univ. Perpignan, LIRMM). Cet article a reçu le sceau de reproductibilité expérimentale REALIS 2014.
17:45-19:15	Visite guidée de Neuchâtel (de 17h45 à 19h15) La ville de Neuchâtel offre aux participants de la conférence une visite guidée de la ville de Neuchâtel, de son histoire et de ses monuments. La visite vous mènera du lieu de la conférence au château de Neuchâtel. An English-speaking guide will also be available.
19:15-20:30	Accueil et apéro au château de Neuchâtel Le canton de Neuchâtel et la ville de Neuchâtel accueilleront les participants dans la salle des chevaliers du château pour un apéritif et des fromages de la région. Souper libre, voir les suggestions de restaurants dans la plaquette fournie aux participants.

Jeudi 24 avril 2014

Conférence, Second Jour

		AULA	RN.02	RN.08
8:30-	9:00	Accueil
9:00- 9:30-	9:30 10:00	Conférencière invitée parallélisme; Marie-Christine Sawley (Intel)
10:00- 10:30- 11:00-	10:30 11:00 11:30	Pause café allongée et session posters
11:30- 12:00-	12:00 12:30	Session REALIS 2014 et exposé invité REALIS
12:30- 13:00- 13:30-	13:00 13:30 14:00	Dîner
14:00- 14:30- 15:00-	14:30 15:00 15:30	Session plénière : meilleurs articles
15:30-	16:00	Pause café
16:00- 16:30- 17:00-	16:30 17:00 17:30	Session parallélisme	Session système	Session architecture
17:30- 18:00-	18:00 18:30	Temps libre
18:30- 19:00- 19:30-	19:00 19:30 20:00	Tour en bateau sur le lac de Neuchâtel
20:00- 20:30- 21:00- 21:30- 22:00-	20:30 21:00 21:30 22:00 22:30	Banquet (sur bateau à quai)

Programme

8:30-9:00	Accueil
9:00-10:00	Séance plénière: conférencière invitée parallélisme Marie-Christine Sawley (Intel) Les défis du parallélisme intensif pour le calcul scientifique et technique. [+] Biographie Marie-Christine Sawley est la directrice Intel du laboratoire Exascale Computing Research installé en région parisienne, depuis son ouverture fin 2010. Marie-Christine a obtenu le titre de docteur es sciences de l'EPFL en 1985 en soutenant une thèse de Physique des Plasmas, théorique et numérique. Elle a dirigé le centre de calcul national CSCS de l'ETH Zurich de 2003 à 2008, et travaillé 3 ans comme senior scientist au CERN pour le détecteur CMS. De 1988 à 2003, elle a occupé plusieurs fonctions de management pour le support et l'exploitation des infrastructures de calcul haute performance à l'EPFL. Double nationale Suisse et Française.
10:00-11:30	Pause café allongée et session posters (voir la page dédiée pour la liste des posters)
11:30-12:30	Session plénière consacrée à l'initiative REALIS 2014. Exposé invité REALIS 2014 : Retour d'expérience sur la rédaction d'un article reproductible ; Arnaud Legrand (LIG/CNRS). La présentation est disponible sur HAL. [+] Résumé Nous avons récemment soumis à Europar notre premier article dont l'analyse est reproductible de bout en bout. L'objectif de cette intervention est d'expliquer comment nous avons procédé et de discuter sur la généralisation possible de cette approche à d'autres cas d'étude. Cet article porte sur la validation d'un modèle permettant de simuler StarPU, un runtime à base de tâches pour architectures hybrides, à l'aide de SimGrid. Pour valider ce modèle, un nombre conséquent d'expériences sur des architectures variées a du être réalisé. L'ensemble des traces des exécutions réalisées sur ces différentes plates-formes ainsi que l'ensemble des informations sur leur provenance et nécessaires à leur réalisation (versions des codes, type de machine, OS, options de compilation, ...) ont été consignées systématiquement grâce à une utilisation combinée de git et d'org-mode dans l'équivalent d'un cahier de laboratoire. Il a alors été très simple de rédiger un article sur le même principe. Concrètement, les traces ont été migrées sur figshare et les sources du document contiennent l'intégralité des scripts nécessaires à la réalisation de l'analyse. La compilation du document commence par télécharger l'ensemble des traces en local avant d'en extraire les informations importantes pour l'analyse et de générer les courbes figurant dans l'article. Il devient donc possible pour quiconque de partir d'un graphique et de remonter jusqu'aux informations sur les conditions expérimentales sous-jacentes.
12:30-14:00	Dîner
14:00-15:30	Session plénière : meilleurs articles Meilleur article parallélisme : Un algorithme distribué efficace d’exclusion mutuelle généralisée sans connaissance préalable des conflits. Jonathan Lejeune, Luciana Arantes, Julien Sopena et Pierre Sens (UPMC/CNRS-LIP6, INRIA) Meilleur article système : PUMA : Un cache distant pour mutualiser la mémoire inutilisée des machines virtuelles. Maxime Lorrillere, Julien Sopena, Sébastien Monnet et Pierre Sens (Sorbonne Universités, CNRS, INRIA) Meilleur article architecture : Simulation native de systèmes many-cœurs pouvant avoir des caractéristiques architecturales non génériques. Guillaume Sarrazin, Frédéric Pétrot, Nicolas Fournel et Patrice Gerin (Laboratoire TIMA et KALRAY). Cet article est disponible sur HAL.
15:30-16:00	Pause café
16:00-17:30	Session parallélisme (Applications) - Olivier Richard (AULA) : Étude comparative des plateformes parallèles pour systèmes multi-agents. Bénédicte Herrmann, Christophe Lang et Alban Rousset (Institut Femto-ST, Université de Franche-Comté)Cet article est disponible sur HAL. Amélioration de la Scalabilité Mémoire du code GYSELA. Fabien Rozar (CEA Cadarache, CEA Saclay) Optimisation de l’utilisation du cache dans EUROPLEXUS. Marwa Sridi, Vincent Faucher, Bruno Raffin et Thierry Gautier (CEA Saclay) Session système (Réseaux) - Marc Shapiro (RN.02) : FreeCore: Un Substrat d'index de filtres de Bloom fragmentés pour la recherche par mots clés. Mesaac Makpangou, Bassirou Ngom et Samba Ndiaye (Université Pierre et Marie Curie, Université Cheikh Anta Diop) Matchmaking dans les jeux mutlijoueurs en ligne : étudier les traces utilisateurs pour améliorer l’expérience de jeu. Maxime Véron, Sébastien Monnet et Olivier Marin (Sorbonne Universités, Université Pierre et Marie Curie, CNRS, INRIA) Un langage pour la configuration de DISCUS, une architecture distribuée de solutions de sécurité. Damien Riquet, Gilles Grimaud et Michael Hauspie (Université Lille 1) Session architecture (Architectures Dédiées et Réseau d’Interconnexion) - Stéphane Mancini (RN.08) : Vers une architecture électronique unifiée et zéro temps mort pour l’instrumentation nucléaire. Yoann Moline, Mathieu Thevenin, Gwénolé Corre et Michel Paindavoine (CEA LIST, CNRS, Univ. Bourgogne, LEAD) WiNoCoD : Un réseau d’interconnexion hiérarchique RF pour les MPSoC. Alexandre Brière, Julien Denoulet, Andrea Pinna, Bertrand Granado, François Pêcheux, Patrick Garda, Myriam Ariaud, Frédéric Drillet, Cédric Duperrier, Mohamad Hamieh, Sébastien Quintanel, Olivier Romain, Lounis Zerioul, Yves Louet, Christophe Moy, Eren Unlu , Emmanuelle Bourdel (Sorbonne Universités, UPMC, ETIS/ENSEA/UCP, SUPELEC, IETR)
17:30-18:30	Temps libre
18:30-20:00	Promenade en bateau avec le Fribourg sur le lac de Neuchâtel. Des rafraichissements et l'apéritif seront servis à bord pendant la promenade.
20:00-22:30	Le banquet de la conférence se tiendra dans le bateau le Fribourg à quai au port de Neuchâtel, avec un menu et des vins typiques de la région.

Vendredi 25 avril 2014

Conférence, Troisième Jour

		AULA	RN.02	RN.08
9:00- 9:30-	9:30 10:00	Conférencier invité architecture; Bernard Goossens (Université de Perpignan)
10:00-	10:15	Annonce de la prochaine édition et mot de clôture
10:15-	10:45	Pause café et distribution des lunch boxes pour le midi
10:45- 11:15- 11:45- 12:15-	11:15 11:45 12:15 12:45	Session parallélisme	Session système	Session architecture
12:45		Fin de la conférence

Programme

9:00-10:00	Session plénière : conférencier invité architecture Bernard Goossens (Université de Perpignan) Ce que le matériel peut apporter à la parallélisation automatique. [+] Résumé La parallélisation automatique est aujourd'hui l'affaire du compilateur et du système. Cependant, depuis l'avènement des processeurs multi-coeurs, on peut, au sein d'un composant, répartir les calculs et leurs données. Pourquoi ne pas laisser au matériel le soin de paralléliser ? Distribuer un calcul récursif revient à déployer l'arbre des appels, ce qui peut se faire au gré de la progression de l'exécution. Distribuer un calcul itératif revient à dupliquer les itérations. Une trace peut ainsi se construire en parallèle. Les morceaux qui la composent sont inter-dépendants. On parallélise en limitant les dépendances au minimum. On ne conserve que celles qui proviennent de l'algorithme lui-même. Toutes les autres peuvent être enlevées par le matériel, grâce au renommage, à la copie de registres, à l'évitement de l'emploi de la pile, à l'exécution gloutonne, au repliement des mouvements. En implémentant ces techniques dans un processeur multi-coeur, on peut paralléliser l'exécution de codes C issus d'algorithmes parallèles. On pourra peut-être un jour profiter d'un matériel parallèle pour accélérer tous les programmes. [+] Biographie Bernard Goossens est professeur à l'université de Perpignan et membre de l'équipe de recherche Dali au sein du LIRMM. Docteur en 1984, HdR en 1999. Chercheur en microarchitecture des processeurs. Auteur de publications sur les processeurs multithreads, coprocesseurs vectoriels, unités de calculs pipelinées, mécanismes d'extractions rapides. Son thème de recherche actuel est le parallélisme d'instructions.
10:00-10:15	Annonce de la prochaine édition et mot de clôture
10:15-10:45	Pause café et distribution des lunch boxes
10:45-12:45	Session parallélisme (Parallélisation et Outils) - Laurent Philippe (AULA) : Mécanisme de synchronisation scalable à plusieurs lecteurs et un écrivain. Mohamed Lamine Karaoui, Quentin Meunier, Franck Wajsburt et Alain Greiner (Sorbonne Universités, UPMC Univ Paris 06, Laboratoire d’Informatique de Paris 6). Cet article a reçu le sceau de reproductibilité expérimentale REALIS 2014. Partitionnement Déterministe pour Résoudre les Problèmes de Programmation Par Contraintes en utilisant le Framework Parallèle Bobpp. Tarek Menouer et Bertrand Le Cun (Université de Versailles Saint-Quentin-en-Yvelines) Couplage d’algorithmes d’optimisation par un SMA pour l’exploration distribuée de simulateurs complexes : Application à l’épidémiologie. The-Nhan Ho, Hong-Quang Nguyen, Nicolas Marilleau et Jean-Daniel Zucker (Université Nationale de Hanoi, Institut de Recherche pour le Développment) Session système (Systèmes) - Gaël Thomas (RN.02) : Analyse de systèmes embarqués par structuration de traces d'exécution. Alexis Martin, Generoso Pagano, Jérôme Correnoz et Vania Marangozova-Martin (Inria Grenoble, STMicroelectronics, Université Joseph-Fourier)Cet article est disponible sur HAL. Contrôle de la bande passante mémoire dans les systèmes à criticité mixte par sous-réservation. Antoine Blin, Julien Sopena, Gilles Muller et Youssef Laarouchi (Sorbonne Universités, CNRS, INRIA) Noyau Linux : une étude des outils de trace. Xavier de Rochefort (Université de Bordeaux) Optimisation des transferts de données inter-domaines Xen. Sébastien Frémal (Université de Mons) Session architecture (Ordonnancement et Gestion Mémoire) - Sylvain Collange (RN.08) FPGA virtuels : enjeux et usages. Loïc Lagadec (Lab-STICC, ENSTA Bretagne) Adaptation dynamique en boucle fermée d'un pré-chargement stochastique dans les tableaux. Stéphane Mancini (TIMA, Univ. Grenoble)
12:45	Fin de la conférence (les lunch boxes auront été distribuées à la pause café du matin pour que ceux qui prennent un train puissent les emporter).