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).