Pierre Michaud

This page is obsolete. The new page is here.

Contact information

INRIA Campus de Beaulieu 35042 RENNES Cedex FRANCE e-mail: pierre.michaud@inria.fr

About me

I am Chargé de Recherche at Inria in Rennes in the ALF team. My research area is microarchitecture and microarchitecture modeling.


  • S. Guntur, P. Michaud, “Decoupled thermal simulation”, IRISA report PI-1871, November 2007.
  • P. Michaud, Y. Sazeides, “Scheduling issues on thermally constrained processors”, October 2006, IRISA report PI-1822 and INRIA report RR-6006.
  • A. Seznec, S. Jourdan, P. Sainrat, P. Michaud, “Multiple-Block Ahead Branch Predictors”, Proceedings of the 7th Conference on Architectural Support for Programming Languages and Operating Systems, October 1996.


  • TPCalc – throughput calculator
  • ATMI – microprocessor temperature model
  • STiMuL – steady temperature in multi-layers
  • ATC – address trace compressor

Course (in French)


  • Understanding the numbers that you get from your temperature model
  • (Yet another) proof of optimality for MIN replacement

Comments are closed.