Où, quand, comment
LIEU ET DATES
Lieu : Centre Paul Langevin du CAES du CNRS, Aussois, Savoie
Dates : 8, 9, 10 décembre 2010
Format : début le 8 à 14h, fin après le déjeuner le 10. Séjour en pension complète au centre.
PROGRAMME
| Mercredi 8 décembre 2010 |
| 14:00 – Accueil |
| Laure Gonnord (transparents) |
| 14:30 – 16:30 Un peu de science en attendant le TGV en retard |
| Certification and qualification concerns for code generators and verifiers |
| Marc Pantel (40mn, transparents) |
| Parallélisation avancée de code binaire |
| Benoit Pradelle (40mn, transparents) |
| VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs |
| Alexandra Jimborean (40mn, transparents) |
| 17:00 – 18:40 Science |
| Towards Formally Verified Optimizing Compilation in Flight Control Software |
| Ricardo Bedin-Franca (40mn, transparents) |
| Lisaac : techniques de compilation globale à prototype |
| Benoît Sonntag (40mn, transparents) |
| 18:50 – 19:15 Débat |
| Un livre? |
| Henri-Pierre Charles (20min, transparents) |
| Dîner à 19h30 |
| 21:00-21:30 Présentations informelles au bar |
| Jeudi 9 décembre 2010 |
| 8:30 – 10:00 Matinée Grenobloise (ie équipe d’accueil) |
| Linear Relation Analysis : Principles and recent Progress |
| Nicolas Halbwachs (1h30, transparents) |
| 10:00 – 10:30 Pause café |
| 10:30 – 12:00 Matinée Grenobloise (suite) |
| Static analysis over SSA programs, stratification by variable dependencies |
| Julien Le-Guen (0h30, transparents) |
| Static analysis, semantic soundness and compiler front-ends |
| David Monniaux (0h30, transparents) |
| Static timing Analysis: Cache analysis by abstract interpretation |
| Claire Maiza (0h30, transparents) |
| Déjeuner 12:30-13:45 |
| 14:00 – 16:30 Balade en montagne |
| Pause 16:30-16:45 |
| 16:45- Science |
| A Stream-Computing Extension to OpenMP |
| Antoniu Pop (40mn, transparents) |
| Hardware accelerators & cie |
| Serge Guelton (40mn, transparents) |
| Completeness of Instruction Selectors |
| Florian Brandner (40mn, transparents) |
| 18:40 – 19h00 Débat |
| Quelle(s) fonction(s) pour un compilateur ? Traduction, vérification, optimisation |
| Sid Touati (20min, transparents) |
| Vendredi 10 décembre 2010 |
| 8:45 – 9:30 |
| GCC Melt |
| Basile Starynkevitch (10mn, transparents) |
| Une démo de PIPS/PAR4ALL par Serge Guelton et Mehdi Amini |
| 9:30-9:50 |
| Organisation: Retour, Annonces ! |
| 9:50-10:00 Workshops |
| First International workshop on PolyhedrAl Compilation Techniques (IMPACT) |
| Albert Cohen (5mn, transparents) |
| 3rd Workshop on GCC Research Opportunities (GROW) |
| Albert Cohen (5mn, transparents) |
| WIR 2011: Workshop on Intermediate Representations 2011 |
| Florent Bouchez (5mn, transparents) |
| ACCA 2011: Workshop “analyse to compile, compile to analyse” |
| Laure Gonnord (5mn, transparents) |
| Pause 10:00-10:30 |
| 10:30-12:30 Medley |
| Automatic optimizations of DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators |
| Alexandru Plesco (40mn, transparents) |
| Formal Verification and Optimization of Graph-Coloring Register Allocation |
| Benoit Robillard (40mn, transparents) |
| Nouvelle équipe: “Laboratoire Infrastructure et Atelier Logiciel pour Puce (LIALP)” |
| Henri-Pierre Charles (15mn, transparents) |
| Nouvelle équipe: CAMUS |
| Vincent Loechner (15mn, transparents) |
RESPONSABLES
Organisateurs locaux : Nicolas Halbwachs et David Monniaux, CNRS, laboratoire VERIMAG, Grenoble
COMMENT S’INSCRIRE
Par courrier électronique à l’adresse compil2010@imag.fr.
Merci de vous signaler avant le 15 octobre, y compris pour dire que vous envisagez de venir mais que vous n’en êtes pas sûr. En effet, le centre Paul Langevin veut à cette date une estimation du nombre de participants.
COMMENT RÉGLER
Les participants non sponsorisés devront régler directement leur hébergement et leur nourriture au centre Paul Langevin, pour un montant total de 165 € en pension complète.
Participants
| Nom | Prénom | Affiliation | |
|---|---|---|---|
| M. | Touati | Sid | Université de Versailles Saint Quentin / PRISM |
| Mme | Ancourt | Corinne | Mines ParisTech |
| M. | Amini | Mehdi | Mines ParisTech |
| M. | Coelho | Fabien | Mines ParisTech |
| M. | Guelton | Serge | Mines ParisTech |
| M. | Jouvelot | Pierre | Mines ParisTech |
| Mlle | Khaldi | Dounia | Mines ParisTech |
| M. | Pop | Antoniu | Mines ParisTech |
| Mlle | Mensi | Amira | Mines ParisTech |
| M. | Loechner | Vincent | Université de Strasbourg |
| M. | Ketterlin | Alain | Université de Strasbourg |
| M. | Pradelle | Benoît | Université de Strasbourg |
| Mlle | Jimborean | Alexandra | Université de Strasbourg |
| M. | Charles | Henri-Pierre | CEA Saclay (Gières) |
| Mme | Gonnord | Laure | Université de Lille / LIFL |
| M. | Monniaux | David | CNRS / VERIMAG |
| Mme | Maiza | Claire | Grenoble-INP (ENSIMAG) / VERIMAG |
| M. | Halbwachs | Nicolas | CNRS / VERIMAG |
| M. | Starynkevitch | Basile | CEA Saclay |
| M. | Cohen | Albert | INRIA Saclay |
| Mme | Creusillet | Béatrice | HPC Project |
| M. | Pantel | Marc | INP Toulouse (ENSEEIHT) / IRIT |
| M. | Bedin França | Ricardo | Université de Toulouse / IRIT |
| M. | Dieumegard | Arnaud | Université de Toulouse / IRIT |
| M. | Leroy | Xavier | INRIA Paris-Rocquencourt |
| M. | Colombet | Quentin | INRIA Rhône-Alpes |
| M. | Zendra | Olivier | INRIA Nancy |
| M. | Feautrier | Paul | École normale supérieure de Lyon / LIP |
| M. | Robillard | Benoît | ENSIEE |
| M. | Blazy | Sandrine | Université Rennes 1 / IRISA |
| M. | Sonntag | Benoît | Université de Strasbourg |
| M. | Herrmann | Matthieu | Université de Strasbourg |
| M. | Magaud | Nicolas | Université de Strasbourg |
| M. | Alias | Christophe | INRIA Rhône-Alpes |
| M. | Darte | Alain | CNRS / LIP |
| M. | Plesco | Alexandru | École normale supérieure de Lyon / LIP |
| M. | Le Guen | Julien | ST Microelectronics + VERIMAG |
| M. | Rival | Xavier | INRIA Paris-Rocquencourt |
| M. | Brandner | Florian | École normale supérieure de Lyon / LIP |
| M. | Perrelle | Valentin | Université Joseph Fourier / VERIMAG |
| M. | Guillon | Christophe | ST Microelectronics |
| M. | Bouchez | Florent | Kalray |
| M. | Pietrek | Arthur | VERIMAG + Kalray |
| M. | Bertin | Christian | ST Microelectronics |
| M. | Brault | Frédéric | INRIA / UVSQ / Kalray |
| Mme | Roy | Valérie | Mines ParisTech |
| M. | Pasquier | François-Xavier | HPC Project |
| M. | Barkati | Karim | Mines ParisTech |
| M. | Keryell | Ronan | HPC Project |
| M. | Orlarey | Yann | GRAME |
| M. | Habel | Rachid | Mines ParisTech |
| M. | Maisonneuve | Vivien | Mines ParisTech |
| Mme | Brunet | Elisabeth | Télécom SudParis |
| M. | Muller | Alain | Télécom SudParis |
| M. | Derrien | Steven | IRISA |
| M. | Cavazos | John | University of Delaware |
Programme scientifique
Le colloque est destiné à un public en très grande majorité francophone. Cependant, il y aura quelques doctorants et post-doctorants étrangers qui ne maîtrisent pas le français. Nous suggérons donc :
- « Transparents » en anglais, si possible.
- Exposé en français, sauf pour ceux qui ne maîtrisent pas cette langue, qui feront leur exposé en anglais.
Sponsors : VERIMAG, CNRS, GDR Génie de la programmation et du logiciel, INRIA
