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 €
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 sont Sid TOUATI, professeur à l’université Nice Sophia Antipolis, et Jean-Vivien Millo.
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 |