Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence:

  • Christophe Alias: Introduction à la compilation, L3, INSA Centre-Val-de-Loire: Spring 2014 (CM+TD=18h).

  • Christophe Alias: Architecture des ordinateurs, L2, Université Lyon 1 Claude Bernard: Spring 2014 (TP=15h).

  • Christophe Alias: Concours E3A, épreuve informatique MPSI (shepherding/exams): Spring 2014.

  • Laure Gonnord: Architecture des ordinateurs, L2, Université Lyon 1 Claude Bernard: Spring 2014 (TD+TP=40h), and Automn 2014 (Course+TD 40h).

• Master:

  • Christophe Alias, Compilation avancée (CM 10h), M2, Ecole Normale Supérieure de Lyon.

  • Christophe Alias, Compilation (CM 24h), M1, Ecole Normale Supérieure de Lyon.

  • Laure Gonnord, Introduction aux systèmes et réseaux (CM/TP 52h), M2 Pro, Université Lyon 1.

  • Laure Gonnord, Compilation (TD/TP 24h), M1, Université Lyon 1 Claude Bernard.

  • Laure Gonnord, Complexité (TD 15h), M1, Université Lyon 1 Claude Bernard.

  • Laure Gonnord, Temps réel (TP 24h), M1, Université Lyon 1 Claude Bernard.

  • Laure Gonnord also organized two research schools (24h each) for the M1-ENS students. In 2014, the topic was “Programming embedded systems with synchronous languages” (invited speakers: Julien Forget, Abdoulaye Gamatié, Alain Girault, Nicolas Halbwachs). In 2015, the topic will be “Static analyses in the state-of-the-art compilers” (invited speaker: Fernando Pereira).

• E-learning:

  • Paul Feautrier has recorded a lecture on the polyhedral model, to be part of a course on auto-parallelization sponsored by the IEEE Computer Society (University of Illinois at Urbana-Champaign, Sept. 5-7) and organized by Hironori Kasahara and David Padua.

  • Following the 2013 Spring School on Polyhedral Code Analysis and Optimization organized by Alain Darte, the videos of most courses have been collected and made available in 2014 (see http://labexcompilation.ens-lyon.fr/polyhedral-school/videos/ ). See also Section  8.4.1.2 .

Supervision

• PhD in progress: Guillaume Iooss, “Semantic tiling”, started in September 2011, joint PhD ENS-Lyon/Colorado State University, advisors: Christophe Alias and Alain Darte (ENS-Lyon) / Sanjay Rajopadhye (Colorado State University).

• PhD in progress: Alexandre Isoard, “Streaming-related code optimizations”, started in September 2012, advisor: Alain Darte.

• PhD in progress: Maroua Maleej, “Low cost static analyses for compilers”, started in October 2014, advisors: Laure Gonnord and Alain Darte.

Juries

Paul Feautrier was a member of the PhD defense committees of Michael Kruse (Orsay, Sept. 26, 2014), entitled “Lattice QCD Optimization and Polytopic Representations of Distributed Memory”, and of Luc Michel (Grenoble, Dec. 18, 2014), entitled “Contributions à la traduction binaire dynamique: support du parallélisme d'instructions et génération de traducteurs optimisés”.

Laure Gonnord was a reviewer for the PhD thesis of Chan N'Go (Rennes, Jul. 2014), entitled “Formal Verification of a Synchronous Data-flow Compiler: From Signal to C”.

Alain Darte was member of the PhD defense committee of Romain Brillu (Nantes, Nov. 12, 2014), entitled “Efficient Design and Programming of MPSoC (Multiple Processors System on Chip) Architectures”.