Deuxièmes rencontres de la communauté française de compilation

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

Comments are closed