Denis Barthou

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