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

Les sixièmes rencontres auront lieu à Annecy du mardi 2 avril au jeudi 4 avril (midi)
p7

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.

Visite Annecy

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!
PDF
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.

Comments are closed