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

Où, quand, comment

LIEU ET DATES

Lieu : Manoir de la Vicomté, à Dinard.
Dates : du mercredi 27 avril au vendredi 29 avril 2011.
Deadline : inscription avant le 31 mars 2011.
Format : début avant le déjeuner du 27, fin après le déjeuner du 29.

PROGRAMME

Mercredi 27 avril
12h Déjeuner
13h30 – 15h Session 1
Laure Gonnord
Analyse statique et polyèdres pour la preuve de terminaison de programmes
[Slides]
Benjamin Lesage
Static timing analysis: Accounting for shared caches in multicore architectures
[Slides]
Isabelle Puaut
Predictable Binary Code Cache: A First Step Towards Reconciling Predictability and Just-In-Time Compilation
Slides]
15h – 15h30 Pause
15h30 – 17h Session 2
Delphine Demange
Validation de la transformation SSA pour le compilateur certifié Compcert
Alexandre Pilkiewicz
Validation prouvée d’optimisations polyédriques
Arnaud Dieumegard
Vérification d’un générateur de code par génération d’annotations
17h – 17h30 Pause
17h30 – 18h30 Session 3
Mounira Bachir
Code Size Reduction in Software Pipelined Loops
David Yuste
Relaxed-precision helper-thread assisted math library
19h45 – Dîner
Jeudi 28 avril
9h – 10h François Bodin
Are general-purpose compilers obsolete? – Compilers in the manycore era
[Slides]
10h – 10h30 Pause
10h30 – 12h Session 4
Clément Guy
Vers une fertilisation croisée de l’IDM et de la compilation pour l’ingénierie des langages
[]
Antoine Floc’h
Sélection d’instructions et ordonnancement parallèle simultanés pour la conception de processeurs spécialisés
[]
Hervé Yviquel
Génération de code matériel et logiciel à partir de la description flot de données d’une application
[Slides]
12h – 13h30 Déjeuner
13h30 – 15h Session 5
Julien Le Guen
MinIR, a minimalist Intermediate Representation
François Irigoin
Data and Process Abstraction in PIPS Internal Representation
[Slides]
Artur Pietrek
Tirex: A Target-Level Intermediate Representation for Compiler Exchange
[Slides]
15h – 15h30 Pause
15h30 – 17h30 Session 6
Nicolas Benoît
Une adaptation du flot de compilation à l’exploitation de parallélismes imbriqués
[Slides]
Gaël Thomas
VMKit: a Substrate for Managed Runtime Environments
Alexandra Jimborean
Handling Multi-Versioning in LLVM: Code Tracking and Cloning
[Slides]
Discussion
17h30 – 19h Excursion sur le sentier côtier
19h Apéro discussion, dîner
Vendredi 29 avril
8h30 – 10h30 Session 7
Matthieu Moy
Techniques de compilation dédiées pour SystemC
[Slides]
Benoît Pradelle
Adaptive Runtime Selection of Parallel Schedules in the Polytope Model
Alain Ketterlin
Extraire le comportement mémoire d’un programme binaire, avec quelques applications
[Slides]
10h30 – 11h Pause
11h – 12h30 Session 8
Andrés Charif-Rubial
Analyse du comportement mémoire d’applications multithread
Serge Guelton
PIPS mis à SAC
Ronan Keryell
Par4All: infrastructure de parallélisation multicible
12h30 Déjeuner (buffet)
13h40 Départ navette

Souvenirs :

https://www.flickr.com/photos/isabelle_puaut/sets/72157626605787332/

ORGANISATEURS

Les organisateurs locaux de cette troisième édition sont : Sandrine Blazy (prenom.nom@irisa.fr) et Erven Rohou (prenom.nom@inria.fr)

INFOS GÉNÉRALES

Les troisièmes rencontres de la communauté française de compilation auront lieu au Manoir de la Vicomté, à proximité de Dinard, du 27 au 29 avril 2011.

Situé à 200 m de la mer, sur la commune de Dinard, station balnéaire réputée, dans le quartier résidentiel dit de la Vicomté, le Manoir est à 3 km du centre ville, et à 10 kilomètres de la gare TGV de Saint-Malo, en franchissant le barrage de la Rance.

De la Pointe du Grouin, près de Cancale, au Cap Frehel, près d’Erquy, s’étend la Côte d’Émeraude. Le Manoir est au centre d’un environnement exceptionnel : entre le Mont Saint-Michel et le Cap Frehel, sans oublier le pays de Rance et Dinan, permettant de découvrir pleinement ou partiellement cette région.

INSCRIPTIONS

La date limite d’inscription est fixée au 4 avril 2011. Les droits d’inscriptions sont les suivants :

Chambre individuelle Chambre « twin » Formule sans hébergement
Tarifs 195 € 175 € 120 €

Les droits d’inscription couvrent :

  • le séjour en pension complète au Manoir de la Vicomté/Dinard du mercredi 27-déjeuner au vendredi 29-déjeuner ;
  • les pauses café ;
  • les navettes spéciales « COMPILATION 2011 » ;

Les frais de voyage restent à la charge de chaque participant.
Vous pouvez vous inscrire avant le 31 mars 2011.

SPONSORS

Les troisièmes rencontres de la communauté française de compilation sont organisées par le centre Inria Rennes – Bretagne Atlantique et soutenues financièrement par le GDR Génie de la programmation et du logiciel, l’Irisa, et la direction de la recherche de l’Inria.

Comments are closed.