Denis Barthou



Address
INRIA Bordeaux Sud-Ouest,
Office B235
200 avenue de la Vieille Tour
33405 Talence Cedex, France

ENSEIRB-MATMECA,
Office S214
1 avenue du Dr A. Schweitzer
B.P. 99
33402 Talence Cedex, France

Email: firstname.lastname  at labri.fr

Phone: +33/0 524 574 116

I'm professor in Computer Science at Bordeaux INP. My fields of interest in research are optimization, compilation for high performance computing applications and interactions with runtime systems. In particular, I am interested in algorithm recognition applied to optimization, high level languages for HPC, compilation/optimization for parallel machines and performance analysis.
My fields of interest in teaching are, among others, architecture, programming languages, compilation and parallelism.
I'm teaching at the the ENSEIRB/MATMECA engineer school and I'm the head of the cybeR-security, Systems and Networks (RSR) option of the Computer Science studies at ENSEIRB-MATMECA.
I am working on Supports and Algorithms for High Performance Numerical Applications in LaBRI (Computer Science Department), and managing the Inria STORM team.

Teaching

My teaching pages can be found at ENSEIRB-MATMECA moodle web site. My teaching schedule is available on-line. Both web sites require an account at ENSEIRB-MATMECA and are in French.

Research Projects

Software Developments

All software of Runtime team can be found on this page.

FADAlib: a library for Fuzzy Array Dataflow Analysis. The goal of this library is to provide compiler independent functions for performing precise instance-wise dataflow analysis on arrays and scalars. The analysis can be made either directly from C files, from an abstract syntax tree (built with library functions) or dataflow constraints. The software licence is GPL.

MAQAO: MAQAO is a Modular Assembly Quality Analyzer and Optimizer. The goal of the tool is to give the developper an estimation of the gap between the performance of a code and its peak performance. The estimation is based on a static performance model and can be completed with execution profiles. The software is available on demand and co-developped with Exascale lab. It is part of VI-HPS Institute.

X-Language: X-Language is a pragma language for the compact representation of multiple versions. By annotating C code with these pragmas, the user can describe multiple optimization sequences. The software is GPL.

Current PhD students

H. Brunie (with CEA). Characterizing and Using Hierarchical Heterogeneous Memories.
C. Haine. Automatic data-layout restructuration with mock-up code generation.
P. Huchant. Static/Dynamic Parallelism Adaptation.

Past PhD students

E. Saillard. Static/dynamic/iterative analyses for validation and improvement of multi-models HPC applications, 2015, U. Bordeaux PhD thesis. Now postdoc at Grenoble-Alpes University.
B. Putigny. Benchmark-driven Approaches to Performance Modeling of Multi-core architectures, 2014, U. Bordeaux PhD thesis. Now Research engineer at IRAP.
S. Henry. Programming Models and Runtime Systems for Heterogeneous Architectures, 2013, U. Bordeaux PhD thesis. Now Postdoc at Intel Exascale lab., Versailles.
A. Duchateau.Automatic Algorithm Derivation and Exploration in Linear Algebra for Parallelism and Locality, 2013, UIUC PhD thesis, co-directed with Pr. D. Padua. Now software engineer at Pure Storage, Mountain View.
A. Mazouz. Une Etude Empirique des Performances des Applications OpenMP sur les Plateformes Multi-coeurs, 2012, UVSQ PhD thesis, co-directed with Pr. S.-A. Touati. Now software engineer at Intel, Champaign, Illinois.
A. Charif-Rubial. On code performance analysis and optimization for multicore architectures, 2012, UVSQ PhD thesis, co-directed with Pr. W. Jalby. Now Research engineer at Intel Exascale lab., Versailles.
J. Jaeger. Source-to-source transformations for irregular and multithreaded code optimization, 2012, UVSQ PhD thesis. Now Research engineer at CEA.
P. Oliveira. Expression and optimization of data reorganizations on data flow parallelism , 2010, UVSQ PhD thesis. Now Assistant Professor at University of Versailles St Quentin en Yvelines (UVSQ).
S. Donadio. Iterative optimization of performance libraries by hierarchical division of codes, 2007, UVSQ PhD thesis, directed by and co-advised with W. Jalby. Now Financial engineer, New York.
C. Alias. Program Optimization by Template Recognition and Replacement, 2005, UVSQ PhD thesis, directed by and co-advised with P. Feautrier. Now Inria Researcher.

Publications