| 2024 | CGO | 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, Cdric Bastoul |
| 2022 | EuroPar | Exploring Scheduling Algorithms for Parallel Task Graphs: A Modern Game Engine Case Study. | Mustapha Regragui, Baptiste Coye, Larcio Lima Pilla, Raymond Namyst, Denis Barthou |
| 2020 | SC | PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. | Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault |
| 2019 | EuroPar | Multi-valued Expression Analysis for Collective Checking. | Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault |
| 2018 | PPoPP | 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 Jgo |
| 2018 | SC | PARCOACH Extension for a Full-Interprocedural Collectives Verification. | Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault |
| 2018 | SBAC-PAD | Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. | Pierre Huchant, Denis Barthou, Marie Christine Counilh |
| 2017 | EuroPar | Rewriting System for Profile-Guided Data Layout Transformations on Binaries. | Christopher Haine, Olivier Aumage, Denis Barthou |
| 2016 | EuroPar | Automatic OpenCL Task Adaptation for Heterogeneous Architectures. | Pierre Huchant, Marie Christine Counilh, Denis Barthou |
| 2016 | PDP | Specific Read-Only Data Management for Memory System Optimization. | Gregory Vaumourin, Alexandre Guerre, Thomas Dombek, Denis Barthou |
| 2015 | EuroPar | MPI Thread-Level Checking for MPI+OpenMP Applications. | Emmanuelle Saillard, Patrick Carribault, Denis Barthou |
| 2015 | PPoPP | Static/Dynamic validation of MPI collective communications in multi-threaded context. | Emmanuelle Saillard, Patrick Carribault, Denis Barthou |
| 2014 | EuroPar | SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture. | Denis Barthou, Emmanuel Jeannot |
| 2014 | EuroPar | Toward OpenCL Automatic Multi-Device Support. | Sylvain Henry, Alexandre Denis, Denis Barthou, Marie Christine Counilh, Raymond Namyst |
| 2013 | CGO | Hydra: Automatic algorithm exploration from linear algebra equations. | Alexandre Duchateau, David A. Padua, Denis Barthou |
| 2013 | EuroPar | Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis. | Olivier Aumage, Denis Barthou, Christopher Haine, Tamara Meunier |
| 2013 | EuroPar | Topic 4: High-Performance Architectures and Compilers - (Introduction). | Denis Barthou, Wolfgang Karl, Ramon Doallo, Evelyn Duesterwald, Sami Yehia |
| 2013 | EuroPar | Dynamic Thread Pinning for Phase-Based OpenMP Programs. | Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Barthou |
| 2013 | HiPC | MIL: A language to build program analysis tools through static binary instrumentation. | Andres Charif Rubial, Denis Barthou, Cdric Valensi, Sameer Shende, Allen D. Malony, William Jalby |
| 2012 | HiPC | Automatic efficient data layout for multithreaded stencil codes on CPU sand GPUs. | Julien Jaeger, Denis Barthou |
| 2011 | EuroPar | Introduction. | Mitsuhisa Sato, Denis Barthou, Pedro C. Diniz, P. Saddayapan |
| 2010 | CISIS | A Multidimensional Array Slicing DSL for Stream Programming. | Pablo de Oliveira Castro, Stphane Louise, Denis Barthou |
| 2010 | CISIS | Study of Variations of Native Program Execution Times on Multi-Core Architectures. | Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Barthou |
| 2010 | EuroPar | High Performance Architectures and Compilers. | Pedro C. Diniz, Marco Danelutto, Denis Barthou, Marc Gonzales, Michael Hbner |
| 2009 | COCOA | Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. | Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, Albert Cohen |
| 2008 | SAC | Optimizing code through iterative specialization. | Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou |
| 2007 | CGO | Loop Optimization using Hierarchical Compilation and Kernel Decomposition. | Denis Barthou, Sbastien Donadio, Patrick Carribault, Alexandre Duchateau, William Jalby |
| 2007 | EuroPar | Compositional Approach Applied to Loop Specialization. | Lamia Djoudi, Jean-Thomas Acquaviva, Denis Barthou |
| 2005 | EuroPar | Deciding Where to Call Performance Libraries. | Christophe Alias, Denis Barthou |
| 2005 | GPCE | On Domain-Specific Languages Reengineering. | Christophe Alias, Denis Barthou |
| 2002 | EuroPar | On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). | Denis Barthou, Paul Feautrier, Xavier Redon |
| 1998 | POPL | Maximal Static Expansion. | Denis Barthou, Albert Cohen, Jean-Francois Collard |
| 1996 | EuroPar | Applicaions of Fuzzy Array Dataflow Analysis. | Denis Barthou, Jean-Francois Collard, Paul Feautrier |
| 1995 | PPoPP | Fuzzy Array Dataflow Analysis. | Jean-Francois Collard, Denis Barthou, Paul Feautrier |