Denis Barthou

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 27

Top Topics

Parallel Algorithm

Error Correction

Top Venues

Publications

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
PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler. CoRR (2024)
Adrien Cassagne, Romain Tajan, Olivier Aumage, Camille Leroux, Denis Barthou, Christophe Jégo
A DSEL for high throughput and low latency software-defined radio on multicore CPUs. Concurr. Comput. Pract. Exp. 35 (23) (2023)
Joachim Protze, Marc-André Hermanns, Matthias S. Müller, Van Man Nguyen, Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou
MPI detach - Towards automatic asynchronous local completion. Parallel Comput. 109 (2022)
Mustapha Regragui, Baptiste Coye, Laércio Lima Pilla, Raymond Namyst, Denis Barthou
Exploring Scheduling Algorithms for Parallel Task Graphs: A Modern Game Engine Case Study. Euro-Par (2022)
Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou
Static Local Concurrency Errors Detection in MPI-RMA Programs. Correctness@SC (2022)
Chiheb Sakka, Amina Guermouche, Olivier Aumage, Emmanuelle Saillard, Mark Potse, Yves Coudière, Denis Barthou
A Comparison of Multithreading, Vectorization, and GPU Computing for the Acceleration of Cardiac Electrophysiology Models. CinC (2022)
Mustapha Regragui, Baptiste Coye, Laércio Lima Pilla, Raymond Namyst, Denis Barthou
SimSGamE : Scheduling simulator for modern game engines. J. Open Source Softw. 7 (77) (2022)
Adrien Cassagne, Romain Tajan, Olivier Aumage, Camille Leroux, Denis Barthou, Christophe Jégo
A DSEL for High Throughput and Low Latency Software-Defined Radio on Multicore CPUs. CoRR (2022)
Adrien Cassagne, Mathieu Léonardon, Romain Tajan, Camille Leroux, Christophe Jégo, Olivier Aumage, Denis Barthou
A Flexible and Portable Real-time DVB-S2 Transceiver using Multicore and SIMD CPUs. ISTC (2021)
Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault
Automatic Code Motion to Extend MPI Nonblocking Overlap Window. ISC Workshops (2020)
Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. CORRECTNESS@SC (2020)
Mark Potse, Emmanuelle Saillard, Denis Barthou, Yves Coudière
Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution. CinC (2020)
Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault
Multi-valued Expression Analysis for Collective Checking. Euro-Par (2019)
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
AFF3CT: A Fast Forward Error Correction Toolbox! SoftwareX 10 (2019)
Hugo Brunie, Julien Jaeger, Patrick Carribault, Denis Barthou
Profile-guided scope-based data allocation method. MEMSYS (2018)
Adrien Cassagne, Olivier Aumage, Denis Barthou, Camille Leroux, Christophe Jégo
MIPP: a Portable C++ SIMD Wrapper and its use for Error Correction Coding in 5G Standard. WPMVP@PPoPP (2018)
Pierre Huchant, Denis Barthou, Marie Christine Counilh
Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. SBAC-PAD (2018)
Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault
PARCOACH Extension for a Full-Interprocedural Collectives Verification. CORRECTNESS@SC (2018)
Christopher Haine, Olivier Aumage, Denis Barthou
Rewriting System for Profile-Guided Data Layout Transformations on Binaries. Euro-Par (2017)
Gregory Vaumourin, Alexandre Guerre, Thomas Dombek, Denis Barthou
Specific Read-Only Data Management for Memory System Optimization. PDP (2016)
Adrien Cassagne, Thibaud Tonnellier, Camille Leroux, Bertrand Le Gal, Olivier Aumage, Denis Barthou
Beyond Gbps Turbo decoder on multi-core CPUs. ISTC (2016)
Pierre Huchant, Marie Christine Counilh, Denis Barthou
Automatic OpenCL Task Adaptation for Heterogeneous Architectures. Euro-Par (2016)
Adrien Cassagne, Olivier Aumage, Camille Leroux, Denis Barthou, Bertrand Le Gal
Energy consumption analysis of software polar decoders on low power processors. EUSIPCO (2016)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
MPI Thread-Level Checking for MPI+OpenMP Applications. Euro-Par (2015)
Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou
Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. EuroMPI (2015)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
Static/Dynamic validation of MPI collective communications in multi-threaded context. PPOPP (2015)
Adrien Cassagne, Bertrand Le Gal, Camille Leroux, Olivier Aumage, Denis Barthou
An Efficient, Portable and Generic Library for Successive Cancellation Decoding of Polar Codes. LCPC (2015)
Denis Barthou, Olivier Brand-Foissac, Romain Dolbeau, Gilbert Grosdidier, Christine Eisenbeis, Michael Kruse, Olivier Pène, Konstantin Petrov, Claude Tadonki
Automated Code Generation for Lattice Quantum Chromodynamics and beyond. CoRR (2014)
Gregory Vaumourin, Thomas Dombek, Alexandre Guerre, Denis Barthou
Specific Read Only Data Management for Memory Hierarchy Optimization. EWiLi (2014)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. IWOMP (2014)
Christopher Haine, Olivier Aumage, Enguerrand Petit, Denis Barthou
Exploring and Evaluating Array Layout Restructuring for SIMDization. LCPC (2014)
Denis Barthou, Emmanuel Jeannot
SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture. Euro-Par (2014)
Bertrand Putigny, Brice Goglin, Denis Barthou
A benchmark-based performance model for memory-bound HPC applications. HPCS (2014)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
PARCOACH: Combining static and dynamic validation of MPI collective communications. Int. J. High Perform. Comput. Appl. 28 (4) (2014)
Sylvain Henry, Alexandre Denis, Denis Barthou, Marie Christine Counilh, Raymond Namyst
Toward OpenCL Automatic Multi-Device Support. Euro-Par (2014)
Gregory Vaumourin, Thomas Dombek, Alexandre Guerre, Denis Barthou
Specific read only data management for memory hierarchy optimization. SIGBED Rev. 11 (4) (2014)
Denis Barthou, Wolfgang Karl, Ramon Doallo, Evelyn Duesterwald, Sami Yehia
Topic 4: High-Performance Architectures and Compilers - (Introduction). Euro-Par (2013)
Andres Charif Rubial, Denis Barthou, Cédric Valensi, Sameer Shende, Allen D. Malony, William Jalby
MIL: A language to build program analysis tools through static binary instrumentation. HiPC (2013)
Alexandre Duchateau, David A. Padua, Denis Barthou
Hydra: Automatic algorithm exploration from linear algebra equations. CGO (2013)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
Combining static and dynamic validation of MPI collective communications. EuroMPI (2013)
Olivier Aumage, Denis Barthou, Christopher Haine, Tamara Meunier
Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis. Euro-Par Workshops (2013)
Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Barthou
Dynamic Thread Pinning for Phase-Based OpenMP Programs. Euro-Par (2013)
Julien Jaeger, Denis Barthou
Automatic efficient data layout for multithreaded stencil codes on CPU sand GPUs. HiPC (2012)
Denis Barthou, Gilbert Grosdidier, Michael Kruse, Olivier Pène, Claude Tadonki
QIRAL: A High Level Language for Lattice QCD Code Generation CoRR (2012)
Sylvain Henry, Alexandre Denis, Denis Barthou
Programmation unifiée multi-accélérateur avec OpenCL. Tech. Sci. Informatiques 31 (8-10) (2012)
Mitsuhisa Sato, Denis Barthou, Pedro C. Diniz, P. Saddayapan
Introduction. Euro-Par (1) (2011)
Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Barthou
Performance evaluation and analysis of thread pinning strategies on multi-core platforms: Case study of SPEC OMP applications on intel architectures. HPCS (2011)
Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Barthou
Study of Variations of Native Program Execution Times on Multi-Core Architectures. CISIS (2010)
Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou
A Multidimensional Array Slicing DSL for Stream Programming. CISIS (2010)
Pedro C. Diniz, Marco Danelutto, Denis Barthou, Marc Gonzales, Michael Hübner
High Performance Architectures and Compilers. Euro-Par (1) (2010)
Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou
Reducing memory requirements of stream programs by graph transformations. HPCS (2010)
Marouane Belaoucha, Denis Barthou, Adrien Eliche, Sid Ahmed Ali Touati
FADAlib: an open source C++ library for fuzzy array dataflow analysis. ICCS (1) (2010)
Lamia Djoudi, Jean-Thomas Acquaviva, Denis Barthou
Compositional approach applied to loop specialization. Concurr. Comput. Pract. Exp. 21 (1) (2009)
Denis Barthou, Andres Charif Rubial, William Jalby, Souad Koliai, Cédric Valensi
Performance Tuning of x86 OpenMP Codes with MAQAO. Parallel Tools Workshop (2009)
Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, Albert Cohen
Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. COCOA (2009)
Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou
Improving performance of optimized kernels through fast instantiations of templates. Concurr. Comput. Pract. Exp. 21 (1) (2009)
Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou
Optimizing code through iterative specialization. SAC (2008)
Lamia Djoudi, Jean-Thomas Acquaviva, Denis Barthou
Compositional Approach Applied to Loop Specialization. Euro-Par (2007)
Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou
An Effective Automated Approach to Specialization of Code. LCPC (2007)
Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou
Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization. PACT (2007)
Denis Barthou, Sébastien Donadio, Patrick Carribault, Alexandre Duchateau, William Jalby
Loop Optimization using Hierarchical Compilation and Kernel Decomposition. CGO (2007)
Sid Ahmed Ali Touati, Denis Barthou
On the decidability of phase ordering problem in optimizing compilation. Conf. Computing Frontiers (2006)
Denis Barthou, Sébastien Donadio, Alexandre Duchateau, William Jalby, E. Courtois
Iterative Compilation with Kernel Exploration. LCPC (2006)
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
A Language for the Compact Representation of Multiple Program Versions. LCPC (2005)
Christophe Alias, Denis Barthou
Deciding Where to Call Performance Libraries. Euro-Par (2005)
Christophe Alias, Denis Barthou
On Domain-Specific Languages Reengineering. GPCE (2005)
Christophe Alias, Denis Barthou
On the Recognition of Algorithm Templates. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Christophe Alias, Denis Barthou
Algorithm Recognition based on Demand-Driven Data-flow Analysis. WCRE (2003)
Denis Barthou, Paul Feautrier, Xavier Redon
On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). Euro-Par (2002)
Denis Barthou, Albert Cohen, Jean-Francois Collard
Maximal Static Expansion. Int. J. Parallel Program. 28 (3) (2000)
Denis Barthou, Albert Cohen, Jean-Francois Collard
Maximal Static Expansion. POPL (1998)
Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli
Automatic data mapping of signal processing applications. ASAP (1997)
Denis Barthou, Jean-Francois Collard, Paul Feautrier
Fuzzy Array Dataflow Analysis. J. Parallel Distributed Comput. 40 (2) (1997)
Denis Barthou, Jean-Francois Collard, Paul Feautrier
Applicaions of Fuzzy Array Dataflow Analysis. Euro-Par, Vol. I (1996)
Jean-Francois Collard, Denis Barthou, Paul Feautrier
Fuzzy Array Dataflow Analysis. PPOPP (1995)