FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies
CASH - 2018



Section: Dissemination

Teaching - Supervision - Juries

Teaching

  • Licence:

    • Christophe Alias, Compilation, CM+TD, 27h, 3A, INSA Centre Val de Loire.

    • Laure Gonnord, Algorithmic, C++ Programming, TP: L2, UCBL

    • Laure Gonnord, Operating Systems, CM+TD+TP, 24h, L2, UCBL

    • Laure Gonnord, Formal Languages, TD+TP, 15h, L3, UCBL

    • Laure Gonnord, Logics, TD+TP, 18h, L3, UCBL.

    • Matthieu Moy, Concurrent Programming, CM+TD+TP, 57h, L3, UCBL.

    • Matthieu Moy, Recursive Programming, TD+TP, 48h, L1, UCBL.

    • Matthieu Moy, Software Engineering, CM+TD+TP, 25h, M1, UCBL.

    • Matthieu Moy, Git, CM+TP: 12h, L3, UCBL.

    • Paul Iannetta, ACM, TD, 32h, L3, ENS de Lyon.

    • Julien Braine, Théorie de la programmation, TD/TP, 32h, L3, ENS de Lyon.

    • Julien Braine, Projet 1, TP, 32h, L3, ENS de Lyon.

  • Master:

    • Christophe Alias, Compiler optimizations for embedded applications, CM+TD, 27h, 4A, INSA Centre Val de Loire.

    • Christophe Alias and Matthieu Moy, Hardware Compilation and Simulation, CM+TD, 36h, M2 Informatique Fondamentale, ENS de Lyon.

    • Laure Gonnord, Compilation and Program Analysis, CM, 28h, M1, ENS de Lyon.

    • Laure Gonnord, Compilation and program transformations, CM+TD+TP, 35h, M1, UCBL.

    • Laure Gonnord, Real Time Systems, CM+TD+TP, 30h, M1, UCBL.

    • Laure Gonnord (25%), with Sebastien Mosser, Software Engineering and Compilation, CM+TP, 36h, M2 Informatique Fondamentale, ENS de Lyon.

    • Laure Gonnord, Graphs, Complexity, Algorithmics, M1 MEEF (CAPES prepa), CM+TD+TP+oral training, 30h, UCBL.

    • Matthieu Moy, Compilation and Program Analysis, TP, 16h, M1, ENS de Lyon.

    • Matthieu Moy, Compilation and program transformations, TD+TP, 25h, M1, UCBL.

    • Paul Iannetta, Projet intégré, 28h, M1, ENS de Lyon.

    • Ludovic Henrio, Distributed Systems: an algorithmic approach, CM+TD, 7h, M2 Specialite IFI (Ingénierie et Fondements de l'Informatique), parcours CSSR, and UBINET, Université de Nice Sophia-Antipolis.

Supervision

  • PhD: Amaury Graillat, “Parallel Code Generation of Synchronous Programs for a Many-core Architecture”, Univ. Grenoble Alpes, defended on November 16th 2018, supervised by Matthieu Moy (LIP), Pascal Raymond (Verimag) and Benoît Dinechin (Kalray).

  • PhD in progress: Gabriel Busnot, “Accélération SystemC pour la co-simulation multi-physique et la simulation de modèles hétérogènes en complexité”, Univ. Lyon 1, started in october 2017, supervised by Matthieu Moy (LIP) and Tanguy Sassolas (CEA-LIST).

  • PhD in progress: Tristan Delizy, “Dynamic Memory Management For Embedded Non-Volatile Memory”, INSA Lyon, started in October 2016, supervised by Guillaume Salagnac (CITI), Tanguy Risset (CITI), Kevin Marquet (CITI) and Matthieu Moy (LIP).

  • PhD in progress (from Sept. 2018): Paul Iannetta “Complex data structures scheduling for optimizing compilers”, supervised by Lionel Morel (CITI/CEA) and Laure Gonnord (LIP).

  • PhD in progress (from Sept. 2018): Julien Braine “Horn Clauses as an Efficient Intermediate Representation for Data Structure Verification”, supervised by David Monniaux (CNRS/Verimag) and Laure Gonnord (LIP).

  • PhD in progress: Pierre Leca, “Distributed BSP: Active Objects for BSPlib programs”, CIFRE Huawei/UNS, started in August 2017, supervised by Gaëtan Hains (Huawei), Wijnand Suijlen (Huawei), Françoise Baude (UNS./I3S), Ludovic Henrio (LIP).

Juries

  • Christophe Alias was an expert for the midterm PhD evaluation of Hang Yu from Université Grenoble-Alpes. Hang Yu is supervised by Michaël Perrin and David Monniaux.

  • Laure Gonnord was an expert for the midterm PhD evaluation of Sébastien Bonnieux from University Nice Côte d'Azur. Sébastien Bonnieux was supervised by Sébastien Mosser and Mireille Blay-Fornarino.

  • Laure Gonnord was reviewer for the PhD of Vincent Botbol from Sorbonne Université entitled “Analyse Statique de programmes concurrents avec variables numériques” and supervised by Emmanuel Chailloux and Tristan Le Gall.

  • Laure Gonnord was external jury member for the PhD of Hoby Rakotoarivelo from Université Paris-Saclay entitled “Approche de co-design de noyaux irréguliers sur accélérateurs manycore. Application au cas du remaillage adaptatif pour le calcul intensif” and supervised by Franck Ledoux et Franck Pommereau.

  • Laure Gonnord was local jury member for the PhD of Mohammed Amer from Université de Lyon entitled “Centralized Optimization of the Association in IEEE 802.11 Networks” and supervised by Anthony Busson and Isabelle Guérin-Lassous.

  • Matthieu Moy was an expert for the midterm PhD evaluation of Joumana Lagha from Ecole centrale de Nantes. Joumana Lagha is supervised by Prof. Olivier H. Roux, Sebastien Faucou and Jean-luc Bechennec.

  • Matthieu Moy was reviewer for the Ph.D of Benjamin Rouxel from Université de Rennes 1 entitled “Minimising communication costs impact when scheduling real-time applications on multi-core architectures” and supervised by Isabelle Puaut and Steven Derrien.

Internships

  • Bilel Aouadhi, a last year engineer student from Faculté des sciences de Tunis, worked from April 2018 to July 2018 on the implementation of a visualization tool for Data-aware process networks. His was supervised by Christophe Alias and Matthieu Moy, his internship was funded by Université Lyon 1.

  • Ligia Novacean, a L3 student from University of Cluj-Napoca (Romania), worked from July 2018 to September 2018 on a DPN-to-C translator for the HLS tool of Xilinx, VivadoHLS. She was supervised by Christophe Alias and Matthieu Moy, her internship was funded by Inria.

  • Alexandra Dobre, a L3 student from University of Cluj-Napoca (Romania), worked from July 2018 to September 2018 on the generation of a SystemC simulator from a Data-aware process network. She was supervised by Matthieu Moy and Christophe Alias, her internship was funded by Inria.

  • Arthur Gontier, a L3 student from University of Nantes, worked from April 2018 to July 2018 on the formal functional verification of Lustre code with Horn Clauses. He was supervised by Lionel Morel and Laure Gonnord. His internship was founded by the Codas ANR.

  • Paul Iannetta, a M2 student from ENS de Lyon, worked from March 2018 to July 2018 on a semantic formalisation of the polyhedral model. He was supervised by Lionel Morel and Laure Gonnord. His internship was founded by the Codas ANR.