Marc Pouzet

Professor from Université Pierre et Marie Curie in the computer science department of École normale supérieure. Member of the LIENS.
Junior member at Institut Universitaire de France since sept. 2007. I lead the PARKAS research team from INRIA, Paris-Rocquencourt.

Address: Département d’informatique, LIENS, École normale supérieure, 45 rue d’Ulm, 75 230 Paris cedex 05.
Office: S14, DI, passage saumon.
Phone: (+33) (0) 1 44 32 21 66
Fax: (+33) (0) 1 44 32 20 75

Research

Most of my research activity concerns languages for real-time systems with particular interest in synchronous programming, semantics, type-systems and compilation. I have developped the language Lucid Synchrone with Paul Caspi and Grégoire Hamon. Several features originaly introduced in the language have been integrated to SCADE 6 at Esterel-Technologies and the LCM tool at Dassault-Systèmes. In collaboration with INRIA (Alchemy) and NXP, I introduced the N-synchronous model to program real-time video systems (e.g., TV boxes). I am now interested in the semantics and implementation of hybrid modelers (e.g., Simulink, Modelica), the design of a synchronous language with mixed (discrete/continuous) signals, and the formal certification of a Lustre compiler in Coq. Some publications and talks.

Keywords: Real-time Embedded Systems; Kahn Process Networks; Synchronous and Functional Programming; Type Systems, Semantics, Compilation

Projects, Program committee

• 18th annual workshop SYNCHRON’2011 on synchronous programming and its applications.
• Action d’envergure INRIA Synchronics (2008 – 2012)
• EURASIP Journal on Embedded Systems (Associate editor), Hermes (Directeur de collection)
• pc-member of EMSOFT 2012, CSDM 2012, PADL 2012, DATE 2012 (topic E3), AFADL 2012, MSR 2011, RTNS 2011, DATE 2011.
• External reviewer for DAC 2012 and DAC 2011.
• pc-member of RTSS 2010 (Design and Verification Track), FMCAD 2010, DCC 2010, DATE 2010, AFADL 2010, RTNS 2010,
• Hardware design and Functional Languages 2009, RTNS 2009, AFADL 2009, MSR 09
• JFLA 2008, RTNS 2008, FMGALS 07, MSR 07, Real-Time and Network Systems Conference 2007, Hardware design and Functional Languages 2007, Model-driven High-level Programming of Embedded Systems (SLA++P 2007) (steering committee). Workshop on Synchronous Languages, Applications and Programming (co-chair): SLAP 2004, SLAP 2005, SLAP 2006
• MSR 2005, SLAP 2003, JFLA 2000

Implementations

• Lucid Synchrone, an ML extension of LUSTRE April 2006: Version 3)
• ReactiveML, a Reactive extension of Objective Caml

PhD students

• Cédric Pasteur (start sept. 2010)
• Léonard Gérard (start sept. 2008)
• Cédric Auger (start sept. 2008)
• Florence Plateau (end january 2010, now Prove&Run);
• Gwenael Delaval (with Alain Girault, end june 2008, assistant professor Univ. Grenoble);
• Sébastien Labbé (with Jean-Pierre Galois, end sept. 2007, now EDF R&D)
• Louis Mandel (end may 2006, assistant professor Univ. Paris-Sud);
• Grégoire Hamon (end nov. 2002, now at The MathWorks, Boston);
• Pascal Cuoq (end oct. 2002, now at CEA)

Cours (en français)

• Master ATIAM — IRCAM, 26 oct. 2011. Parallélisme synchrone et ReactiveML.
• Cours Systèmes Synchrones au MPRI (avec Louis Mandel et Jean Vuillemin). Notes de cours (2011-2012) ici.
• Master Ingénierie des systèmes industriels complexes (ISIC) (École Polytechnique, INSTN, Paris-Sud 11)

This document was translated from L^AT_EX by H^EV^EA.