default search action
Denis 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
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
SimSGamE : Scheduling simulator for modern game engines. J. Open Source Softw. 7(77): 4592 (2022) - [j9]Joachim Protze
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
Exploring Scheduling Algorithms for Parallel Task Graphs: A Modern Game Engine Case Study. Euro-Par 2022: 103-118 - [i3]Adrien Cassagne
A DSEL for High Throughput and Low Latency Software-Defined Radio on Multicore CPUs. CoRR abs/2206.06147 (2022) - 2021
- [c57]Adrien Cassagne
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
Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution. CinC 2020: 1-4 - [c55]Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou
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
Automatic Code Motion to Extend MPI Nonblocking Overlap Window. ISC Workshops 2020: 43-54
2010 – 2019
- 2019
- [j8]Adrien Cassagne
AFF3CT: A Fast Forward Error Correction Toolbox! SoftwareX 10: 100345 (2019) - [c53]Pierre Huchant, Emmanuelle Saillard, Denis Barthou
Multi-valued Expression Analysis for Collective Checking. Euro-Par 2019: 29-43 - 2018
- [c52]Hugo Brunie
Profile-guided scope-based data allocation method. MEMSYS 2018: 169-182 - [c51]Adrien Cassagne
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
Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. SBAC-PAD 2018: 262-265 - [c49]Pierre Huchant, Emmanuelle Saillard, Denis Barthou
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
Energy consumption analysis of software polar decoders on low power processors. EUSIPCO 2016: 642-646 - [c45]Adrien Cassagne
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
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
SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture. Euro-Par 2014: 174-185 - [c38]Sylvain Henry, Alexandre Denis, Denis Barthou
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
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
Topic 4: High-Performance Architectures and Compilers - (Introduction). Euro-Par 2013: 162-163 - [c30]Olivier Aumage, Denis Barthou
Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis. Euro-Par Workshops 2013: 637-646 - [c29]Andres Charif Rubial
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
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
QIRAL: A High Level Language for Lattice QCD Code Generation. CoRR abs/1208.4035 (2012) - 2011
- [c26]Mitsuhisa Sato, Denis Barthou
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
High Performance Architectures and Compilers. Euro-Par (1) 2010: 254-255 - [c21]Pablo de Oliveira Castro
Reducing memory requirements of stream programs by graph transformations. HPCS 2010: 171-180 - [c20]Marouane Belaoucha, Denis Barthou
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
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
Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. COCOA 2009: 98-109 - [c18]Denis Barthou
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
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
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
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
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
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
On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). Euro-Par 2002: 309-313 - 2000
- [j2]Denis Barthou
Maximal Static Expansion. Int. J. Parallel Program. 28(3): 213-243 (2000)
1990 – 1999
- 1998
- [c4]Denis Barthou
Maximal Static Expansion. POPL 1998: 98-106 - 1997
- [j1]Denis Barthou
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
Applicaions of Fuzzy Array Dataflow Analysis. Euro-Par, Vol. I 1996: 424-427 - 1995
- [c1]Jean-Francois Collard, Denis Barthou
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 21:14 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: