default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDenis Barthou
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c62]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. CGO 2024: 28-40- [c61]Vincent Alba, Olivier Aumage, Denis Barthou, Raphaël Colin, Marie Christine Counilh, Stéphane Genaud, Amina Guermouche, Vincent Loechner, Arun Thangamani:
Performance Portability of Generated Cardiac Simulation Kernels Through Automatic Dimensioning and Load Balancing on Heterogeneous Nodes. IPDPS (Workshops) 2024: 1006-1015 - [i4]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 abs/2401.06665 (2024) - 2023
- [j11]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) - 2022
- [j10]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): 4592 (2022) - [j9]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: 102859 (2022) - [c60]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: 1-4 - [c59]Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou:
Static Local Concurrency Errors Detection in MPI-RMA Programs. Correctness@SC 2022: 18-26 - [c58]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: 103-118 - [i3]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 abs/2206.06147 (2022) - 2021
- [c57]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: 1-5 - 2020
- [c56]Mark Potse, Emmanuelle Saillard, Denis Barthou, Yves Coudière:
Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution. CinC 2020: 1-4 - [c55]Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault:
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. CORRECTNESS@SC 2020: 31-39 - [c54]Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault:
Automatic Code Motion to Extend MPI Nonblocking Overlap Window. ISC Workshops 2020: 43-54
2010 – 2019
- 2019
- [j8]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: 100345 (2019) - [c53]Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault:
Multi-valued Expression Analysis for Collective Checking. Euro-Par 2019: 29-43 - 2018
- [c52]Hugo Brunie, Julien Jaeger, Patrick Carribault, Denis Barthou:
Profile-guided scope-based data allocation method. MEMSYS 2018: 169-182 - [c51]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: 2:1-2:8 - [c50]Pierre Huchant, Denis Barthou, Marie Christine Counilh:
Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. SBAC-PAD 2018: 262-265 - [c49]Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault:
PARCOACH Extension for a Full-Interprocedural Collectives Verification. CORRECTNESS@SC 2018: 69-76 - 2017
- [c48]Christopher Haine, Olivier Aumage, Denis Barthou:
Rewriting System for Profile-Guided Data Layout Transformations on Binaries. Euro-Par 2017: 260-272 - 2016
- [c47]Pierre Huchant, Marie Christine Counilh, Denis Barthou:
Automatic OpenCL Task Adaptation for Heterogeneous Architectures. Euro-Par 2016: 684-696 - [c46]Adrien Cassagne, Olivier Aumage, Camille Leroux, Denis Barthou, Bertrand Le Gal:
Energy consumption analysis of software polar decoders on low power processors. EUSIPCO 2016: 642-646 - [c45]Adrien Cassagne, Thibaud Tonnellier, Camille Leroux, Bertrand Le Gal, Olivier Aumage, Denis Barthou:
Beyond Gbps Turbo decoder on multi-core CPUs. ISTC 2016: 136-140 - [c44]Gregory Vaumourin, Alexandre Guerre, Thomas Dombek, Denis Barthou:
Specific Read-Only Data Management for Memory System Optimization. PDP 2016: 337-340 - 2015
- [c43]Emmanuelle Saillard, Patrick Carribault, Denis Barthou:
MPI Thread-Level Checking for MPI+OpenMP Applications. Euro-Par 2015: 31-42 - [c42]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: 303-317 - [c41]Emmanuelle Saillard, Patrick Carribault, Denis Barthou:
Static/Dynamic validation of MPI collective communications in multi-threaded context. PPoPP 2015: 279-280 - [c40]Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou:
Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. EuroMPI 2015: 16:1-16:2 - 2014
- [j7]Emmanuelle Saillard, Patrick Carribault, Denis Barthou:
PARCOACH: Combining static and dynamic validation of MPI collective communications. Int. J. High Perform. Comput. Appl. 28(4): 425-434 (2014) - [j6]Gregory Vaumourin, Thomas Dombek, Alexandre Guerre, Denis Barthou:
Specific read only data management for memory hierarchy optimization. SIGBED Rev. 11(4): 55-60 (2014) - [c39]Denis Barthou, Emmanuel Jeannot:
SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture. Euro-Par 2014: 174-185 - [c38]Sylvain Henry, Alexandre Denis, Denis Barthou, Marie Christine Counilh, Raymond Namyst:
Toward OpenCL Automatic Multi-Device Support. Euro-Par 2014: 776-787 - [c37]Gregory Vaumourin, Thomas Dombek, Alexandre Guerre, Denis Barthou:
Specific Read Only Data Management for Memory Hierarchy Optimization. EWiLi 2014 - [c36]Bertrand Putigny, Brice Goglin, Denis Barthou:
A benchmark-based performance model for memory-bound HPC applications. HPCS 2014: 943-950 - [c35]Emmanuelle Saillard, Patrick Carribault, Denis Barthou:
Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. IWOMP 2014: 73-86 - [c34]Christopher Haine, Olivier Aumage, Enguerrand Petit, Denis Barthou:
Exploring and Evaluating Array Layout Restructuring for SIMDization. LCPC 2014: 351-366 - [i2]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 abs/1401.2039 (2014) - 2013
- [c33]Alexandre Duchateau, David A. Padua, Denis Barthou:
Hydra: Automatic algorithm exploration from linear algebra equations. CGO 2013: 25:1-25:10 - [c32]Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Barthou:
Dynamic Thread Pinning for Phase-Based OpenMP Programs. Euro-Par 2013: 53-64 - [c31]Denis Barthou, Wolfgang Karl, Ramon Doallo, Evelyn Duesterwald, Sami Yehia:
Topic 4: High-Performance Architectures and Compilers - (Introduction). Euro-Par 2013: 162-163 - [c30]Olivier Aumage, Denis Barthou, Christopher Haine, Tamara Meunier:
Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis. Euro-Par Workshops 2013: 637-646 - [c29]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: 206-215 - [c28]Emmanuelle Saillard, Patrick Carribault, Denis Barthou:
Combining static and dynamic validation of MPI collective communications. EuroMPI 2013: 117-122 - 2012
- [j5]Sylvain Henry, Alexandre Denis, Denis Barthou:
Programmation unifiée multi-accélérateur avec OpenCL. Tech. Sci. Informatiques 31(8-10): 1233-1249 (2012) - [c27]Julien Jaeger, Denis Barthou:
Automatic efficient data layout for multithreaded stencil codes on CPU sand GPUs. HiPC 2012: 1-10 - [i1]Denis Barthou, Gilbert Grosdidier, Michael Kruse, Olivier Pène, Claude Tadonki:
QIRAL: A High Level Language for Lattice QCD Code Generation. CoRR abs/1208.4035 (2012) - 2011
- [c26]Mitsuhisa Sato, Denis Barthou, Pedro C. Diniz, P. Saddayapan:
Introduction. Euro-Par (1) 2011: 267-268 - [c25]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: 273-279 - 2010
- [c24]Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou:
A Multidimensional Array Slicing DSL for Stream Programming. CISIS 2010: 913-918 - [c23]Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Barthou:
Study of Variations of Native Program Execution Times on Multi-Core Architectures. CISIS 2010: 919-924 - [c22]Pedro C. Diniz, Marco Danelutto, Denis Barthou, Marc Gonzales, Michael Hübner:
High Performance Architectures and Compilers. Euro-Par (1) 2010: 254-255 - [c21]Pablo de Oliveira Castro, Stéphane Louise, Denis Barthou:
Reducing memory requirements of stream programs by graph transformations. HPCS 2010: 171-180 - [c20]Marouane Belaoucha, Denis Barthou, Adrien Eliche, Sid Ahmed Ali Touati:
FADAlib: an open source C++ library for fuzzy array dataflow analysis. ICCS 2010: 2075-2084
2000 – 2009
- 2009
- [j4]Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou:
Improving performance of optimized kernels through fast instantiations of templates. Concurr. Comput. Pract. Exp. 21(1): 59-70 (2009) - [j3]Lamia Djoudi, Jean-Thomas Acquaviva, Denis Barthou:
Compositional approach applied to loop specialization. Concurr. Comput. Pract. Exp. 21(1): 71-84 (2009) - [c19]Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, Albert Cohen:
Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. COCOA 2009: 98-109 - [c18]Denis Barthou, Andres Charif Rubial, William Jalby, Souad Koliai, Cédric Valensi:
Performance Tuning of x86 OpenMP Codes with MAQAO. Parallel Tools Workshop 2009: 95-113 - 2008
- [b1]Denis Barthou:
Contributions to code optimization and high performance library generation. Versailles Saint-Quentin-en-Yvelines University, France, 2008 - [c17]Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou:
Optimizing code through iterative specialization. SAC 2008: 206-210 - 2007
- [c16]Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou:
Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization. PACT 2007: 415 - [c15]Denis Barthou, Sébastien Donadio, Patrick Carribault, Alexandre Duchateau, William Jalby:
Loop Optimization using Hierarchical Compilation and Kernel Decomposition. CGO 2007: 170-184 - [c14]Lamia Djoudi, Jean-Thomas Acquaviva, Denis Barthou:
Compositional Approach Applied to Loop Specialization. Euro-Par 2007: 268-279 - [c13]Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou:
An Effective Automated Approach to Specialization of Code. LCPC 2007: 308-322 - 2006
- [c12]Sid Ahmed Ali Touati, Denis Barthou:
On the decidability of phase ordering problem in optimizing compilation. Conf. Computing Frontiers 2006: 147-156 - [c11]Denis Barthou, Sébastien Donadio, Alexandre Duchateau, William Jalby, E. Courtois:
Iterative Compilation with Kernel Exploration. LCPC 2006: 173-189 - 2005
- [c10]Christophe Alias, Denis Barthou:
Deciding Where to Call Performance Libraries. Euro-Par 2005: 336-345 - [c9]Christophe Alias, Denis Barthou:
On Domain-Specific Languages Reengineering. GPCE 2005: 63-77 - [c8]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: 136-151 - 2003
- [c7]Christophe Alias, Denis Barthou:
Algorithm Recognition based on Demand-Driven Data-flow Analysis. WCRE 2003: 296-305 - [c6]Christophe Alias, Denis Barthou:
On the Recognition of Algorithm Templates. COCV@ETAPS 2003: 395-409 - 2002
- [c5]Denis Barthou, Paul Feautrier, Xavier Redon:
On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). Euro-Par 2002: 309-313 - 2000
- [j2]Denis Barthou, Albert Cohen, Jean-Francois Collard:
Maximal Static Expansion. Int. J. Parallel Program. 28(3): 213-243 (2000)
1990 – 1999
- 1998
- [c4]Denis Barthou, Albert Cohen, Jean-Francois Collard:
Maximal Static Expansion. POPL 1998: 98-106 - 1997
- [j1]Denis Barthou, Jean-Francois Collard, Paul Feautrier:
Fuzzy Array Dataflow Analysis. J. Parallel Distributed Comput. 40(2): 210-226 (1997) - [c3]Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli:
Automatic data mapping of signal processing applications. ASAP 1997: 350- - 1996
- [c2]Denis Barthou, Jean-Francois Collard, Paul Feautrier:
Applicaions of Fuzzy Array Dataflow Analysis. Euro-Par, Vol. I 1996: 424-427 - 1995
- [c1]Jean-Francois Collard, Denis Barthou, Paul Feautrier:
Fuzzy Array Dataflow Analysis. PPoPP 1995: 92-101
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
