Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: “Systèmes” (L3), L. Mandel (42h), Université Paris-Sud 11, France

• Licence: “Systèmes et réseaux” (L3), M. Pouzet (24h), L. Mandel (24h), École Normale Supérieure, France

• Licence: “Langages de programmation et compilation” (L3), L. Mandel (24h), École Normale Supérieure, France

• Master Parisien de Recherche en Informatique (MPRI): “Synchronous systems” (M2), M. Pouzet (12h), J. Vuillemin (6h), L. Mandel (6h), École Normale Supérieure and Université Paris Diderot, France

• Licence: “From Algorithm to Circuit” (L3), J. Vuillem (64h), École Normale Supérieure, France

• Master Parisien de Recherche en Informatique (MPRI): “Semantics and tools for multicore programming” (M2), A. Cohen (9h), F. Zappa Nardelli (13.5h), École Normale Supérieure and Université Paris Diderot, France

• Marc Pouzet is “responsable du concours d'entrée à l'ENS”, for the Computer Science department (since Sept. 2010).

• Marc Pouzet is director of studies (directeur des études) of the Computer Science department (since Sept. 2012).

Supervision

• M2: R. Morisset (ENS), Correctness of optimisations in the C11/C++11 memory model, september 2012;

• M2: P. Pawan (IIT Kanpur, India), Hunting concurrency compiler bugs, september 2012;

• M2: F. Gindraud (ENS Lyon), definition, code generation, and formal verification of a software controlled cache coherence protocol;

• M2: B. Arnoux (École Polytechnique, Telecom ParisTech), globally adressable memory model for data-flow execution.

• M1: C. Lecourt (École Polytechnnique), numerical receipies and examples for Zélus.

• M2: G. Baudart (École normale supérieure, Cachan), A synchronous semantics and implementation for Antescofo.

Juries

• A. Cohen was a reviewer of the following PhD theses: Nicolas Benoit (January 2012, Université de Versailles St-Quentin), Artur Pietrek (October 2012, Université Joseph Fourier), Mehdu Amini (November 2012, MINES ParisTech), Selma Saidi (November 2012, Université Joseph Fourier), Dmitry Nadezhkin (December 2012, Leiden University, The Netherlands).

• A. Cohen was a committee member of the following PhD theses: Delphine Demange (October 2012, École Normale Supérieure de Cachan – Université Européenne de Bretagne), Quentin Colombet (December 2012, École Normale Supérieure de Lyon).

• A. Cohen was a committee member of the following Habilitation theses: Gaël Thomas (December 2012, Université Pierre et Marie Curie), Cédric Bastoul (December 2012, Université Paris Sud).

• M. Pouzet was the President of the following PhD. thesis: Peter Schrammel (October 2012, Université de Grenoble).