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 €

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

Comments are closed