Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence : Philippe Clauss, Architecture des ordinateurs, 45h, Université de Strasbourg, France

• Licence : Philippe Clauss, Systèmes d'exploitation, 40h, Université de Strasbourg, France

• Master : Philippe Clauss, Compilation, 78h, Université de Strasbourg, France

• Master : Philippe Clauss, Système et programmation temps-réel, 25h, Université de Strasbourg, France

• Master : Philippe Clauss, Compilation avancée, 30h, Université de Strasbourg, France

• 2nd year engineering school: Jens Gustedt, programmation avancée, 20h, ENSIIE Strasbourg, France

• Licence : Jens Gustedt, systèmes concurrents, 20h, Université de Strasbourg, France

• Master : Jens Gustedt, parallélisme, 14h, M1, Université de Strasbourg, France

• IUT d'Informatique : Alain Ketterlin, Architecture et programmation des mécanismes de base d’un système informatique, 68h, Université de Strasbourg, France

• Licence : Alain Ketterlin, Algorithmique et programmation L1, 82h, Université de Strasbourg, France

• Master (Informatique) : Alain Ketterlin, Ingénierie de la preuve en Coq, 18h, Université de Strasbourg, France

• Master (Calcul Scientifique et Mathématiques de l'Information) : Alain Ketterlin, Compilation et optimisation, 26h, Université de Strasbourg, France

• Licence : Cédric Bastoul, Computer architecture, 68h, L1 (IUT), Université de Strasbourg, France

• Licence : Cédric Bastoul, Concurrent Systems, 20h, L3, Université de Strasbourg, France

• Master : Cédric Bastoul, Compiler Design, 48h, M1, Université de Strasbourg, France

• Master : Cédric Bastoul, Parallelism, 19h, M1, Université de Strasbourg, France

• Master : Cédric Bastoul, Introduction to Research, 11h, L2+M1, Université de Strasbourg, France

• Licence : Eric Violard, Programmation Fonctionnelle (licence informatique), 64h eq. TD, L2, Université de Strasbourg, France

• Licence : Eric Violard, Architecture des Ordinateurs (licence informatique), 54h eq. TD, L2, Université de Strasbourg, France

• Licence : Eric Violard, Logique et Programmation Logique (licence informatique), 34h eq. TD, L2, Université de Strasbourg, France

• Licence : Eric Violard, Algorithmique et Structure de Données (licence mathématique), 39h eq. TD, L3, Université de Strasbourg, France

• Licence : Eric Violard, Modèles de Calcul (licence informatique), 29h eq. TD, L1, Université de Strasbourg, France

• Licence : Eric Violard, Systèmes Concurrents (licence informatique), 7h eq. TD, L3, Université de Strasbourg, France

• Master : Arthur Charguéraud, Proof of Programs (MPRI), 12h, M2, Université Paris Diderot, France

• Licence : Vincent Loechner, responsable pédagogique de la licence professionnelle SIL spécialité ARS (Administration de Réseaux et Services), 24h, L3, université de Strasbourg, France

• Licence : Vincent Loechner, systèmes d'exploitation, 13h, L2, université de Strasbourg, France

• Licence : Vincent Loechner, administration système et internet, 54h, L3, université de Strasbourg, France

• Master : Vincent Loechner, calcul parallèle, 32h, M1, université de Strasbourg, France

• Master : Vincent Loechner, OS embarqués, 34h, M2, université de Strasbourg, France

• Master : Vincent Loechner, calcul parallèle, 30h, 3ième année école d'ingénieur (TPS), université de Strasbourg, France

Supervision

• PhD: Nabil Hallou, Dynamic binary optimizations, University of Rennes, December the 18th 2017, Erven Rohou (PACAP team) and Philippe Clauss

• PhD in progress: Salwa Kobeissi, Dynamic parallelization of recursive functions by transformation into loops, September 2017, Philippe Clauss

• PhD in progress: Mariem Saied, Ordered Read-Write Locks for Multicores and Accelerators, since Nov 2013, Jens Gustedt & Gilles Muller.

• PhD in progress: Daniel Salas, Integration of the ORWL model into parallel applications for medical research, since Mar 2015, Jens Gustedt & Isabelle Perseil.

• PhD in progress: Yann Barsamian, Optimization and parallelization of particle and semi-Lagrangian methods for multi species plasma simulations, since Oct 2014, Eric Violard.

• PhD in progress: Armaël Géneau, Formal verification of complexity analyses, since Sept 2016, co-advised by Arthur Charguéraud and François Pottier, from team Gallium (Inria Paris), where Armaël is located.

• PhD in progress: Harenome Ranaivoarivony-Razanajato, Hierarchical Parallelization and Optimization, Oct. 2016, Cédric Bastoul and Vincent Loechner

• PhD in progress: Maxime Schmitt, Automatic Generation of Adaptive Codes, September 2016, Cédric Bastoul and Philippe Helluy

• PhD in progress : Paul Godard, Parallelization and Scalability of a Graphical Pipeline for Professionnal Inkjet Printing, Jun. 2016, Cédric Bastoul and Vincent Loechner

Juries

Philippe Clauss participated to the following PhD committees in 2017:

Table 1.

Date	Candidate	Place	Role
Dec. 11	Alexandre Maréchal	Université de Grenoble	Examiner
Dec. 18	Nabil Hallou	Université de Rennes	Co-advisor
Dec. 21	Jordy Ruiz	Université de Toulouse	Reviewer

Vincent Loechner participated as examiner to the PhD committee of Maroua Maalej, defended on Sept. 26th 2017 at Université Claude Bernard (Lyon 1).