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.
