Les sixièmes rencontres auront lieu à Annecy du mardi 2 avril au jeudi 4 avril (midi)
Où, quand, comment
Dates : du mardi 2 au jeudi 4 avril 2013. — Arrivées dans la matinée du 2, départs dans l’après-midi du 4.
Navette Lyon Part Dieu/ Annecy : mardi 2 départ de Lyon à 11h45 SORTIE Villette de la Gare Lyon Part Dieu , jeudi 4 arrivée à lyon 15h45.
Lieu balcons du lac.
Organisateurs
Fabrice Rastello (Prenom.nom at ens-lyon.fr) et Laure Gonnord (Prenom.nom at lifl.fr).
Programme
Mardi 2 avril 2013 |
|
| 12h30 -13h45 | Déjeuner |
| 15h – 16h30 | Session 1 |
| Accueil et trimestre thématique trimestre thématique |
|
| Eric Violard, ICPS Strasbourg Une structure de contrôle parallèle en C : Le multifor et sa sémantique dénotationnelle. /td> | |
| Thomas Braibant (candidat cr/mcf) Compilation certifiée de hardware |
|
| Dounia Khaldi (Doctorant) CRI, Mines Paristech SPIRE: A Sequential to Parallel Intermediate Representation Extension |
|
| 16h30 – 17h00 | Pause |
| 17h – 19h | Session 2 |
| Tomofumi Yuki (Inria Rennes) Far fetched prefetching? |
|
| Gwenaël Delaval, Popart, Grenoble (Tutoriel) Compilation du langage BZR. |
|
| 19h | Dîner |
Mercredi 3 avril 2013 |
|
| 8h-8h45 | Petit déjeuner |
| 9h – 10h45 | Session 3 Compsys |
| Alain Darte, Compsys, Lyon Présentation de l’équipe Compsys. |
|
| Alain Darte Modèles et algorithmes, comprendre de quoi on parle |
|
| Paul Feautrier, Compsys, Lyon Array Data Flow Analysis for Polyhedral X10 programs |
|
| 10h45 – 11h | Pause |
| 11h – 12h30 | Session 4 |
| Guillaume Iooss (Doctorant), Compsys, Lyon Tuilage sémantique |
|
| Ivan Llopard (Doctorant), LIALP, CEA Grenoble Forces et faiblesses de LLVM comme générateur de code d’un DSP spécialisé |
|
| Alan Raynaud, ENST Élimination d’allocations temporaires dans le langage python |
|
| 12h30 – 14h | Pause déjeuner |
| 14h – 17h30 | Visite Annecy |
| 18h00 – 19h… | Session 5 + Débat |
| Robin Morisset Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model |
|
| Les Nouveaux! |
|
| Sid Touati, AOSTE, Sophia Compilo OS-aware? |
|
| 20h | Dîner |
Jeudi 4 avril 2013 |
|
| 8h-9h | Petit déjeuner |
| 9h – 10h30 | Session 6 |
| Stéphanie Riaud (Doctorant) Celtique, Rennes Utilisation d’un compilo pour évaluer la résistance des obfuscations de programmes C |
|
| Vincent Laporte (Doctorant) Celtique, Rennes Automatic Refinement for Verified Compilation |
|
| Pierrick (Doctorant) ENST Utilisation d’allocation de registre pour optimisation de calcul acoustique probabiliste |
|
| 10h30 – 11h | Pause |
| 11h – 12h | Session 7 Tutoriel |
| Serge Guelton Python Parallèle avec pythran |
|
| 12h00-13h30 | Déjeuner |
Sponsors
Ces journées sont organisées par l’équipe Compsys, font partie du trimestre thématique Labex Compilation à Lyon printemps 2013, et sont financées par le labex Milyon, Inria Rhône Alpes, l’Ens Lyon.