Research area

My interests cover serveral aspects of compilation and interactions between architectures and programming languages. The general direction is program analysis and optimisation for high-performance general-purpose processors or specialized and embedded architectures.

Ongoing research projects and funding

• HiPEAC
  European FP7 Network of Excellence, 2008/02-2012/01. Coordinating the compilation platform cluster.
• TERA^FLUX
  European FP7 Future and Emerging Technology (FET) Integrated Project (IP), 2010/01-2013/12.
• PHARAON
  European FP7 STREP, 2011/09-2014/08.
• CARP
  European FP7 STREP, 2011/12-2014/11.
• Google European Doctoral Felloship
  Recipient: Tobias Grosser, 2011/08-2014-07.
• OpenGPU
  Project of the System@tic research and technology cluster, 2010/03-2012/02.
• Mediacom
  Project of the Nano 2012 research and technology initiative of STMicroelectronics, CEA and INRIA, 2009/09-2013/02.
• Synchronics
  Large scale initiative of INRIA, 2008/09-2012-08.

• Bibliography (journals and conferences).

• Subject: "program analysis and transformation: from the polytope model to formal languages".
• Advised by Jean-François Collard and Paul Feautrier, defended December 21 1999 at PRiSM, University of Versailles.
• A short summary and the manuscript (in English with a detailed summary in French).

• Subject: "contributions to the design of reliable and programmable, high-performance systems: principles, interfaces, algorithms and tools".
• Defended March 23 2007 at LRI, Paris-Sud 11 University.
• The manuscript (in English).

• At PRiSM, University of Versailles (1996-2000).
• In the A3 and ALCHEMY projects at INRIA.
• In the Polaris team, Department of Computer Science, University of Illinois at Urbana-Champaign.