Isabelle Puaut

Professor, University of Rennes I

Isabelle Puaut


Contact information

IRISA, PACAP  Research Group

Postal address: IRISA Campus universitaire de Beaulieu 35042 Rennes Cédex FRANCE
E-mail address: Isabelle Puaut
Room: E-309
Phone: +33 02 99 84 73 10


Research

Topic

My current research interests are the field of real-time systems, mostly on estimation of upper bounds of execution times of tasks (WCET estimation – Worst-Case Execution Time Estimation), a bit of scheduling and WCET-aware code generation. You may also be interested by our open-source static WCET estimation tool Heptane.

My former research interests included distributed systems, parallel programming, distributed shared memories and fault-tolerant systems. Over the years I’ve worked on distributed systems (PhD thesis on distributed garbage collection in object-oriented languages), parallel systems (Distributed Shared memories), fault-tolerant real-time systems.

I am  “Habilitée à Diriger des Recherches” since november  2001 (listen to my talk – sorry, I speak french -, get the document describing my research activities – also in french, have a look at the pictures).

Activities

PC membership

Others

  • Member of the steering committee of the WCET workshop, held in cunjunction with the ECRTS conference
  • Member of the steering committee of the RTNS conference
  • Member of the Euromicro technical commitee on real-time systems
  • Member of the Executive Committee (EC) of the IEEE Technical Committee on Real-Time Systems (TCRTS) – from 2013 to 2015

Current PhD students

  • Thomas Lefeuvre (since may 2017). Code transformations for predictability on many-core systems. Co-supervized with Steven Derrien (50%)
  • Viet Anh Nguyen (since january 2015): WCET for many core architectures. Co-supervized by Damien Hardy (50%).
  • Benjamin Rouxel (since october 2015): Code optimizations for tight worst-case execution times (WCETs) on many-core architectures. Co supervized by Steven Derrien (30 %).

Former PhD students

  • Hanbing Li: Extraction and Traceability of Annotations for WCET Estimation. Co-supervized by Erven Rohou (50%). October 2015. manuscript (in english)
  • André Oliveira-Maroneze: Verified compilation and Worst-Case Execution Time Estimation. Co-supervized (and mainly supervized) by Sandrine Blazy. manuscript (in english)
  • Benjamin Lesage: Analysis and design of WCET-friendly multi-core architectures. Co-supervised by André Seznec. May 2013. manuscript (in french).
  • Damien Hardy. WCET estimation for multi-core architectures with shared caches. December 2010. manuscript (in french)
  • Jean-François Deverge Predictability and worst-case execution time (WCET) analysis of modern processors (cache analysis, control of scratchpad memory contents, july 2008 – manuscript. Now with GE Heathcare France, Paris
  • Alexis Arnaud: Utilisation prévisible de caches d’instructions dans les systèmes temps réel (predictable usage of instruction caches in hard real-time systems), april 2006 – manuscript.pdf. Now with Iponweb, Moscow.
  • David Decotigny : simulation and performance evaluation of real-time systems, defended in april 2003, résuméfichier.ps.gz (1166946 octets) – fichier.pdf (2302195 octets). Now with IN2P3 – CNRS,  spent one year with the Stanford Linear Accelerator Center.
  • Antoine Colin : Static Worst-Case Execution Time (WCET) Analysis and its application to real-time operating systems
    Estimation de temps d’exécution au pire-cas et application aux systèmes d’exploitation temps réel – oct 2001 – fichier.pdf. Now with Rapita systems, York, UK.
  • Pascal Chevochot : fault-tolerance in distributed hard real-time systems
    Conception de systèmes distribués temps-réel strict tolérants aux fautes – december 1999, fichier.ps.gz (888997 octets) – fichier.pdf (1642173 octets). Now with Sogitec, Rennes, France.
  • Gilbert Cabillic : Fault-tolerance and load balancing in distributed shared memories
    Exécution d’applications parallèles sur architectures distribuées hétérogènes : proposition et mise en oeuvre. fichier.ps.gz (576539 octets). Now with INRIA, detached at Texas Instruments R&D center – Rennes, France (up to 2007).

Teaching


Miscellaneous

  • Real-time quizz, presented by Giorgio Buttazzo and myself for the 25th anniversary of ECRTS 2013. You only have to  guess which real-time concept is illustrated on each slide. If you send me your answers, I’ll send you back your grades (NB: 19/20 questions have been answered correctly during the reception at the conference).
  • My pictures on flickr: http://www.flickr.com/photos/isabelle_puaut/

Comments are closed