News

Listen to the interview of André Seznec on multicore processors today and tomorrow (in French).
 

André Seznec ranked 1st at JWAC-2 branch prediction championship.
 

New openings:

PhD, PostDoc and internship positions for the ERC  DAL project
 

Isabelle Puaut

Professor, University of Rennes I           

Isabelle Puaut

Contact information

IRISA, ALF Research Group

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

 

Research

Topic

My current research interests are the field of real-time systems, mostly on estimation of upper bounds of execution times of tasks (what we call in the community WCET estimation - Worst-Case Execution Time Estimation). You may also be interested by our open-source static WCET estimation tool Heptane (contact me if you want to use Heptane, the former Heptane web page is out-of-date).

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 member of ECRTS 2012 (Pisa, Italy, July 2012), LCTES 2012 (Beijing, China, June 2012), ETFA 2012, CARI 2012, ICESS 2012, RTCSA 2012.
  • PC member of ECRTS 2011 (Porto, Portugal, July 2011), RTAS 2011 (Chicago, IL, USA, April 2011), DATE 2011 (Grenoble, France, March 2011), RTSS 2011.
  • PC member of RTSS 2010 (San Diego, CA, USA),  ECRTS10 (Brussels, Belgium), July 2010, RTAS 2010 (Stockholm, Sweden, April 2010), JTRES 2010 (Prague, Czech republic, August 2010), RTNS 2010 (Toulouse, France, November 2010), real-time track of ETFA 2010 (Bilbao, Spain, September 2010), WCET 2010 (Brussels, Belgium, July 2010), RTCSA 2010 (Macau, August 2010).
  • PC member of RTSS09 (Washington D.C. December 2009), RTNS09, (Paris, France, October 2009), RTCSA 2009, (Beijing, China, August 2009), WCET 09, Real-Time and (Networked) Embedded Systems at ETFA 2009,
  • PC chair of ECRTS09, Dublin, Ireland, July 2009
  • Chair of the work in progress session of RTSS 2008, Barcelona, Spain, December 2008
  • General chair of RTNS08 (16th International Conference on Real-Time and Network Systems), Rennes France.
  • PC member ot ECRTS08, RTCSA08, Real-Time and (Networked) Embedded Systems at ETFA 2008 , WCET08 (held in conjunction with ECRTS08).
  • PC member of RTSS2007 (Real-Time Systems Symposium), DATE07 (Design Automation and Test Europe), RTNS07 (15th Real-Time Systems and Networks Conference),
  • PC member of RTSS2006 (Real-Time Systems Symposium), ECRTS2006
  • PC member of the Euromicro Conference on Real-Time systems ECRTS2003, ECRTS2004, ECRTS2005, ECRTS2006, ECRTS2007
  • Organizer of the WCET2004 Workshop (4th International Workshop on Worst-Case Execution Time Analysis)
  • PC member of WCET2005 and WCET2006
  • PC member of International Symposium on Object-Oriented Real-Time Distributed Computing ISORC1999, ISORC2000, ISORC2002, ISORC2003, ISORC2007
  • PC member of RTNS06 (Real-Time Systems and Networks Conference), RTS05, and RTS04
  • PC member of LCTES'04 (ACM Sigplan Conference on Languages, Compilers and Tools for Embedded Systems)
  • PC chair of CFSE4 (4th french Conference on Operating Systems)
  • PC member the french Conference on Operating Systems CFSE1, CFSE3, CFSE4, CFSE5
  • PC member of the 8th Workshop on Parallel and Distributed Real Time Systems (WPDRTS2000)

Current PhD students

  • Damien Hardy (since october 2007): Timing predictability of embedded software on multicore architectures (static analysis of shared caches, bypass, preemption and migration delays)
  • Benjamin Lesage (since october 2009): Predictable multicore hardware. Co-supervised by André Seznec

Former PhD students

  • 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
Last Updated on Monday, 16 January 2012 21:27