Mercredi 30 janvier 2019 |
|
| 12h30 – 14h00 | Déjeuner |
| 14h15 | Accueil (Corinne Ancourt) |
| 14h30 | Pierre Guillou, MINES ParisTech, CRI, Fontainebleau Parallélisation automatique d’applications de traitement d’images sur processeur pluricoeur MPPA |
| 15h15 | Patryk Kiepas, MINES ParisTech, CRI, Fontainebleau Optimisation de code MATLAB et modèles de performance |
| 15h45 | Harenome Ranaivoarivony-Razanajato, INRIA Strasbourg Nids de boucles polyédriques et schedules OpenMP : plus difficile qu’il n’y paraît |
| 16h15 – 16h45 | Pause |
| 16h45 | Salwa Kobeissi , INRIA Strasbourg The Polyhedral Model Beyond Loops – Recursion Optimization and Parallelization Through Polyhedral Modeling |
| 17h15 | Byron Hawkins, INRIA Rennes The Dicer: differential performance profiling over trace chunks with randomized |
| 17h45 | Florian Gouin, MINES ParisTEch, CRI Fontainebleau Méthodologie de placement d’algorithmes sur GPU |
| 18h30 | Emilio Gallego, MINES ParisTEch, CRI Fontainebleau Towards a Formalized Compilation Scheme for Solidity Contracts |
| 19h15 – 20h45 | Diner |
| 20h50 |
Lightning talks : Maksim Berezov, MINES ParisTech, CRI Fontainebleau |
| 21h00 | Paul Iannetta, Univ.Claude Bernard Lyon 1 Semantic Array Dataflow Analysis |
Jeudi 31 janvier 2019 |
|
| 7h30 – 9h | Petit déjeuner |
| 9h | Equipe Epona, Quarkslab Contrôle de passes à grain fin pour l’obfuscation de code |
| 9h30 | Manuel Carrasco, Quarkslab Building a Virtual Machine obfuscation |
| 10h – 10h30 | Pause |
| 10h30 | Maxime Schmitt, ICPS, Strasbourg Génération automatique de codes adaptatifs |
| 11h | Christian Fabre – CEA LETI, Grenoble L’intérêt de RISC-V pour la recherche en compilation |
| 11h30 | Son Tuan Vu,Sorbonne Université, LIP6 Compilation et optimisation de code en présence d’annotations de sécurité |
| 12h – 13h30 | Déjeuner |
| 13h45 – 18h | Visite du Château de Fontainebleau et de la ville |
|---|---|
| 19h – 20h30 | Diner |
| 20h45 | Discussions : Pierre Guillou, MINES ParisTech, CRI, Fontainebleau : Outils de développement pour la compilation |
Vendredi 1er février 2019 |
|
| 7h30 – 9h | Petit déjeuner |
| 9h | Simon Rokicki, INRIA Rennes Accélération matérielle pour la traduction dynamique de programmes binaires |
| 9h30 | Erven Rohou, INRIA Rennes FITTCHOSER: A Dynamic Feedback-Based Fittest Optimization Chooser |
| 10h – 10h30 | Pause |
| 10h30 | Guillaume IOOSS, ENS, Paris Underspecified 1-synchronous clocks and non-determinism |
| 11h | Tiago Trevisan Jost – CEA LETI, Grenoble Early work on a compiler flow for emerging variable precis |
| 11h30 | Fabian Gruber – Inria Grenoble Data-Flow/Dependence Profiling for Structured Transformations |
| 12h | Manuel Selva – Inria Grenoble Building of a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of non-Affine Programs Scalable |
| 12h30 – 14h | Repas |