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

Lieu et date

  • Lieu : Hotel le Saint Paul (ex maison des séminaires). 29 Boulevard Franck Pilatte. 06300 Nice
  • Dates : 1er au 3 juillet 2014
  • Date limite : inscription avant le 1er juin 2014 .

Inscription

  • Tarif pension complète: 320 €
  • Tarif sans hébergement: 170 €
  • Site web d’inscription en ligne: Site INRIA
  • Modes de paiement: Carte ou virement bancaire seulement (pas de bon de commande, pas de chèque).
  • Remarque pour le personnel INRIA: dans la mesure du possible, afin de ne pas alourdir le déficit budgétaire des journées de la compilation, prière de régler vos frais d’inscription via une caisse non INRIA.

Photos !!!

im1 im2

Programme

Programme

Mardi 1er juillet 2014

12h30 – 14h30 Accueil et déjeuner
14h30-16h30 Session AOSTE
Emilien Kofman (doctorant UNS/LEAT/INRIA)
Scheduling for safe executions under multi criteria optimisation
Amin Oueslati (doctorant INRIA-Sophia, UNS)
Algorithmic archetypes to match concurrent MoCs and parallel architectures.
Sid Touati (Professeur, UNS)
A tout hasard
16h30-17h Pause et discussions
17h-18h30 Session analyse de code
Gaël Deest (doctorant, IRISA, université de Rennes)
Vers une analyse de précision efficace pour la conversion flottant-vers-fixe
Vivien Maisonneuve (doctorant, CRI, MINES ParisTech)
Traduction de preuves de stabilité de Lyapunov en arithmétique machine
19h30 Cocktail
20h Dîner

Mercredi 2 juillet 2014

8h30-10h30 Session parallélisme
Mathias Bourgoin (ATER, UPMC-LIP6)
Efficient abstractions for GPGPU programming
Ryad Baghdadi (doctorant, INRIA, UPMC)
Experience in applying polyhedral optimization for irregular image processing codes
Rachid Habel (doctorant à Télécom SudParis/Mines ParisTech)
Expérimentations avec DSTEP
10h30-11h Pause et discussions
11h-12h30 Session WCET
Florian Brandner (enseignant chercheur, ENSTA)
Refinement of Worst-Case Execution Time Bounds by Graph Pruning
André Oliveira Maroneze (doctorant, INRIA université de Rennes)
Formal verification of a WCET estimation tool
12h30-14h Déjeuner
13h30-17h30 Ballade/sortie oxygène
17h30-19h30 Discussions libres
20h Dîner (amélioré)

Jeudi 3 juillet 2014

8h30-10h30 Session génération de code
Nabil Hallou (doctorant, université de Rennes, IRISA)
Dynamic re-vectorization of binary code
Victor Lomüller (doctorant CEA/DRT/LIST/DACLE/LIALP, MINATEC)
Une extension LLVM pour la génération de spécialiseur de code run-time bas-coût
Damien Couroussé (ingénieur de recherche, CEA-List)
COGITO: Code Polymorphism to Secure Devices
10h30-12h Discussions et démos
12h- 13h30 Déjeuner et départ

Organisateurs

L’organisateur local de cet événement est Sid TOUATI, professeur à l’université Nice Sophia Antipolis.

Pour des questions d’organisation pratique (conseil itinéraire, séjour, etc), prière de contacter Jean-Vivien Millo.

Comment se rendre au lieu du séminaire ?

Les transports en commun à Nice sont denses et nombreux. Compte tenu du trafic routier, un taxi n’est pas une solution rentable (durée du trajet par rapport au prix). Le site web des transports en commun à Nice est ici .

  • Si vous venez en voiture: L’hôtel Saint Paul a un parking gratuit pour vous.
  • Si vous venez par avion: Prenez le bus express numéro 98 de l’aéroport, descendez à l’arrêt “le port” (à ne pas confondre avec l’arrêt “le port Arson”, qui se situe juste après). Si vous appréciez la marche à pied le long de la méditerranée, une fois arrivé au port, longez la côte vers l’Est durant 15-20 minutes jusqu’à l’hôtel. Sinon, prenez le bus 30 à l’arrêt “le port Arson” (proche de l’arrêt “le port”) direction gare SNCF, et descendez à l’arrêt “la réserve”. Marchez quelques minutes ensuite le long de la côte vers l’Est jusqu’à l’hôtel. Mais compte tenu de la fréquence faible du bus numéro30, il est plus rentable de marcher à pied du port jusqu’à l’hôtel.
  • Si vous venez par train: Prenez un trajet qui vous fait descendre à la gare SNCF Riquier (et non pas Nice ville). Une fois à la gare SNCF Riquier, prenez le bus numéro numéro 30 en direction de Riquier, et descendez à l’arrêt “la réserve”. Marchez ensuite quelques minutes le long de la côte vers l’Est jusqu’à l’hôtel Saint Paul.
  • Si appréciez faire du vélo: Nice a des stations de “vélo bleu” un peu partout que vous pourrez louer avec une carte bancaire. Il est même possible et agréable de faire le trajet de l’aéroport jusqu’au port ou jusqu’à tout près de l’hôtel à vélo, le long de la promenade des anglais. Le site internet “vélo bleu” est ici

Proposition d’exposés

Envoyez un titre et un résumé avant le 1er juin 2014 à Sid TOUATI.

En cas de difficulté financière pour assister aux journées, contactez Fabrice Rastello et Laure Gonnord, nous essaierons de trouver une solution ensemble.

Sponsors

Ces journées sont organisées par Inria Sophia Antipolis Méditerranée, et sont sponsorisées par le GDR ASR, le GDR GPL, Hipeac et le laboratoire I3S

Logo inria Logo GDR ASR Logo GDR GPL Logo HIPEAC Logo I3S-Lab

Participants

 

PAGES Julien LIRMM
LAOUADI Rabah LIRMM  –  UNIVERSITE MONTPELLIER 2
HALLOU Nabil INRIA RENNES
DEEST Gael UNIVERSITE DE RENNES 1 / IRISA
HABEL Rachid TELECOM SUDPARIS/MINES PARISTECH
LOMULLER Victor CEA-LIST
BRANDNER Florian ENSTA PARISTECH
OLIVEIRA Andre INRIA RENNES
BEAUGNON Ulysse ENS – INRIA
BAGHDADI Riyadh ENS/INRIA
MAISONNE Vivien MINES PARISTECH
KOFMAN Emilien INRIA
IRIGOIN Francois MINES PARISTECH
MALLET Frederic UNIV NICE SOPHIA ANTIPOLIS
OUESLATI Amin INRIA
DE SIMONE Robert INRIA SOPHIA MEDITERRANEE
GUILLOU Pierre MINES PARISTECH
DUPERON Georges LIRMM / CORTUS
COHEN Albert INRIA
TOUATI Sid INRIA/I3S
Courousse Damien CEA
Alain Darte ENS-Lyon
Romain Labolle ENS-Lyon
Alexandre Isoard ENS-Lyon

Comments are closed