Denis Barthou

University Professor

I am Professor in Computer Science at Bordeaux INP, ENSEIRB-MATMECA. I'm the head of the STORM team at Inria Bordeaux Sud-Ouest. The team is part of the group on Supports and Algorithms for High Performance Numerical Applications in LaBRI (Computer Science Department),
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.

Denis Barthou © Inria / Photo H. Raguet

Teaching

I'm teaching at the the ENSEIRB/MATMECA, Bordeaux INP engineering school.
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. Currently, I'm teaching architectures, parallel architectures, procedural worlds.

Research Software

All software of STORM team can be found in its page. I'm particularly involved in the development of:
AFF3CT: A Fast Forward Error Correction Toolbox. AFF3CT is an Open-source software (MIT license) dedicated to the Forward Error Correction (FEC or channel coding) simulations. It is written in C++11 and it supports a large range of codes: from the well-spread Turbo codes to the very new Polar codes including the Low-Density Parity-Check (LDPC) codes. A particular emphasis is given to the simulation throughput performance (hundreds of Mb/s on today's CPUs) and the portability of the code.
MIPP: MIPP is a portable and Open-source wrapper (MIT license) for vector intrinsic functions (SIMD) written in C++11. It works for SSE, AVX, AVX-512 and ARM NEON (32-bit and 64-bit) instructions. MIPP wrapper supports simple/double precision floating-point numbers and also signed integer arithmetic (64-bit, 32-bit, 16-bit and 8-bit). With the MIPP wrapper you do not need to write a specific intrinsic code anymore. Just use provided functions and the wrapper will automatically generates the right intrisic calls for your specific architecture.
PARCOACH: As current scientific applications mainly rely on the Message Passing Interface (MPI) parallel programming model, new hardwares designed for Exascale with higher node-level parallelism clearly advocate for an MPI+X solutions with X a thread-based model such as OpenMP. But integrating two different programming models inside the same application can be error-prone leading to complex bugs – mostly detected unfortunately at runtime. The PARallel COntrol flow Anomaly CHecker, aims at helping developers in their debugging phase. It combines static and dynamic analyses to detect misuse of collectives in parallel applications.

Previous Software Projects

I was previously involved in the development of the following softwares:
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 has been co-developped with the former Intel Exascale lab from Versailles. It is part of VI-HPS Institute. licence is GPL.
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 and is based on TinyC compiler.

Research activities
I'm participating to the Euro-HPC project Microcard  on numerical modeling of cardiac electrophysiology at the cellular scale and to the ANR project Exacard.
I'm part of the CoHPC associate team with LBNL and U.California, and Maelstrom associate team with Simula.
PhD students
V.-M. Nguyen (with CEA): PhD on Automatic optimization for parallel codes with asynchronous communications
C. T. Aitkaci (with ATOS/Bull): PhD on Analysis and optimizations for partitioned global address space based HPC applications.
B. Coye (with Ubisoft): PhD on Dynamic tash graph scheduling with composition, co-directed with R.Namyst
PhD Alumni
A. Cassagne. Optimization and parallelization methods for software-defined radio, 2020, U. Bordeaux PhD thesis, co-directed with Pr. C.Jego. Now Ass.Professor at Paris Sorbonne University
P. Huchant. Static Analysis and Dynamic Adaptation for Parallelism, 2019, U. Bordeaux PhD thesis. Now Senior Software Engineer at Synopsis Inc, Bordeaux
H. Brunie. Optimization of data allocation for HPC applications on heterogeneous memory architectures, 2019, U. Bordeaux PhD thesis, co-directed with P. Carribault (CEA). Now Postdoc at Inria Grenoble.
C. Haine. Kernel Optimization by Layout Restructuring, 2017, U. Bordeaux PhD thesis. Now research engineer at HPE, Suisse.
G. Vaumourin. Hybrid Memory Hierarchy and Dynamic Data Handling in Embedded Parallel Architectures., 2016, U. Bordeaux PhD thesis. Now research engineer at ATOS/Bull, Grenoble.
E. Saillard. Static/dynamic/iterative analyses for validation and improvement of multi-models HPC applications, 2015, U. Bordeaux PhD thesis. Now Inria Researcher.
B. Putigny. Benchmark-driven Approaches to Performance Modeling of Multi-core architectures, 2014, U. Bordeaux PhD thesis. Now HPC engineer at Total, Pau.
S. Henry. Programming Models and Runtime Systems for Heterogeneous Architectures, 2013, U. Bordeaux PhD thesis. Now engineer at IOHK.
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, USA.
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 R&D software engineer at ATOS/Bull, Paris.
A. Charif-Rubial. On code performance analysis and optimization for multicore architectures, 2012, UVSQ PhD thesis, co-directed with Pr. W. Jalby. Now CEO of PEXL company.
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 Ass. Professor at Paris-Saclay University, Versailles St Quentin en Yvelines.
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 CTO at TradAir, New York, USA.
C. Alias. Program Optimization by Template Recognition and Replacement, 2005, UVSQ PhD thesis, directed by and co-advised with P. Feautrier. Now Inria Researcher, HDR.
Postdoc
Lilia Ziane Khodja (2014), Modeling of parallel HPC applications running on platforms composed by modern multicore nodes interconnected with high performance networks, with B.Goglin;
Engineers
C. Sakka, working on ANR Exacard project (2021-2022)
K. He, working on AFF3CT (2018-2019), with A. Cassagne and O. Aumage;
A. Cassagne, working on optimizing Error Correcting Codes (2015-2016), with B. Le Gal (IMS), C. Leroux (IMS) and O. Aumage ;
J. Tombi A Mba, working on MAQAO for Arm (2014-2015), with O. Aumage;
T. Meunier, working on performance analysis for vectorization and data restructuring (2013), with O. Aumage;

Publications
Book Chapters
[1] DSL Stream Programming on Multicore Architectures. Pablo De Oliveira Castro, Stéphane Louise, and Denis Barthou. In Programming multi-core and many-core computing systems, page chapter 12. John Wiley and Sons, 2016. [  |  |  ]
[2] PARCOACH Extension for Hybrid Applications. Emmanuelle Saillard, Hugo Brunie, Patrick Carribault, and Denis Barthou. In A. Knüpfer, T. Hilbrich, C. Niethammer, J. Gracia, W.E. Nagel, and M.M. Resch, editors, Tools for High Performance Computing 2015, pages 135--146. Springer Berlin, 2015. [  ]
[3] Performance Tuning of x86 OpenMP Codes with MAQAO. Denis Barthou, Andres Charif Rubial, William Jalby, Souad Koliai, and Cédric Valensi. In Matthias S. Müller, Michael M. Resch, Alexander Schulz, and Wolfgang E. Nagel, editors, Tools for High Performance Computing 2009, pages 95--113. Springer Berlin Heidelberg, 2010. [  |  |  ]

Journals
[1] MPI detach - Towards automatic asynchronous local completion. Joachim Protze, Marc-André Hermanns, Matthias S Müller, Van Man Nguyen, Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. Parallel Computing, 109:102859, March 2022. [  | DOI |  |  ]
[2] AFF3CT: A Fast Forward Error Correction Toolbox! A. Cassagne, O. Hartmann, M. Léonardon, K. He, C. Leroux, R. Tajan, O. Aumage, D. Barthou, T. Tonnellier, V. Pignoly, B. Le Gal, and C. Jégo. Elsevier SoftwareX, 10:100345, October 2019. [  | DOI |  ]
[3] PARCOACH: Combining Static and Dynamic Validation of MPI Collective Communications. Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. Intl. Journal on High Performance Computing Applications (IJHPCA), 28(4):425--434, 2014. [  |  |  ]
[4] Automated Code Generation for Lattice Quantum Chromodynamics and beyond. Denis Barthou, Olivier Brand-Foissac, Olivier Pene, Gilbert Grosdidier, Romain Dolbeau, Christine Eisenbeis, Michael Kruse, Konstantin Petrov, and Claude Tadonki. Journal of Physics: Conference Series, December 2013. LPT-Orsay-13-142. [  |  |  ]
[5] Programmation unifiée multi-accélérateurs avec OpenCL. Sylvain Henry, Alexandre Denis, and Denis Barthou. Techniques et Sciences de l'Ingénieur: numero spécial Renpar'20, 31:1233--1249, 2012. [  |  |  ]
[6] 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 (CCPE), 21:59--71, 2008. [  |  ]
[7] Compositional Approach applied to Loop Specialization. Lamia Djoudi, Jean-Thomas Acquaviva, and Denis Barthou. Concurrency and Computation: Practice and Experience (CCPE), 21:71--84, 2008. [  |  ]
[8] Maximal Static Expansion. Denis Barthou, Albert Cohen, and Jean-François Collard. Intl. J. of Parallel Programming (IJPP), 28(3):213--243, 2000. [  |  ]
[9] Fuzzy Array Dataflow Analysis. Denis Barthou, Jean-François Collard, and Paul Feautrier. J. of Parallel and Distributed Computing (JPDC), 40(2):210--226, 1997. [  |  ]

Conferences
[1] Dynamic Data Race Detection for MPI-RMA Programs. Tassadit Célia Aitkaci, Marc Sergent, Emmanuelle Saillard, Denis Barthou, and Guillaume Papauré. In EuroMPI 2021 - European MPI Users's Group Meeting, Munich, Germany, September 2021. [  | DOI |  |  ]
[2] A Flexible and Portable Real-time DVB-S2 Transceiver using Multicore and SIMD CPUs. Adrien Cassagne, Mathieu Leonardon, Romain Tajan, Camille Leroux, Christophe Jégo, Olivier Aumage, and Denis Barthou. In The 11th IEEE International Symposium on Topics in Coding (ISTC 2021), Montréal, Canada, August 2021. [  | DOI |  |  ]
[3] Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution. Mark Potse, Emmanuelle Saillard, Denis Barthou, and Yves Coudière. In CinC 2020 - Computing in Cardiology, Rimini / Virtual, Italy, September 2020. [  |  |  ]
[4] Multi-valued Expression Analysis for Collective Checking. Pierre Huchant, Emmanuelle Saillard, Denis Barthou, and Patrick Carribault. In Euro-Par Conference, pages 29--43, 2019. [  | DOI |  ]
[5] Profile-Guided Scope-Based Data Allocation Method. Hugo Brunie, Julien Jaeger, Patrick Carribault, and Denis Barthou. In ACM Intl. Symposium on Memory Systems (Memsys). ACM Press, October 2018. [  ]
[6] Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. Pierre Huchant, Denis Barthou, and Marie-Christine Counilh. In IEEE Intl. Symposium on Computer Architecture and High Performance Computing, Lyon, France, September 2018. [  | DOI |  |  ]
[7] Rewriting System for Profile-Guided Data Layout Transformations on Binaries. Olivier Aumage, Christopher Haine, and Denis Barthou. In Euro-Par Conference, Lect. Notes in Computer Science, pages 260--272, Santiago de Compostela, Spain, August 2017. https://europar2017.usc.es/, Springer. [  | DOI |  |  ]
[8] Beyond Gbps Turbo Decoder on Multi-Core CPUs. Adrien Cassagne, Thibaud Tonnellier, Camille Leroux, Bertrand Le Gal, Olivier Aumage, and Denis Barthou. In IEEE Symposium on Turbo Codes and Iterative Information Processing, pages 136--140, Brest, France, September 2016. [  | DOI |  ]
[9] Automatic OpenCL Task Adaptation for Heterogeneous Architectures. Pierre Huchant, Marie-Christine Counilh, and Denis Barthou. In Euro-Par Conference, volume 9833 of Lect. Notes in Computer Science, pages 684--696, Grenoble, France, August 2016. [  | DOI ]
[10] Energy Consumption Analysis of Software Polar Decoders on Low Power Processors. Adrien Cassagne, Olivier Aumage, Camille Leroux, Denis Barthou, and Bertrand Le Gal. In IEEE European Signal Processing Conference, Budapest, Hungary, August 2016. [  | DOI |  ]
[11] On the Specific Read-only Data Management in Cache-based Memory Systems. Grégory Vaumourin, Alexandre Guerre, Thomas Dombek, and Denis Barthou. In Euromicro International Conf. on Parallel, Distributed, and Network-Based Processing. IEEE Computer Society, February 2016. [  ]
[12] Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. In Euro-MPI conference, pages 16:1--16:2, Bordeaux, France, September 2015. [  | DOI |  |  ]
[13] MPI Thread-level Checking for MPI+OpenMP Applications. Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. In Euro-Par Conference, Lect. Notes in Computer Science, pages 31--42, Berlin, Heidelberg, August 2015. Springer-Verlag. [  | DOI |  ]
[14] SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture. Denis Barthou and Emmanuel Jeannot. In Fernando Silva, Ines Dutra, and Vitor Santos Costa, editors, Euro-Par Conference, volume 8632 of Lect. Notes in Computer Science, pages 174--185, Porto, Portugal, August 2014. Springer-Verlag. [  | DOI |  |  ]
[15] Toward OpenCL Automatic Multi-Device Support. Sylvain Henry, Alexandre Denis, Denis Barthou, Marie-Christine Counilh, and Raymond Namyst. In Fernando Silva, Ines Dutra, and Vitor Santos Costa, editors, Euro-Par Conference, volume 8632 of Lect. Notes in Computer Science, pages 776--787, Porto, Portugal, August 2014. Springer-Verlag. [  | DOI |  |  ]
[16] A Benchmark-based Performance Model for Memory-bound HPC Applications. Bertrand Putigny, Brice Goglin, and Denis Barthou. In IEEE Intl. Conf. on High Performance Computing and Simulation (HPCS), Bologna, Italy, July 2014. IEEE Computer Society. [  |  |  ]
[17] MIL: A language to build program analysis tools through static binary instrumentation. Andres S. Charif-Rubial, Denis Barthou, Cedric Valensi, Sameer Shende, Allen Malony, and William Jalby. In IEEE Intl. High Performance Computing Conference (HiPC), pages 206--215, Hyberabad, India, December 2013. [  | DOI |  ]
[18] Combining Static and Dynamic Validation of MPI Collective Communications. Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. In Euro-MPI conference, EuroMPI'13, pages 117--122, Madrid, Spain, September 2013. ACM. [  | DOI |  |  ]
[19] Dynamic Thread Pinning for Phase-Based OpenMP Programs. Abdelhafid Mazouz, Sid-Ahmed-Ali Touati, and Denis Barthou. In Euro-Par Conference, volume 8097 of Lect. Notes in Computer Science, pages 53--64, Aachen, Germany, August 2013. Springer-Verlag. [  | DOI |  |  ]
[20] Hydra: Automatic algorithm exploration from linear algebra equations. Alexandre X. Duchateau, David Padua, and Denis Barthou. In ACM/IEEE Intl. Symp. on Code Optimization and Generation (CGO), pages 1--10, Shenzhen, China, February 2013. IEEE Computer Society. [  | DOI |  ]
[21] Automatic efficient data layout for multithreaded stencil codes on CPUs and GPUs. Julien Jaeger and Denis Barthou. In IEEE Intl. High Performance Computing Conference (HiPC), pages 1--10, Pune, India, December 2012. IEEE Computer Society. [  | DOI |  ]
[22] Performance evaluation and analysis of thread pinning strategies on multi-core platforms: Case study of SPEC OMP applications on Intel architectures. Abdelhafid Mazouz, Sid-Ahmed-Ali Touati, and Denis Barthou. In IEEE Intl. Conf. on High Performance Computing and Simulation (HPCS), pages 273 --279, Istanbul, Turquie, 2011. IEEE. [  | DOI |  |  ]
[23] Reducing Memory Requirements of Stream Programs by Graph Transformations. Pablo de Oliveira Castro, Stéphane Louise, and Denis Barthou. In IEEE Intl. Conf. on High Performance Computing and Simulation (HPCS), pages 171---180, Caen, France, June 2010. IEEE Computer Society. [  | DOI |  |  ]
[24] Computing the transitive closure of a union of affine integer tuple relations. Anna Beletska, Denis Barthou, Wlodziemierz Bielecki, and Albert Cohen. In Intl. Conference on Combinatorial Optimization and Applications (COCOA), volume 5573 of Lect. Notes in Computer Science, pages 98--109, Yellow Mountains, China, June 2009. [  |  |  ]
[25] Towards the petaflop for Lattice QCD simulations the PetaQCD project. J.C. Angles D'Auriac, D. Barthou, D. Becirevic, R. Bilhaut, François Bodin, P. Boucaud, O. Brand Foissac, J. Carbonell, C. Eisenbeis, P. Gallard, G. Grosdidier, P. Guichon, P.F. Honore, G. Le Meur, P. Pene, L. Rilling, P. Roudeau, A. Seznec, A. Stocchi, and F. Touze. In J. Gruntorad ; M. Lokajicek, editor, Journal of Physics Conference Series 17th International Conference on Computing in High Energy and Nuclear Physics (CHEP'09), volume 219, page 052021, Prague Tchèque, République, March 2009. IOP Publishing. LAL 09-58, LPSC09233. [  | DOI |  |  ]
[26] Optimizing code through iterative specialization. Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou. In ACM Symp. on Applied Computing, pages 206--210, Fortaleza, Ceara, Brazil, 2008. ACM Press. [  |  ]
[27] Hybrid Specialization : A Trade-off Between Static and Dynamic Specialization. Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou. In ACM/IEEE Intl. Conf. on Parallel Architectures and Compilation Techniques (PACT)(Extended abstract), page 415, Phoenix, AZ, September 2007. IEEE Computer Society. [  |  ]
[28] 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. [  |  ]
[29] 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. [  |  ]
[30] Loop Optimization using Adaptive Compilation and Kernel Decomposition. Denis Barthou, Sebastien Donadio, Alexandre Duchateau, Patrick Carribault, and William Jalby. In ACM/IEEE Intl. Symp. on Code Optimization and Generation (CGO), pages 170--184, San Jose, California, March 2007. IEEE Computer Society. [  |  ]
[31] On the decidability of phase ordering problem in optimizing compilation. Sid-Ahmed-Ali Touati and Denis Barthou. In ACM Computing Frontiers Conf. (CF), pages 147--156, Ischia, Italy, 2006. ACM Press. [  |  ]
[32] On Domain Specific Languages Re-Engineering. Christophe Alias and Denis Barthou. In ACM Intl. Conf. on Generative Programming and Component Engineering (GPCE), volume 3676 of Lect. Notes in Computer Science, pages 63--77, Tallinn, September 2005. Springer-Verlag. [  |  ]
[33] 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. [  |  ]
[34] Algorithm Recognition based on Demand-driven Data-flow Analysis. Christophe Alias and Denis Barthou. In IEEE Working Conf. on Reverse Engineering (WCRE), pages 296--305, Victoria, November 2003. IEEE Computer Society. [  |  ]
[35] On the recognition of algorithm templates. Christophe Alias and Denis Barthou. In Intl. Workshop on Compilers Optimization Meets Compiler Verification (COCV), volume 82 of ENTCS, pages 395--409, Warsaw, April 2003. Elsevier Science. [  |  ]
[36] 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. [  |  ]
[37] Maximal Static Expansion. Denis Barthou, Albert Cohen, and Jean-François Collard. In ACM Symp. on Principles of Programming Languages (POPL), pages 98--106, San Diego, California, January 1998. ACM Press. [  |  ]
[38] 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 Intl. Conf. on Application-Specific Systems, Architectures and Processors, pages 350--362, Zurich, July 1997. IEEE Computer Society. [  |  ]
[39] 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. [  |  ]
[40] Fuzzy array dataflow analysis. Jean-François Collard, Denis Barthou, and Paul Feautrier. In ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP), pages 92--101, Santa Barbara, California, 1995. ACM Press. [  |  ]

Workshops
[1] PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. Van-Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, and Patrick Carribault. In Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, Atlanta / Virtual, United States, November 2020. [  |  |  ]
[2] Automatic Code Motion to Extend MPI Nonblocking Overlap Window. Van-Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, and Patrick Carribault. In C3PO'20 Workshop - First Workshop on Compiler-Assisted Correctness Checking and Performance Optimization for HPC, volume 12321 of High Performance Computing: Part of the Lecture Notes in Computer Science book series (LNCS), pages 43--54, Frankfurt / Virtual, Germany, June 2020. Springer. Online ISBN : 978-3-030-59851-8; Series Online ISSN 1611-3349. [  | DOI |  |  ]
[3] PARCOACH Extension for a Full-Interprocedural Collectives Verification. Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, and Patrick Carribault. In Second International Workshop on Software Correctness for HPC Applications, Dallas, United States, November 2018. [  |  |  ]
[4] MIPP: A Portable C++ SIMD Wrapper and Its Use for Error Correction Coding in 5G Standard. Adrien Cassagne, Olivier Aumage, Denis Barthou, Camille Leroux, and Christophe Jégo. In Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing, WPMVP@PPoPP'18, pages 2:1--2:8, New York, NY, USA, 2018. ACM. [  | DOI |  ]
[5] A Stencil DSEL for Single Code Accelerated Computing with SYCL. Alexandre Honorat, Olivier Aumage, and Denis Barthou. In Proc. Intl. Workshop on SYCL, Barcelona, Spain, March 2016. [  |  ]
[6] An Efficient, Portable and Generic Library for Successive Cancellation Decoding of Polar Codes. Adrien Cassagne, Bertrand Le Gal, Camille Leroux, Olivier Aumage, and Denis Barthou. In Intl. Workshop on Languages and Compilers for Parallel Computing (LCPC), Lect. Notes in Computer Science, pages 303--317, Raleigh, NC, US, September 2015. Springer-Verlag. [  |  ]
[7] Specific Read Only Data Management for Memory Hierarchy Optimization. Gregory Vaumourin, Dombek Thomas, Guerre Alexandre, and Denis Barthou. In ACM Sigbed Review, Special Issue on Embedded Operating Systems Workshop, volume 11, pages 55--60, Lisboa, Portugal, November 2014. [  |  |  ]
[8] Exploring and Evaluating Array Layout Restructuration for SIMDization. Christopher Haine, Olivier Aumage, and Denis Barthou. In Intl. Workshop on Languages and Compilers for Parallel Computing (LCPC), volume 8967 of Lect. Notes in Computer Science, pages 351--366, Hillsboro, OR, US, September 2014. Springer-Verlag. [  |  |  ]
[9] Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. In Luiz DeRose, Bronis R. de Supinski, Stephen L. Olivier, Barbara M. Chapman, and Matthias S. Müller, editors, Proc. Intl. Workshop on OpenMP (IWOMP), volume 8766 of Lect. Notes in Computer Science, pages 73--86, Salvador, Brazil, September 2014. Springer-Verlag. [  | DOI |  |  ]
[10] Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis. Olivier Aumage, Denis Barthou, Christopher Haine, and Tamara Meunier. In Euro-Par 2013: Parallel Processing Workshops, volume 8374 of Lect. Notes in Computer Science, pages 637--646, Aachen, Allemagne, August 2013. Springer-Verlag. [  | DOI |  |  ]
[11] QIRAL: A High Level Language for Lattice QCD Code Generation. Denis Barthou, Gilbert Grosdidier, Michael Kruse, Olivier Pene, and Claude Tadonki. In Programming Language Approaches to Concurrency and Communication-centric Software Workshop, Tallinn, Estonia, 2012. arXiv:1208.403. [  |  ]
[12] Performance modeling for power consumption reduction on SCC. Bertrand Putigny, Brice Goglin, and Denis Barthou. In Hasso Plattner Institute at University of Potsdam, editor, 4th Many-core Applications Research Community (MARC) Symposium, Potsdam, Germany, December 2011. [  |  ]
[13] Analysing the Variability of OpenMP Programs Performances on Multicore Architectures. Abdelhafid Mazouz, Sid-Ahmed-Ali Touati, and Denis Barthou. In Fourth Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2011), page 14, Heraklion, Greece, 2011. Held in conjunction with: the 6th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC). [  |  |  ]
[14] FADAlib: an open source C++ library for fuzzy array dataflow analysis. Marouane Belaoucha, Denis Barthou, Adrien Eliche, and Sid-Ahmed-Ali Touati. In Intl. Workshop on Practical Aspects of High-Level Parallel Programming, volume 1, pages 2075---2084, Amsterdam, The Netherlands, May 2010. [  | DOI |  |  ]
[15] A multidimensional array slicing DSL for Stream Programming. Pablo de Oliveira Castro, Stéphane Louise, and Denis Barthou. In Intl. Workshop on Multi-core Computing Systems, pages 913--918, Krakow, Poland, February 2010. IEEE Computer Society. [  |  |  ]
[16] Study of Variations of Native Program Execution Times on Multi-Core Architectures. Abdelhafid Mazouz, Sid-Ahmed-Ali Touati, and Denis Barthou. In Intl. Workshop on Multi-core Computing Systems, pages 919---924, Krakow, Poland, February 2010. IEEE Computer Society. [  | DOI |  ]
[17] Parallel Expression Template for Large Vectors. Laurent Plagne, Franck Hulsemann, Denis Barthou, and Julien Jaeger. In Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, pages 1---8, Genova, Italy, 2009. ACM Press. [  |  ]
[18] 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. [  |  ]
[19] An Effective Automated Approach to Specialization of Code. Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou. In Intl. Workshop on Languages and Compilers for Parallel Computing (LCPC), Lect. Notes in Computer Science, pages 308--322, Chicago, Illinois, October 2007. Springer-Verlag. [  |  ]
[20] Improving Performance through Low-Overhead Specialization of Code. Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou. In Intl. Workshop on Interaction between Compilers and Computer Architectures, Phoenix, Arizona, February 2007. [  |  ]
[21] Iterative Compilation with Kernel Exploration. Denis Barthou, Sebastien Donadio, Alexandre Duchateau, William Jalby, and Eric Courtois. In Intl. Workshop on Languages and Compilers for Parallel Computing (LCPC), volume 4382 of Lect. Notes in Computer Science, pages 173--189, New Orleans, November 2006. Springer-Verlag. [  |  ]
[22] 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 Intl. Workshop on Languages and Compilers for Parallel Computing (LCPC), volume 4339 of Lect. Notes in Computer Science, pages 136--151, Hawthorne, New York, October 2005. Springer-Verlag. [  |  ]
[23] 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. [  |  ]
[24] 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. [  |  ]
[25] Allocating Communication Channels to Parallel Tasks. Denis Barthou, Franco Gasperoni, and Uwe Schwiegelshohn. In Intl. Workshop on Environments and Tools for Parallel Scientific Computing, volume 6, pages 275--291, St Hilaire du Touvet, September 1993. Advances in Parallel Computing. [  |  ]

Posters
[1] Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context. Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. In ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP), pages 279--280, San Francisco, CA, USA, 2015. ACM. Poster session. [  | DOI |  |  ]

Non-refereed communications
[1] SOCL: An OpenCL Implementation with Automatic Multi-Device Adaptation Support. Sylvain Henry, Denis Barthou, Alexandre Denis, Raymond Namyst, and Marie-Christine Counilh. Rapport de recherche RR-8346, INRIA, August 2013. [  |  |  ]
[2] Modélisation du coût de la cohérence de cache pour améliorer le tuilage de boucles. Bertrand Putigny, Denis Barthou, and Brice Goglin. Quatrième rencontres de la communauté française de compilation, Saint-Hippolyte, France, December 2011. [  |  ]
[3] Stencils sur CPU et GPU. Julien Jaeger and Denis Barthou. Quatrième rencontres de la communauté française de compilation, Saint-Hippolyte, France, December 2011. [  ]
[4] Introduction. Mitsuhisa Sato, Denis Barthou, Pedro C. Diniz, and P. Saddayapan. In Euro-Par Conference, volume 6852 of Lect. Notes in Computer Science, pages 267--268. Springer-Verlag, 2011. [  ]
[5] 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 (CPC), January 2009. [  |  ]
[6] 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 (CPC), January 2009. arXiv:0808.0391v3. [  |  ]
[7] Kernel (De)composition, A compositional approach applied to linear algebra libraries. Denis Barthou. Dagstuhl workshop, Programming Models for Ubiquitous Parallelism, September 2007. [  |  ]
[8] 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. [  ]
[9] 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. [  ]
[10] Deciding where to call performance libraries. David Soguet, Christophe Alias, and Denis Barthou. Technical Report 65, Laboratoire PRiSM, 2004. [  ]
[11] Program Optimization by Algorithm Recognition and Replacement. Christophe Alias and Denis Barthou. Technical Report 66, Laboratoire PRiSM, 2004. [  ]
[12] On the Equivalence of Two Systems of Affine Recurrence Equations. Denis Barthou, Paul Feautrier, and Xavier Redon. Technical Report RR-4285, INRIA, October 2001. [  |  ]
[13] 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. [  |  ]
[14] Fuzzy Array Dataflow Analysis. Denis Barthou, Jean-François Collard, and Paul Feautrier. Technical Report 95/33, Laboratoire PRiSM, 1995. [  ]

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. [  |  ]
[2] Array Dataflow Analysis in Presence of Non-affine Constraints. Denis Barthou. PhD thesis, Université de Versailles St-Quentin, Versailles, February 1998. [  |  ]