Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Isabelle Puaut, Operating systems, 1st year of master, total of 110 hours

• Master: Isabelle Puaut, Damien Hardy, Real-time systems, 1st year of master, total of 58 hours

• Master: Isabelle Puaut, Erven Rohou, Writing of scientific publications, 2nd year of master and PhD students, total of 24 hours

• Licence: Damien Hardy, Real-time systems, L3 Université de Rennes I, total of 60 hours

• Master: Damien Hardy, Operating systems, M2 Université de Rennes I, total of 60 hours

• Master: Damien Hardy, Operating systems, M1 Université de Rennes I, total of 60 hours

• Master: S. Collange, Programmation parallèle, 22 hours, M1, Université de Rennes I, France

Supervision

• PhD: Sajith Kalathingal, "Transforming TLP into DLP with the Dynamic Inter-Thread Vectorization Architecture", Université Rennes 1, Dec 2016, co-advisors S. Collange and A. Seznec

• PhD: Aswinkumar Sridharan, "Adaptive and Intelligent Memory Systems", Université Rennes 1, Dec. 2016, advisor A. Seznec

• PhD: Arjun Suresh, "Intercepting Functions for Memoization", Université Rennes 1, May 2016, co-advisors E. Rohou and A. Seznec

• PhD in progress, Viet Anh Nguyen, Worst-Case Execution Time (WCET) Estimation for Many-core Architectures, started in january 2015. Supervised by Isabelle Puaut and Damien Hardy.

• PhD in progress, Benjamin Rouxel, Code optimizations for WCET calculation on many-core platforms, started in october 2015. Supervised by Isabelle Puaut and Steven Derrien from the CAIRN group.

• PhD in progress: Nabil Hallou, Université Rennes 1, Feb 2013, co-advisors E. Rohou and P. Clauss (EPI Camus Inria Strasbourg)

• PhD in progress: Andrea Mondelli, Université Rennes 1, Oct 2013, co-advisors P. Michaud and A. Seznec

• PhD in progress: Rabab Bouziane, Université Rennes 1, Nov 2015, advisor E. Rohou and Abdoulaye Gamatié (LIRMM, Montpellier)

• PhD in progress: Arif Ali Ana-Pparakkal, Université Rennes 1, Feb 2015, advisor E. Rohou

• PhD in progress: Simon Rokicki, Université Rennes 1, Sep 2015, co-advisors E. Rohou and Steven Derrien (CAIRN)

• PhD in progress: Kleovoulos, Kalitzidis, "Ultrawide Issue Superscalar Processors", Université Rennes 1, Dec. 2016, advisor A. Seznec

Juries

Isabelle Puaut was a member of the following committees:

• PhD: Pierre Wilke, Formally Verified Compilation of Low-Level C code, Université de Rennes 1, Nov 2016

• PhD: Guillaume Phavorin, Hard Real-Time Scheduling subjected to Cache-Related Preemption Delays, Université de Poitiers, Sep 2016 (rapporteur)

• PhD: Vincent Mussot, Automates d’annotation de flot pour l’expression et l'intégration de propriétés dans l’analyse de WCET, Université Paul Sabatier, Toulouse, Dec 2016 (rapporteur)

• HDR: Mathieu Jan, Contributions au paradigme par cadencement temporel (TT) et à l'embarquabilité des systèmes temps réel, Université Paris Sud, Dec 2016 (rapporteur)

Erven Rohou was a member of the following committees:

• PhD: Juan Manuel Martinez Caamano, Strasbourg

• PhD: Lénaïc Bagnères, Orsay

• PhD: Michele Scandale, Politecnico di Milano, Milan, Italy

• PhD: Amir Ashouri, Politecnico di Milano, Milan, Italy

• PhD: Sébastien Martinez, Télécom Bretagne, Brest

• PhD: Reem ElKhouly, Egypt-Japan University of Science and Technology, Alexandrie, Egypt

Assistant professor hiring committees

• Isabelle Puaut: University of Toulouse (computer architecture and real-time systems)

• Isabelle Puaut: University of Chalmers, Sweden (real-time systems)

Professor hiring committee:

• Isabelle Puaut: UBO (Université de Bretagne Occidentale) - real-time systems