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.

Research projects

• HiPEAC European FP7 Network of Excellence, 2008/02-2011/01. Coordinating the compilation platform cluster.
• TERA^FLUX European FP7 Future and Emerging Technology (FET) Integrated Project (IP), 2010/01-2013/12.
• SARC European FP6 Future and Emerging Technology (FET) Integrated Project (IP), 2006/01-2010/03.
• 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.

• 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.