Research |
Home page |Research |Software |
Research Field
Optimisation, compilation for parallel and high performance computing.Page of the ARPA team
Current Research Projects
I'm involved in the following projects:ParMa: a European ITEA2 project on Parallel Programming for Multicore Architectures
PetaQCD: ANR project for a sustained petaflops machine for Lattice QCD (starting jan. 2009). I'm scientific coordinator for UVSQ of this project.
ProHMPT: ANR project on the programming heterogeneous multicore processor technologies. I'm scientific coordinator for UVSQ of this project.
PARA: ANR project on Parallélisme et Amélioration du Rendement des Applications. I'm the main scientific coordinator of this project.
OPSIM from Pole de competitivite System@tic. I'm scientific coordinator for UVSQ of this project.
POPS: Peta Operations Per Second, from Pole de competitivite System@tic
Ter@Ops: an integrated computing machine for complex embedded systems, from Pole de competitivite System@tic
Publications
Journals
| [1] |
Compositional Approach applied to Loop Specialization.
Lamia Djoudi, Jean-Thomas Acquaviva, and Denis Barthou.
Concurrency and Computation: Practice and Experience,
21:71-84, 2008.
[ bib |
 ]
|
| [2] |
Improving Performance of Optimized Kernels Through Fast Instantiations of
Templates.
Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou.
Concurrency and Computation: Practice and Experience,
21:59-71, 2008.
[ bib |
]
|
| [3] |
Maximal Static Expansion.
Denis Barthou, Albert Cohen, and Jean-François Collard.
Int. J. of Parallel Programming, 28(3):213-243, 2000.
[ bib |
]
|
| [4] |
Fuzzy Array Dataflow Analysis.
Denis Barthou, Jean-François Collard, and Paul Feautrier.
J. of Parallel and Distributed Computing, 40(2):210-226, 1997.
[ bib |
]
|
Refereed conferences and workshops
| [1] |
Computing the transitive closure of a union of affine integer tuple
relations.
Anna Beletska, Denis Barthou, Wlodziemierz Bielecki, and Albert
Cohen.
In Int. Conference on Combinatorial Optimization and
Applications, volume 5573 of Lect. Notes in Computer Science, pages
98-109, Yellow Mountains, China, June 2009. Springer-Verlag.
[ bib |
]
|
| [2] |
Parallel Expression Template for Large Vectors.
Laurent Plagne, Franck Hülsemann, Denis Barthou, and Julien Jaeger.
In Workshop on Parallel/High-Performance Object-Oriented
Scientific Computing, pages 1-8, Genova, Italy, 2009. ACM Press.
[ bib |
]
|
| [3] |
Combining Experimental Search and Performance Model for Adaptive
Optimization.
Julien Jaeger and Denis Barthou.
In Hipeac Workshop on Statistical and Machine Learning
Approaches to Architectures and compilation, Paphos, Cyprus, January 2009.
[ bib |
]
|
| [4] |
Optimizing code through iterative specialization.
Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou.
In ACM Symp. on Applied Computing, pages 206-210, New York,
NY, 2008. ACM Press.
[ bib |
]
|
| [5] |
An Effective Automated Approach to Specialization of Code.
Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou.
In Int. Workshop on Languages and Compilers for Parallel
Computing, Lect. Notes in Computer Science, pages 308-322, Chicago,
Illinois, October 2007. Springer-Verlag.
[ bib |
]
|
| [6] |
Hybrid Specialization : A Trade-off Between Static and Dynamic
Specialization.
Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou.
In ACM/IEEE Int. Conf. on Parallel Architectures and Compilation
Techniques(Extended abstract), page 415, Phoenix, AZ, September 2007. IEEE
Computer Society.
[ bib |
]
|
| [7] |
Compositional Approach applied to Loop Specialization.
Lamia Djoudi, Jean-Thomas Acquaviva, and Denis Barthou.
In Euro-Par Conference, volume 4641 of Lect. Notes in
Computer Science, pages 268-279, Rennes, August 2007. Springer-Verlag.
[ bib |
]
|
| [8] |
The Design and Architecture of MAQAOProfile: an Instrumentation MAQAO
Module.
Lamia Djoudi, Denis Barthou, Olivier Tomaz, Andres Charif-Rubial,
Jean-Thomas Acquaviva, and William Jalby.
In Workshop on Explicitly Parallel Instruction Computing
Techniques, San Jose, California, March 2007.
[ bib |
]
|
| [9] |
Loop Optimization using Adaptive Compilation and Kernel Decomposition.
Denis Barthou, Sebastien Donadio, Alexandre Duchateau, Patrick
Carribault, and William Jalby.
In ACM/IEEE Int. Symp. on Code Optimization and Generation,
pages 170-184, San Jose, California, March 2007. IEEE Computer Society.
[ bib |
]
|
| [10] |
Improving Performance through Low-Overhead Specialization of Code.
Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou.
In Int. Workshop on Iteraction between Compilers and Computer
Architectures, Phoenix, Arizona, February 2007.
[ bib |
]
|
| [11] |
Iterative Compilation with Kernel Exploration.
Denis Barthou, Sebastien Donadio, Alexandre Duchateau, William Jalby,
and Eric Courtois.
In Int. Workshop on Languages and Compilers for Parallel
Computing, volume 4382 of Lect. Notes in Computer Science, pages
173-189, New Orleans, November 2006. Springer-Verlag.
[ bib |
]
|
| [12] |
On the decidability of phase ordering problem in optimizing compilation.
Sid-Ahmed-Ali Touati and Denis Barthou.
In ACM Computing Frontiers Conf., pages 147-156, Ischia,
Italy, 2006. ACM Press.
[ bib |
]
|
| [13] |
Exploring Application Performance: a New Tool For a Static/Dynamic
Approach.
Lamia Djoudi, Denis Barthou, Patrick Carribault, Christophe Lemuet,
Jean-Thomas Acquaviva, and William Jalby.
In Los Alamos Computer Science Institute Symp., Santa Fe, NM,
October 2005.
[ bib |
]
|
| [14] |
A Language for the Compact Representation of Multiple Program Versions.
Sebastien Donadio, James Brodman, Thomas Roeder, Kamen Yotov, Denis
Barthou, Albert Cohen, Maria Garzaran, David Padua, and Keshav Pingali.
In Int. Workshop on Languages and Compilers for Parallel
Computing, volume 4339 of Lect. Notes in Computer Science, pages
136-151, Hawthorne, New York, October 2005. Springer-Verlag.
[ bib |
]
|
| [15] |
Deciding Where to Call Performance Libraries.
Christophe Alias and Denis Barthou.
In Euro-Par Conference, volume 3648 of Lect. Notes in
Computer Science, pages 336-345, Lisboa, September 2005. Springer-Verlag.
[ bib |
]
|
| [16] |
On Domain Specific Languages Re-Engineering.
Christophe Alias and Denis Barthou.
In ACM Int. Conf. on Generative Programming and Component
Engineering, volume 3676 of Lect. Notes in Computer Science, pages
63-77, Tallinn, September 2005. Springer-Verlag.
[ bib |
]
|
| [17] |
MAQAO: Modular Assembler Quality Analyzer and Optimizer for Itanium 2.
Lamia Djoudi, Denis Barthou, Patrick Carribault, Christophe Lemuet,
Jean-Thomas Acquaviva, and William Jalby.
In Workshop on Explicitly Parallel Instruction Computing
Techniques, Santa Jose, California, March 2005.
[ bib |
]
|
| [18] |
Algorithm Recognition based on Demand-driven Data-flow Analysis.
Christophe Alias and Denis Barthou.
In IEEE Working Conf. on Reverse Engineering, pages 296-305,
Victoria, November 2003. IEEE.
[ bib |
]
|
| [19] |
On the recognition of algorithm templates.
Christophe Alias and Denis Barthou.
In Int. Workshop on Compilers Optimization Meets Compiler
Verification, volume 82 of ENTCS, pages 395-409, Warsaw, April 2003.
Elsevier Science.
[ bib |
]
|
| [20] |
On the Equivalence of Two Systems of Affine Recurrence Equations.
Denis Barthou, Paul Feautrier, and Xavier Redon.
In Euro-Par Conference, volume 2400 of Lect. Notes in
Computer Science, pages 309-313, Paderborn, August 2002. Springer-Verlag.
[ bib |
]
|
| [21] |
Maximal Static Expansion.
Denis Barthou, Albert Cohen, and Jean-François Collard.
In ACM Symp. on Principles of Programming Languages, pages
98-106, San Diego, California, January 1998. ACM Press.
[ bib |
]
|
| [22] |
Automatic data mapping of signal processing applications.
Corinne Ancourt, Denis Barthou, Christophe Guettier, François
Irigoin, Bertrand Jeannet, Jean Jourdan, and Juliette Mattioli.
In IEEE Int. Conf. on Application-Specific Systems,
Architectures and Processors, pages 350-362, Zurich, July 1997. IEEE
Computer Society.
[ bib |
]
|
| [23] |
Applications of Fuzzy Array Dataflow Analysis.
Denis Barthou, Jean-François Collard, and Paul Feautrier.
In Euro-Par Conference, volume 1123 of Lect. Notes in
Computer Science, pages 424-427, Lyon, August 1996. Springer-Verlag.
[ bib |
]
|
| [24] |
Fuzzy array dataflow analysis.
Jean-François Collard, Denis Barthou, and Paul Feautrier.
In ACM SIGPLAN Symp. on Principles and Practice of Parallel
Programming, pages 92-101, Santa Barbara, California, 1995. ACM Press.
[ bib |
]
|
| [25] |
Allocating Communication Channels to Parallel Tasks.
Denis Barthou, Franco Gasperoni, and Uwe Schwiegelshohn.
In Int. Workshop on Environments and Tools for Parallel
Scientific Computing, volume 6, pages 275-291, St Hilaire du Touvet,
September 1993. Advances in Parallel Computing.
[ bib |
]
|
Non-refereed communications
| [1] |
Simulation of the Lattice QCD and Technological Trends in Computation.
Khaled Ibrahim, Julien Jaeger, Zhaofeng Liu, Louis-Noel Pouchet,
Piotr Lesnicki, Lamia Djoudi, Denis Barthou, Francois Bodin, Christine
Eisenbeis, Gilbert Grosdidier, Olivier Pene, and Patrick Roudeau.
Workshop on Compilers for Parallel Computing, January 2009.
arXiv:0808.0391v3.
[ bib |
]
|
| [2] |
A Global Approach for MPEG-4 AVC Encoder Optimization.
Khawar Sajjad, Son-Minh Tran, Denis Barthou, Henri-Pierre Charles,
Marius Preda, and Francoise Preteux.
Workshop on Compilers for Parallel Computing, January 2009.
[ bib |
]
|
| [3] |
Kernel (De)composition, A compositional approach applied to linear algebra
libraries.
Denis Barthou.
Dagstuhl workshop, Programming Models for Ubiquitous Parallelism,
September 2007.
[ bib |
]
|
| [4] | MAQAO: Optimization of low level code by static and dynamic analysis. Lamia Djoudi, Denis Barthou, and William Jalby. Conférence sur le Génie Electrique, Alger, 2007. [ bib ] |
| [5] | ATLAST: A new tool chain for automatically generating high performance dense matrix kernels. Denis Barthou, Alexandre Duchateau, Sebastien Donadio, and William Jalby. FAME2 Workshop on High Performance Computing, 2006. [ bib ] |
| [6] | Deciding where to call performance libraries. David Soguet, Christophe Alias, and Denis Barthou. Technical Report 65, Laboratoire PRiSM, 2004. [ bib ] |
| [7] | Program Optimization by Algorithm Recognition and Replacement. Christophe Alias and Denis Barthou. Technical Report 66, Laboratoire PRiSM, 2004. [ bib ] |
| [8] | On the Equivalence of Two Systems of Affine Recurrence Equations. Denis Barthou, Paul Feautrier, and Xavier Redon. Technical Report RR-4285, INRIA, October 2001. [ bib ] |
| [9] | The Interplay of Expansion and Scheduling in PAF. Paul Feautrier, Jean-François Collard, Michel Barreteau, Denis Barthou, Albert Cohen, and Vincent Lefebvre. Technical Report 6, Laboratoire PRiSM, 1998. [ bib ] |
| [10] | Fuzzy Array Dataflow Analysis. Denis Barthou, Jean-François Collard, and Paul Feautrier. Technical Report 95/33, Laboratoire PRiSM, 1995. [ bib ] |
PhD and Habilitation thesis
| [1] |
Contributions to code optimization and high performance library
generation.
Denis Barthou.
Habilitation à diriger les recherches (HDR), Université de
Versailles St-Quentin, Versailles, January 2008.
[ bib |
]
|
| [2] |
Array Dataflow Analysis in Presence of Non-affine Constraints.
Denis Barthou.
PhD thesis, Université de Versailles St-Quentin, Versailles,
February 1998.
[ bib |
]
|