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