Denis Barthou

According to our database, Denis Barthou authored at least 71 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023

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

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

SimSGamE : Scheduling simulator for modern game engines.

Mustapha Regragui, Baptiste Coye, Laércio Lima Pilla, Raymond Namyst, Denis Barthou

J. Open Source Softw., 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

Proceedings of the Euro-Par 2022: Parallel Processing, 2022

Static Local Concurrency Errors Detection in MPI-RMA Programs.

Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

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

Proceedings of the Computing in Cardiology, 2022

2021

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

Proceedings of the 11th International Symposium on Topics in Coding, 2021

2020

Automatic Code Motion to Extend MPI Nonblocking Overlap Window.

Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault

Proceedings of the High Performance Computing, 2020

PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation.

Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault

Proceedings of the 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2020

Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution.

Mark Potse, Emmanuelle Saillard, Denis Barthou, Yves Coudière

Proceedings of the Computing in Cardiology, 2020

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

Multi-valued Expression Analysis for Collective Checking.

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault

Proceedings of the Euro-Par 2019: Parallel Processing, 2019

2018

PARCOACH Extension for a Full-Interprocedural Collectives Verification.

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels.

Pierre Huchant, Denis Barthou, Marie Christine Counilh

Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 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

Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, 2018

Profile-guided scope-based data allocation method.

Hugo Brunie, Julien Jaeger, Patrick Carribault, Denis Barthou

Proceedings of the International Symposium on Memory Systems, 2018

2017

Rewriting System for Profile-Guided Data Layout Transformations on Binaries.

Christopher Haine, Olivier Aumage, Denis Barthou

Proceedings of the Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28, 2017

2016

Specific Read-Only Data Management for Memory System Optimization.

Gregory Vaumourin, Alexandre Guerre, Thomas Dombek, Denis Barthou

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Beyond Gbps Turbo decoder on multi-core CPUs.

Adrien Cassagne, Thibaud Tonnellier, Camille Leroux, Bertrand Le Gal, Olivier Aumage, Denis Barthou

Proceedings of the 9th International Symposium on Turbo Codes and Iterative Information Processing, 2016

Energy consumption analysis of software polar decoders on low power processors.

Adrien Cassagne, Olivier Aumage, Camille Leroux, Denis Barthou, Bertrand Le Gal

Proceedings of the 24th European Signal Processing Conference, 2016

Automatic OpenCL Task Adaptation for Heterogeneous Architectures.

Pierre Huchant, Marie Christine Counilh, Denis Barthou

Proceedings of the Euro-Par 2016: Parallel Processing, 2016

2015

Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH.

Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the 22nd European MPI Users' Group Meeting, 2015

Static/Dynamic validation of MPI collective communications in multi-threaded context.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 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

Proceedings of the Languages and Compilers for Parallel Computing, 2015

MPI Thread-Level Checking for MPI+OpenMP Applications.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the Euro-Par 2015: Parallel Processing, 2015

2014

Specific read only data management for memory hierarchy optimization.

Gregory Vaumourin, Thomas Dombek, Alexandre Guerre, Denis Barthou

SIGBED Rev., 2014

PARCOACH: Combining static and dynamic validation of MPI collective communications.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Int. J. High Perform. Comput. Appl., 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

Exploring and Evaluating Array Layout Restructuring for SIMDization.

Christopher Haine, Olivier Aumage, Enguerrand Petit, Denis Barthou

Proceedings of the Languages and Compilers for Parallel Computing, 2014

Static Validation of Barriers and Worksharing Constructs in OpenMP Applications.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the Using and Improving OpenMP for Devices, Tasks, and More, 2014

A benchmark-based performance model for memory-bound HPC applications.

Bertrand Putigny, Brice Goglin, Denis Barthou

Proceedings of the International Conference on High Performance Computing & Simulation, 2014

Toward OpenCL Automatic Multi-Device Support.

Sylvain Henry, Alexandre Denis, Denis Barthou, Marie Christine Counilh, Raymond Namyst

Proceedings of the Euro-Par 2014 Parallel Processing, 2014

SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture.

Denis Barthou, Emmanuel Jeannot

Proceedings of the Euro-Par 2014 Parallel Processing, 2014

2013

Combining static and dynamic validation of MPI collective communications.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the 20th European MPI Users's Group Meeting, 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

Proceedings of the 20th Annual International Conference on High Performance Computing, 2013

Dynamic Thread Pinning for Phase-Based OpenMP Programs.

Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Barthou

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

Topic 4: High-Performance Architectures and Compilers - (Introduction).

Denis Barthou, Wolfgang Karl, Ramon Doallo, Evelyn Duesterwald, Sami Yehia

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis.

Olivier Aumage, Denis Barthou, Christopher Haine, Tamara Meunier

Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

Hydra: Automatic algorithm exploration from linear algebra equations.

Alexandre Duchateau, David A. Padua, Denis Barthou

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012

Programmation unifiée multi-accélérateur avec OpenCL.

Sylvain Henry, Alexandre Denis, Denis Barthou

Tech. Sci. Informatiques, 2012

QIRAL: A High Level Language for Lattice QCD Code Generation

Denis Barthou, Gilbert Grosdidier, Michael Kruse, Olivier Pène, Claude Tadonki

CoRR, 2012

Automatic efficient data layout for multithreaded stencil codes on CPU sand GPUs.

Julien Jaeger, Denis Barthou

Proceedings of the 19th International Conference on High Performance Computing, 2012

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

Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011

Introduction.

Mitsuhisa Sato, Denis Barthou, Pedro C. Diniz, P. Saddayapan

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

2010

FADAlib: an open source C++ library for fuzzy array dataflow analysis.

Marouane Belaoucha, Denis Barthou, Adrien Eliche, Sid Ahmed Ali Touati

Proceedings of the International Conference on Computational Science, 2010

Reducing memory requirements of stream programs by graph transformations.

Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

High Performance Architectures and Compilers.

Pedro C. Diniz, Marco Danelutto, Denis Barthou, Marc Gonzales, Michael Hübner

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

Study of Variations of Native Program Execution Times on Multi-Core Architectures.

Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Barthou

Proceedings of the CISIS 2010, 2010

A Multidimensional Array Slicing DSL for Stream Programming.

Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou

Proceedings of the CISIS 2010, 2010

2009

Improving performance of optimized kernels through fast instantiations of templates.

Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou

Concurr. Comput. Pract. Exp., 2009

Compositional approach applied to loop specialization.

Lamia Djoudi, Jean-Thomas Acquaviva, Denis Barthou

Concurr. Comput. Pract. Exp., 2009

Performance Tuning of x86 OpenMP Codes with MAQAO.

Denis Barthou, Andres Charif Rubial, William Jalby, Souad Koliai, Cédric Valensi

Proceedings of the Tools for High Performance Computing 2009, 2009

Computing the Transitive Closure of a Union of Affine Integer Tuple Relations.

Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, Albert Cohen

Proceedings of the Combinatorial Optimization and Applications, 2009

2008

Optimizing code through iterative specialization.

Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Contributions to code optimization and high performance library generation.

Denis Barthou

, 2008

2007

An Effective Automated Approach to Specialization of Code.

Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou

Proceedings of the Languages and Compilers for Parallel Computing, 2007

Loop Optimization using Hierarchical Compilation and Kernel Decomposition.

Denis Barthou, Sébastien Donadio, Patrick Carribault, Alexandre Duchateau, William Jalby

Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007

Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization.

Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou

Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007

2006

Iterative Compilation with Kernel Exploration.

Denis Barthou, Sébastien Donadio, Alexandre Duchateau, William Jalby, E. Courtois

Proceedings of the Languages and Compilers for Parallel Computing, 2006

On the decidability of phase ordering problem in optimizing compilation.

Sid Ahmed Ali Touati, Denis Barthou

Proceedings of the Third Conference on Computing Frontiers, 2006

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, María Jesús Garzarán, David A. Padua, Keshav Pingali

Proceedings of the Languages and Compilers for Parallel Computing, 2005

On Domain-Specific Languages Reengineering.

Christophe Alias, Denis Barthou

Proceedings of the Generative Programming and Component Engineering, 2005

Deciding Where to Call Performance Libraries.

Christophe Alias, Denis Barthou

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2003

On the Recognition of Algorithm Templates.

Christophe Alias, Denis Barthou

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

Algorithm Recognition based on Demand-Driven Data-flow Analysis.

Christophe Alias, Denis Barthou

Proceedings of the 10th Working Conference on Reverse Engineering, 2003

2002

On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note).

Denis Barthou, Paul Feautrier, Xavier Redon

Proceedings of the Euro-Par 2002, 2002

2000

Maximal Static Expansion.

Denis Barthou, Albert Cohen, Jean-Francois Collard

Int. J. Parallel Program., 2000

1997

Fuzzy Array Dataflow Analysis.

Denis Barthou, Jean-Francois Collard, Paul Feautrier

J. Parallel Distributed Comput., 1997

Automatic data mapping of signal processing applications.

Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli

Proceedings of the 1997 International Conference on Application-Specific Systems, 1997

1996

Applicaions of Fuzzy Array Dataflow Analysis.

Denis Barthou, Jean-Francois Collard, Paul Feautrier

Proceedings of the Euro-Par '96 Parallel Processing, 1996