Applicaions of Fuzzy Array Dataflow Analysis. - Denis Barthou; Jean-Francois Collard; Paul Feautrier (Euro-Par, Vol. I, 1996)

Automatic data mapping of signal processing applications. - Corinne Ancourt; Denis Barthou; Christophe Guettier; François Irigoin; Bertrand Jeannet; Jean Jourdan; Juliette Mattioli (ASAP, 1997)

Fuzzy Array Dataflow Analysis. - Denis Barthou; Jean-Francois Collard; Paul Feautrier (J. Parallel Distributed Comput., 1997)

Maximal Static Expansion. - Denis Barthou; Albert Cohen 001; Jean-Francois Collard (Int. J. Parallel Program., 2000)

On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). - Denis Barthou; Paul Feautrier; Xavier Redon (Euro-Par, 2002)

Algorithm Recognition based on Demand-Driven Data-flow Analysis. - Christophe Alias; Denis Barthou (WCRE, 2003)

On the Recognition of Algorithm Templates. - Christophe Alias; Denis Barthou (COCV@ETAPS, 2003)

Deciding Where to Call Performance Libraries. - Christophe Alias; Denis Barthou (Euro-Par, 2005)

On Domain-Specific Languages Reengineering. - Christophe Alias; Denis Barthou (GPCE, 2005)

A Language for the Compact Representation of Multiple Program Versions. - Sébastien Donadio; James C. Brodman; Thomas Roeder; Kamen Yotov; Denis Barthou; Albert Cohen 001; María Jesús Garzarán; David A. Padua; Keshav Pingali (LCPC, 2005)

On the decidability of phase ordering problem in optimizing compilation. - Sid Ahmed Ali Touati; Denis Barthou (Conf. Computing Frontiers, 2006)

Iterative Compilation with Kernel Exploration. - Denis Barthou; Sébastien Donadio; Alexandre Duchateau; William Jalby; E. Courtois (LCPC, 2006)

Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization. - Minhaj Ahmad Khan; Henri-Pierre Charles; Denis Barthou (PACT, 2007)

Loop Optimization using Hierarchical Compilation and Kernel Decomposition. - Denis Barthou; Sébastien Donadio; Patrick Carribault; Alexandre Duchateau; William Jalby (CGO, 2007)

An Effective Automated Approach to Specialization of Code. - Minhaj Ahmad Khan; Henri-Pierre Charles; Denis Barthou (LCPC, 2007)

Contributions to code optimization and high performance library generation. - Denis Barthou (2008)

Optimizing code through iterative specialization. - Minhaj Ahmad Khan; Henri-Pierre Charles; Denis Barthou (SAC, 2008)

Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. - Anna Beletska; Denis Barthou; Wlodzimierz Bielecki; Albert Cohen 001 (COCOA, 2009)

Performance Tuning of x86 OpenMP Codes with MAQAO. - Denis Barthou; Andres Charif Rubial; William Jalby; Souad Koliai; Cédric Valensi (Parallel Tools Workshop, 2009)

Compositional approach applied to loop specialization. - Lamia Djoudi; Jean-Thomas Acquaviva; Denis Barthou (Concurr. Comput. Pract. Exp., 2009)

Improving performance of optimized kernels through fast instantiations of templates. - Minhaj Ahmad Khan; Henri-Pierre Charles; Denis Barthou (Concurr. Comput. Pract. Exp., 2009)

A Multidimensional Array Slicing DSL for Stream Programming. - Pablo de Oliveira Castro; Stéphane Louise; Denis Barthou (CISIS, 2010)

Study of Variations of Native Program Execution Times on Multi-Core Architectures. - Abdelhafid Mazouz; Sid Ahmed Ali Touati; Denis Barthou (CISIS, 2010)

High Performance Architectures and Compilers. - Pedro C. Diniz; Marco Danelutto; Denis Barthou; Marc Gonzales; Michael Hübner 001 (Euro-Par (1), 2010)

Reducing memory requirements of stream programs by graph transformations. - Pablo de Oliveira Castro; Stéphane Louise; Denis Barthou (HPCS, 2010)

FADAlib: an open source C++ library for fuzzy array dataflow analysis. - Marouane Belaoucha; Denis Barthou; Adrien Eliche; Sid Ahmed Ali Touati (ICCS, 2010)

Introduction. - Mitsuhisa Sato; Denis Barthou; Pedro C. Diniz; P. Saddayapan (Euro-Par (1), 2011)

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; Denis Barthou (HPCS, 2011)

Automatic efficient data layout for multithreaded stencil codes on CPU sand GPUs. - Julien Jaeger; Denis Barthou (HiPC, 2012)

QIRAL: A High Level Language for Lattice QCD Code Generation - Denis Barthou; Gilbert Grosdidier; Michael Kruse; Olivier Pène; Claude Tadonki (CoRR, 2012)

Programmation unifiée multi-accélérateur avec OpenCL. - Sylvain Henry; Alexandre Denis 001; Denis Barthou (Tech. Sci. Informatiques, 2012)

Hydra: Automatic algorithm exploration from linear algebra equations. - Alexandre Duchateau; David A. Padua; Denis Barthou (CGO, 2013)

Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis. - Olivier Aumage; Denis Barthou; Christopher Haine; Tamara Meunier (Euro-Par Workshops, 2013)

Topic 4: High-Performance Architectures and Compilers - (Introduction). - Denis Barthou; Wolfgang Karl; Ramon Doallo; Evelyn Duesterwald; Sami Yehia (Euro-Par, 2013)

Dynamic Thread Pinning for Phase-Based OpenMP Programs. - Abdelhafid Mazouz; Sid Ahmed Ali Touati; Denis Barthou (Euro-Par, 2013)

MIL: A language to build program analysis tools through static binary instrumentation. - Andres Charif Rubial; Denis Barthou; Cédric Valensi; Sameer Shende; Allen D. Malony; William Jalby (HiPC, 2013)

Combining static and dynamic validation of MPI collective communications. - Emmanuelle Saillard; Patrick Carribault; Denis Barthou (EuroMPI, 2013)

SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture. - Denis Barthou; Emmanuel Jeannot (Euro-Par, 2014)

Toward OpenCL Automatic Multi-Device Support. - Sylvain Henry; Alexandre Denis 001; Denis Barthou; Marie Christine Counilh; Raymond Namyst (Euro-Par, 2014)

A benchmark-based performance model for memory-bound HPC applications. - Bertrand Putigny; Brice Goglin; Denis Barthou (HPCS, 2014)

Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. - Emmanuelle Saillard; Patrick Carribault; Denis Barthou (IWOMP, 2014)

Exploring and Evaluating Array Layout Restructuring for SIMDization. - Christopher Haine; Olivier Aumage; Enguerrand Petit; Denis Barthou (LCPC, 2014)

Automated Code Generation for Lattice Quantum Chromodynamics and beyond. - Denis Barthou; Olivier Brand-Foissac; Romain Dolbeau; Gilbert Grosdidier; Christine Eisenbeis; Michael Kruse; Olivier Pène; Konstantin Petrov; Claude Tadonki (CoRR, 2014)

PARCOACH: Combining static and dynamic validation of MPI collective communications. - Emmanuelle Saillard; Patrick Carribault; Denis Barthou (Int. J. High Perform. Comput. Appl., 2014)

Specific read only data management for memory hierarchy optimization. - Gregory Vaumourin; Thomas Dombek; Alexandre Guerre; Denis Barthou (SIGBED Rev., 2014)

MPI Thread-Level Checking for MPI+OpenMP Applications. - Emmanuelle Saillard; Patrick Carribault; Denis Barthou (Euro-Par, 2015)

An Efficient, Portable and Generic Library for Successive Cancellation Decoding of Polar Codes. - Adrien Cassagne; Bertrand Le Gal; Camille Leroux; Olivier Aumage; Denis Barthou (LCPC, 2015)

Static/Dynamic validation of MPI collective communications in multi-threaded context. - Emmanuelle Saillard; Patrick Carribault; Denis Barthou (PPoPP, 2015)

Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. - Julien Jaeger; Emmanuelle Saillard; Patrick Carribault; Denis Barthou (EuroMPI, 2015)

Automatic OpenCL Task Adaptation for Heterogeneous Architectures. - Pierre Huchant; Marie Christine Counilh; Denis Barthou (Euro-Par, 2016)

Energy consumption analysis of software polar decoders on low power processors. - Adrien Cassagne; Olivier Aumage; Camille Leroux; Denis Barthou; Bertrand Le Gal (EUSIPCO, 2016)

Beyond Gbps Turbo decoder on multi-core CPUs. - Adrien Cassagne; Thibaud Tonnellier; Camille Leroux; Bertrand Le Gal; Olivier Aumage; Denis Barthou (ISTC, 2016)

Specific Read-Only Data Management for Memory System Optimization. - Gregory Vaumourin; Alexandre Guerre; Thomas Dombek; Denis Barthou (PDP, 2016)

Rewriting System for Profile-Guided Data Layout Transformations on Binaries. - Christopher Haine; Olivier Aumage; Denis Barthou (Euro-Par, 2017)

Profile-guided scope-based data allocation method. - Hugo Brunie; Julien Jaeger; Patrick Carribault; Denis Barthou (MEMSYS, 2018)

MIPP: a Portable C++ SIMD Wrapper and its use for Error Correction Coding in 5G Standard. - Adrien Cassagne; Olivier Aumage; Denis Barthou; Camille Leroux; Christophe Jégo (WPMVP@PPoPP, 2018)

Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. - Pierre Huchant; Denis Barthou; Marie Christine Counilh (SBAC-PAD, 2018)

PARCOACH Extension for a Full-Interprocedural Collectives Verification. - Pierre Huchant; Emmanuelle Saillard; Denis Barthou; Hugo Brunie; Patrick Carribault (CORRECTNESS@SC, 2018)

Multi-valued Expression Analysis for Collective Checking. - Pierre Huchant; Emmanuelle Saillard; Denis Barthou; Patrick Carribault (Euro-Par, 2019)

AFF3CT: A Fast Forward Error Correction Toolbox! - Adrien Cassagne; Olivier Hartmann; Mathieu Léonardon; Kun He; Camille Leroux; Romain Tajan; Olivier Aumage; Denis Barthou; Thibaud Tonnellier; Vincent Pignoly; Bertrand Le Gal; Christophe Jégo (SoftwareX, 2019)

Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution. - Mark Potse; Emmanuelle Saillard; Denis Barthou; Yves Coudière (CinC, 2020)

PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. - Van Man Nguyen; Emmanuelle Saillard; Julien Jaeger; Denis Barthou; Patrick Carribault (CORRECTNESS@SC, 2020)

Automatic Code Motion to Extend MPI Nonblocking Overlap Window. - Van Man Nguyen; Emmanuelle Saillard; Julien Jaeger; Denis Barthou; Patrick Carribault (ISC Workshops, 2020)

A Flexible and Portable Real-time DVB-S2 Transceiver using Multicore and SIMD CPUs. - Adrien Cassagne; Mathieu Léonardon; Romain Tajan; Camille Leroux; Christophe Jégo; Olivier Aumage; Denis Barthou (ISTC, 2021)

A Comparison of Multithreading, Vectorization, and GPU Computing for the Acceleration of Cardiac Electrophysiology Models. - Chiheb Sakka; Amina Guermouche; Olivier Aumage; Emmanuelle Saillard; Mark Potse; Yves Coudière; Denis Barthou (CinC, 2022)

Static Local Concurrency Errors Detection in MPI-RMA Programs. - Emmanuelle Saillard; Marc Sergent; Célia Tassadit Ait Kaci; Denis Barthou (Correctness@SC, 2022)

Exploring Scheduling Algorithms for Parallel Task Graphs: A Modern Game Engine Case Study. - Mustapha Regragui; Baptiste Coye; Laércio Lima Pilla; Raymond Namyst; Denis Barthou (Euro-Par, 2022)

SimSGamE : Scheduling simulator for modern game engines. - Mustapha Regragui; Baptiste Coye; Laércio Lima Pilla; Raymond Namyst; Denis Barthou (J. Open Source Softw., 2022)

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; Denis Barthou (Parallel Comput., 2022)

A DSEL for high throughput and low latency software-defined radio on multicore CPUs. - Adrien Cassagne; Romain Tajan; Olivier Aumage; Camille Leroux; Denis Barthou; Christophe Jégo (Concurr. Comput. Pract. Exp., 2023)

PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler. - Gianpietro Consolaro; Zhen Zhang; Harenome Razanajato; Nelson Lossing; Nassim Tchoulak; Adilla Susungi; Artur Cesar Araujo Alves; Renwei Zhang; Denis Barthou; Corinne Ancourt; Cédric Bastoul (CGO, 2024)

Performance Portability of Generated Cardiac Simulation Kernels Through Automatic Dimensioning and Load Balancing on Heterogeneous Nodes. - Vincent Alba; Olivier Aumage; Denis Barthou; Raphaël Colin; Marie Christine Counilh; Stéphane Genaud; Amina Guermouche; Vincent Loechner; Arun Thangamani (IPDPS (Workshops), 2024)

Scheduling Strategies for Partially-Replicable Task Chains on Two Types of Resources. - Diane Orhan; Yacine Idouar; Laércio Lima Pilla; Adrien Cassagne; Denis Barthou; Christophe Jégo (IPDPS (Workshops), 2025)

Optimal scheduling algorithms for software-defined radio pipelined and replicated task chains on multicore architectures. - Diane Orhan; Laércio Lima Pilla; Denis Barthou; Adrien Cassagne; Olivier Aumage; Romain Tajan; Christophe Jégo; Camille Leroux (J. Parallel Distributed Comput., 2025)

Performance portability of generated cardiac simulation kernels through automatic dimensioning and load balancing on heterogeneous nodes. - Vincent Alba; Olivier Aumage; Denis Barthou; Marie Christine Counilh; Amina Guermouche (J. Supercomput., 2025)