[1] Scheduling Strategies for Partially-Replicable Task Chains on Two Types of Resources. Diane Orhan, Yacine Idouar, Laércio Lima Pilla, Adrien Cassagne, Denis Barthou, and Christophe Jego. In Heterogeneity in Computing Workshop (IPDPS workshop), Milan, Italy, June 4, 2025, 2025. To appear. [ bib ]

[2] Performance portability of generated simulation kernels through automatic dimensioning and load balancing on heterogeneous nodes. Vincent Alba, Olivier Aumage, Denis Barthou, Raphaël Colin, Marie-Christine Counilh, Stéphane Genaud, Amina Guermouche, Vincent Loechner, and Arun Thangamani. In Parallel and Distributed Scientific and Engineering Computing workshop. ieee, 2024. [ bib ]

[3] Recover Polyhedral Transformations From Polyhedral Scheduler. Nelson Lossing, Walid Astaoui, Gianpietro Consolaro, Harenome Razanajato, Zhen Zhang, and Denis Barthou. In 14th International Workshop on Polyhedral Compilation Techniques (IMPACT 2024, in conjunction with HiPEAC 2024), 2024. [ bib ]

[4] ParameTrick: Coefficient Generalization for Faster Polyhedral Scheduling. Gianpietro Consolaro, Harenome Razanajato, Nelson Lossing, Denis Barthou, Zhen Zhang, Corinne Ancourt, and Cédric Bastoul. In 14th International Workshop on Polyhedral Compilation Techniques (IMPACT 2024, in conjunction with HiPEAC 2024), 2024. [ bib ]

[5] 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, and Cédric Bastoul. In Tobias Grosser, Christophe Dubach, Michel Steuwer, Jingling Xue, Guilherme Ottoni, and Hernando Magno Quintão Pereira, editors, IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024, pages 28--40. IEEE, 2024. [ bib | DOI | http ]

[6] Static Local Concurrency Errors Detection in MPI-RMA Programs. Emmanuelle Saillard, Marc Sergent, Tassadit Célia Ait Kaci, and Denis Barthou. In Correctness 2022 - Sixth International Workshop on Software Correctness for HPC Applications, Dallas, United States, November 2022. [ bib | DOI | .pdf ]

[7] A comparison of multithreading, vectorization, and GPU computing for the acceleration of cardiac electrophysiology models. Chiheb Sakka, Amina Guermouche, Olivier Aumage, Emmanuelle Saillard, Mark Potse, Yves Coudière, and Denis Barthou. In Computing in Cardiology (CinC), Tampere, Finland, September 2022. [ bib | DOI ]

[8] Exploring scheduling algorithms for parallel task graphs: a modern game engine case study. Mustapha Regragui, Baptiste Coye, Laércio Lima Pilla, Raymond Namyst, and Denis Barthou. In International European Conference on Parallel and Distributed Computing (Euro-Par), Euro-Par 2022: Parallel Processing, pages 103--118, Glasgow, United Kingdom, August 2022. [ bib | DOI | .pdf ]

[9] FADAlib: an open source C++ library for fuzzy array dataflow analysis. Marouane Belaoucha, Christophe Alias, Denis Barthou, and Sid Touati, November 2021. [ bib ]

[10] Dynamic Data Race Detection for MPI-RMA Programs. Tassadit Célia Aitkaci, Marc Sergent, Emmanuelle Saillard, Denis Barthou, and Guillaume Papauré. In EuroMPI 2021 - European MPI Users's Group Meeting, Munich, Germany, September 2021. [ bib | .pdf ]

[11] A Flexible and Portable Real-time DVB-S2 Transceiver using Multicore and SIMD CPUs. Adrien Cassagne, Mathieu Leonardon, Romain Tajan, Camille Leroux, Christophe Jégo, Olivier Aumage, and Denis Barthou. In The 11th IEEE International Symposium on Topics in Coding (ISTC 2021), Montréal, Canada, August 2021. [ bib | DOI | .pdf ]

[12] PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. Van-Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, and Patrick Carribault. In Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, Atlanta / Virtual, United States, November 2020. [ bib | DOI | .pdf ]

[13] Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution. Mark Potse, Emmanuelle Saillard, Denis Barthou, and Yves Coudière. In CinC 2020 - Computing in Cardiology, Rimini / Virtual, Italy, September 2020. [ bib | DOI | .pdf ]

[14] Automatic Code Motion to Extend MPI Nonblocking Overlap Window. Van-Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, and Patrick Carribault. In C3PO'20 Workshop - First Workshop on Compiler-Assisted Correctness Checking and Performance Optimization for HPC, volume 12321 of High Performance Computing: Part of the Lecture Notes in Computer Science book series (LNCS), pages 43--54, Frankfurt / Virtual, Germany, June 2020. Springer. Online ISBN : 978-3-030-59851-8; Series Online ISSN 1611-3349. [ bib | DOI | .pdf ]

[15] Multi-Valued Expression Analysis for Collective Checking. Pierre Huchant, Emmanuelle Saillard, Denis Barthou, and Patrick Carribault. In EuroPar, Göttingen, Germany, August 2019. [ bib | .pdf ]

[16] PARCOACH Extension for a Full-Interprocedural Collectives Verification. Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, and Patrick Carribault. In Second International Workshop on Software Correctness for HPC Applications, Dallas, United States, November 2018. [ bib | DOI ]

[17] Profile-Guided Scope-Based Data Allocation Method. Hugo Brunie, Julien Jaeger, Patrick Carribault, and Denis Barthou. In MEMSYS 2018 - International Symposium on Memory Systems, Alexandria, United States, October 2018. [ bib | DOI | .pdf ]

[18] Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. Pierre Huchant, Denis Barthou, and Marie-Christine Counilh. In SBAC-PAD - 30th International Symposium on Computer Architecture and High Performance Computing, Lyon, France, September 2018. [ bib | DOI | .pdf ]

[19] MIPP: a Portable C++ SIMD Wrapper and its use for Error Correction Coding in 5G Standard. Adrien Cassagne, Olivier Aumage, Denis Barthou, Camille Leroux, and Christophe Jego. In The 4th Workshop on Programming Models for SIMD/Vector Processing (WPMVP 2018), Vienna, Austria, February 2018. ACM Press. [ bib | DOI | .pdf ]

[20] Fast Simulation and Prototyping with AFF3CT. Adrien Cassagne, Olivier Hartmann, Mathieu Leonardon, Thibaud Tonnellier, Guillaume Delbergue, Camille Leroux, Romain Tajan, Bertrand Le Gal, Christophe Jego, Olivier Aumage, and Denis Barthou. In The 20th International Workshop on Signal Processing Systems (SiPS 2017), Lorient, France, October 2017. [ bib | DOI | .pdf ]

[21] Rewriting System for Profile-Guided Data Layout Transformations on Binaries. Olivier Aumage, Christopher Haine, and Denis Barthou. In Int. European Conference on Parallel and Distributed Computing, Parallel Processing, pages 260--272, Santiago de Compostela, Spain, August 2017. https://europar2017.usc.es/, Springer. [ bib | DOI | .pdf ]

[22] Beyond Gbps Turbo Decoder on Multi-Core CPUs. Adrien Cassagne, Thibaud Tonnellier, Camille Leroux, Bertrand Le Gal, Olivier Aumage, and Denis Barthou. In The 10th International Symposium on Turbo Codes and Iterative Information Processing (ISTC 2016), Turbo Codes and Iterative Information Processing, Brest, France, September 2016. [ bib | DOI | .pdf ]

[23] Automatic OpenCL Task Adaptation for Heterogeneous Architectures. Pierre Huchant, Marie-Christine Counilh, and Denis Barthou. In Euro-Par, Euro-Par 2016: Parallel Processing, pages 684 -- 696, Grenoble, France, August 2016. [ bib | DOI | .pdf ]

[24] Energy Consumption Analysis of Software Polar Decoders on Low Power Processors. Adrien Cassagne, Olivier Aumage, Camille Leroux, Denis Barthou, and Bertrand Le Gal, August 2016. [ bib | DOI | .pdf ]

[25] A Stencil DSEL for Single Code Accelerated Computing with SYCL. Olivier Aumage, Denis Barthou, and Alexandre Honorat. In SYCL 2016 1st SYCL Programming Workshop during the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Barcelone, Spain, March 2016. [ bib | .pdf ]

[26] Specific Read-Only Data Management for Memory System Optimization. Grégory Vaumourin, Guerre Alexandre, Dombek Thomas, and Denis Barthou. In 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), pages 337--340, 2016. [ bib | DOI ]

[27] An Efficient, Portable and Generic Library for Successive Cancellation Decoding of Polar Codes. Adrien Cassagne, Bertrand Le Gal, Camille Leroux, Olivier Aumage, and Denis Barthou. In The 28th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2015), Raleigh, United States, September 2015. [ bib | DOI | .pdf ]

[28] Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. In European MPI Users' Group Meeting , EuroMPI '15 The 22nd European MPI Users' Group Meeting, Bordeaux, France, September 2015. [ bib | DOI | .pdf ]

[29] PARCOACH Extension for Hybrid Applications with Interprocedural Analysis. Emmanuelle Saillard, Hugo Brunie, Patrick Carribault, and Denis Barthou. In 9th International Workshop on Parallel Tools for High Performance Computing, pages 135 -- 146, Dresden, Germany, September 2015. [ bib | DOI | .pdf ]

[30] MPI Thread-Level Checking for MPI+OpenMP Applications. Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. In Euro-Par 2015, volume 9233 of Lecture Notes in Computer Science, pages 31--42, Vienne, Austria, August 2015. [ bib | DOI | .pdf ]

[31] Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context. Emmanuelle Saillard, Patrick Carribault Cea, and Denis Barthou. In the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, volume 50, pages 279--280, San Francisco, United States, February 2015. [ bib | DOI | .pdf ]

[32] Exploring and Evaluating Array Layout Restructuring for SIMDization. Christopher Haine, Olivier Aumage, Enguerrand Petit, and Denis Barthou. In James Brodman and Peng Tu, editors, Languages and Compilers for Parallel Computing, pages 351--366, Cham, 2015. Springer International Publishing. [ bib | DOI | .pdf ]

[33] Specific Read Only Data Management for Memory Hierarchy Optimization. Gregory Vaumourin, Dombek Thomas, Guerre Alexandre, and Denis Barthou. In Jalil Boukhobza, Jean Philippe Diguet, Pierre Ficheux, José Rufino, and Frank Singhoff, editors, EWiLi 2014 - Workshop Embed With Linux, volume 1291 of Proceedings of the Embed With Linux 2014 Workshop, page Session 2, Lisboa, Portugal, November 2014. [ bib | .pdf ]

[34] Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. In IWOMP, pages 73 -- 86, Salvador, Brazil, September 2014. [ bib | DOI | .pdf ]

[35] SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture. Denis Barthou and Emmanuel Jeannot. In Euro-Par, volume 8632 of LNCS, pages 174 -- 185, Lisboa, Portugal, August 2014. [ bib | DOI | .pdf ]

[36] Toward OpenCL Automatic Multi-Device Support. Sylvain Henry, Alexandre Denis, Denis Barthou, Marie-Christine Counilh, and Raymond Namyst. In Fernando Silva, Ines Dutra, and Vitor Santos Costa, editors, Euro-Par 2014, Porto, Portugal, August 2014. Springer. [ bib | DOI | .pdf ]

[37] A Benchmark-based Performance Model for Memory-bound HPC Applications. Bertrand Putigny, Brice Goglin, and Denis Barthou. In International Conference on High Performance Computing & Simulation (HPCS 2014), Bologna, Italy, July 2014. IEEE. [ bib | DOI | .pdf ]

[38] Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis. Olivier Aumage, Denis Barthou, Christopher Haine, and Tamara Meunier. In Dieter an Mey, Michael Alexander, Paolo Bientinesi, Mario Cannataro, Carsten Clauss, Alexandru Costan, Gabor Kecskemeti, Christine Morin, Laura Ricci, Julio Sahuquillo, Martin Schulz, Vittorio Scarano, Stephen L. Scott, and Josef Weidendorfer, editors, Euro-Par 2013: Parallel Processing Workshops, pages 637--646, Berlin, Heidelberg, 2014. Springer Berlin Heidelberg. [ bib | DOI ]

[39] MIL : A language to build program analysis tools through static binary instrumentation. Andres Charif-Rubial, Denis Barthou, Cédric Valensi, Shende Sameer, Allen Malony, and William Jalby. In High Performance Computing, pages pp. 206--215, India, December 2013. [ bib | DOI ]

[40] Combining Static and Dynamic Validation of MPI Collective Communication. Emmanuelle Saillard, Patrick Carribault, and Denis Barthou. In EuroMPI 2013 - 20th European MPI Users' Group Meeting, pages 117--122, Madrid, Spain, September 2013. [ bib | DOI | .pdf ]

[41] Dynamic Thread Pinning for Phase-Based OpenMP Programs. Abdelhafid Mazouz, Sid Touati, and Denis Barthou. In Wolf, Felix, Mohr, Bernd, an Mey, and Dieter, editors, The Euro-Par 2013 conference, volume 8097 of Lecture Notes in Computer Science, pages 53--64, Aachen, Germany, August 2013. Springer. F. Wolf, B. Mohr, and D. an Ney (Eds.), pages 12, pp. 53-64. [ bib | DOI | .pdf ]

[42] Automated Code Generation for Lattice Quantum Chromodynamics and beyond. Denis Barthou, Olivier Brand-Foissac, Olivier Pène, Gilbert Grosdidier, Romain Dolbeau, Christine Eisenbeis, Michael Kruse, Konstantin Petrov, and Claude Tadonki. In 25th IUPAP Conference on Computational Physics (CCP2013), volume 510, page 012005, Moscow, Russia, August 2013. IOP. LPT-Orsay-14-142. [ bib | DOI | .pdf ]

[43] Hydra: Automatic algorithm exploration from linear algebra equations. Alexandre Duchâteau, David A. Padua, and Denis Barthou. In Code Generation and Optimization, pages pp.1--10, Shenzhen, China, February 2013. [ bib | DOI ]

[44] Topic 4: High-Performance Architectures and Compilers - (Introduction). Denis Barthou, Wolfgang Karl, Ramon Doallo, Evelyn Duesterwald, and Sami Yehia. In Felix Wolf, Bernd Mohr, and Dieter an Mey, editors, Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, volume 8097 of Lecture Notes in Computer Science, pages 162--163. Springer, 2013. [ bib | DOI ]

[45] Automatic efficient data layout for multithreaded stencil codes on CPUs and GPUs. Julien Jaeger and Denis Barthou. In High Performance Computing conference, pages 1--10, India, December 2012. [ bib | .pdf ]

[46] QIRAL: A High Level Language for Lattice QCD Code Generation. Denis Barthou, Gilbert Grosdidier, Michael Kruse, Olivier Pène, and Claude Tadonki. In Electronic Proceedings in Theoretical Computer Science, editor, ETAPS 2012, pages 37--43, Tallin, Estonia, March 2012. [ bib | DOI | .pdf ]

[47] Modélisation du coût de la cohérence de cache pour améliorer le tuilage de boucles. Bertrand Putigny, Denis Barthou, and Brice Goglin. In Quatrièmes rencontres de la communauté française de compilation, Saint-Hippolyte, France, December 2011. Inria Nancy - Grand Est. [ bib ]

[48] Performance modeling for power consumption reduction on SCC. Bertrand Putigny, Brice Goglin, and Denis Barthou. In Hasso Plattner Institute at University of Potsdam, editor, 4th Many-core Applications Research Community (MARC) Symposium, Potsdam, Germany, December 2011. [ bib | .pdf ]

[49] Performance evaluation and analysis of thread pinning strategies on multi-core platforms: Case study of SPEC OMP applications on intel architectures. Abdelhafid Mazouz, Sid Touati, and Denis Barthou. In High Performance Computing and Simulation (HPCS), pages 273 --279, Istanbul, Turkey, July 2011. IEEE. [ bib | DOI | .pdf ]

[50] Reducing Memory Requirements of Stream Programs by Graph Transformations. Pablo de Oliveira Castro, Stéphane Louise, and Denis Barthou. In International IEEE Conference on High Performance Computing and Simulation, pages p171--180, Caen, France, June 2011. [ bib | DOI | .pdf ]

[51] Analysing the Variability of OpenMP Programs Performances on Multicore Architectures. Abdelhafid Mazouz, Sid Touati, and Denis Barthou. In Fourth Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2011), page 14, Heraklion, Greece, January 2011. Held in conjunction with: the 6th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC). [ bib | .pdf ]

[52] Automatic Mapping of Stream Programs on Multicore Architectures. Pablo de Oliveira Castro, Stéphane Louise, and Denis Barthou. In International Workshop on Compilers for Parallel Computers, Vienna, Austria, July 2010. [ bib | .pdf ]

[53] Study of Variations of Native Program Execution Times on Multi-Core Architectures. Abdelhafid Mazouz, Sid Touati, and Denis Barthou. In International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010), pages 919--924, Cracovie, Poland, February 2010. IEEE. [ bib | DOI | .pdf ]

[54] A multidimensional array slicing DSL for Stream Programming. Pablo de Oliveira Castro, Stéphane Louise, and Denis Barthou. In International IEEE Workshop on Practical Aspects of High-Level Parallel Programming, pages p913--918, Krakow, Poland, February 2010. [ bib | DOI | .pdf ]

[55] Performance Tuning of x86 OpenMP Codes with MAQAO. Denis Barthou, Andres Charif Rubial, William Jalby, Souad Koliai, and Cédric Valensi. In Matthias S. Müller, Michael M. Resch, Alexander Schulz, and Wolfgang E. Nagel, editors, Tools for High Performance Computing 2009, pages 95--113, Berlin, Heidelberg, 2010. Springer Berlin Heidelberg. [ bib ]

[56] High Performance Architectures and Compilers. Pedro C. Diniz, Marco Danelutto, Denis Barthou, Marc Gonzales, and Michael Hübner. In Pasqua D'Ambra, Mario Guarracino, and Domenico Talia, editors, Euro-Par 2010 - Parallel Processing, pages 254--255, Berlin, Heidelberg, 2010. Springer Berlin Heidelberg. [ bib ]

[57] FADAlib: an open source C++ library for fuzzy array dataflow analysis. Marouane Belaoucha, Denis Barthou, Adrien Eliche, and Sid Ahmed Ali Touati. In Peter M. A. Sloot, G. Dick van Albada, and Jack J. Dongarra, editors, Proceedings of the International Conference on Computational Science, ICCS 2010, University of Amsterdam, The Netherlands, May 31 - June 2, 2010, volume 1 of Procedia Computer Science, pages 2075--2084. Elsevier, 2010. [ bib | DOI ]

[58] Computing the transitive closure of a union of affine integer tuple relations. Anna Beletska, Denis Barthou, Wlodzirmierz Bielecki, and Albert Cohen. In Conference on Combinatorial Optimization and Applications, volume 5573, pages p98--109, Huangshan, China, June 2009. [ bib | .pdf ]

[59] Parallel expression template for large vectors. Laurent Plagne, Frank Hülsemann, Denis Barthou, and Julien Jaeger. In Proceedings of the 8th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, POOSC '09, New York, NY, USA, 2009. Association for Computing Machinery. [ bib | DOI ]

[60] Combining Experimental Search and Performance Model for Adaptive Optimization. Julien Jaeger and Denis Barthou. In Hipeac Workshop on Statistical and Machine Learning Approaches to Architectures and compilation, January 2009. [ bib ]

[61] An Effective Automated Approach to Specialization of Code. Minhaj Ahmad Khan, H. Charles, and Denis Barthou. In LCPC workshop, volume 5234, pages 308--322, August 2008. [ bib | DOI ]

[62] Optimizing code through iterative specialization. Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou. In Roger L. Wainwright and Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pages 206--210. ACM, 2008. [ bib | DOI ]

[63] The Design and Architecture of MAQAO Profile: an Instrumentation MAQAO Module. Lamia Djoudi, Denis Barthou, Olivier Tomaz, Andres Charif-Rubial, Jean-Thomas Acquaviva, and William Jalby. In Sixth Workshop on Explicitly Parallel Instruction Computing Architectures and Compiler Technology (EPIC-6) March 11, 2007 In conjunction with the IEEE/ACM International Symposium on Code Generation and Optimization, San Jose, CA, page 13, United States, 2007. IEEE. [ bib ]

[64] Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization. Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou. In 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007), pages 415--415, 2007. [ bib | DOI ]

[65] Compositional Approach Applied to Loop Specialization. Lamia Djoudi, Jean-Thomas Acquaviva, and Denis Barthou. In Anne-Marie Kermarrec, Luc Bougé, and Thierry Priol, editors, Euro-Par 2007 Parallel Processing, pages 268--279, Berlin, Heidelberg, 2007. Springer Berlin Heidelberg. [ bib ]

[66] An Effective Automated Approach to Specialization of Code. Minhaj Ahmad Khan, Henri-Pierre Charles, and Denis Barthou. In Vikram S. Adve, María Jesús Garzarán, and Paul Petersen, editors, Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers, volume 5234 of Lecture Notes in Computer Science, pages 308--322. Springer, 2007. [ bib | DOI ]

[67] On the Decidability of Phase Ordering Problem in Optimizing Compilation. Denis Barthou and Sid Touati. In ACM International Conference on Computing Frontiers, pages 147--156, Ischia, Italy, May 2006. ACM. [ bib | DOI | .pdf ]

[68] Iterative Compilation with Kernel Exploration. D. Barthou, S. Donadio, A. Duchateau, W. Jalby, and E. Courtois. In George Almási, Călin Cascaval, and Peng Wu, editors, Languages and Compilers for Parallel Computing, pages 173--189, Berlin, Heidelberg, 2006. Springer Berlin Heidelberg. [ bib ]

[69] Exploring Application Performance: a New Tool For a Static/Dynamic Approach. Lamia Djoudi, Denis Barthou, Patrick Carribault, Christophe Lemuet, Jean-Thomas Acquaviva, and William Jalby. In Los Alamos Computer Science Institute Symp., Santa Fe, NM, October 2005. [ bib ]

[70] MAQAO: Modular Assembler Quality Analyzer and Optimizer for Itanium 2. Lamia Djoudi, Denis Barthou, Patrick Carribault, Christophe Lemuet, Jean-Thomas Acquaviva, and William Jalby. In Workshop on Explicitly Parallel Instruction Computing Techniques, Santa Jose, California, March 2005. [ bib ]

[71] On Domain-Specific Languages Reengineering. Christophe Alias and Denis Barthou. In Robert Glück and Michael R. Lowry, editors, Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings, volume 3676 of Lecture Notes in Computer Science, pages 63--77. Springer, 2005. [ bib | DOI ]

[72] Deciding Where to Call Performance Libraries. Christophe Alias and Denis Barthou. In José C. Cunha and Pedro D. Medeiros, editors, Euro-Par 2005 Parallel Processing, pages 336--345, Berlin, Heidelberg, 2005. Springer Berlin Heidelberg. [ bib ]

[73] A Language for the Compact Representation of Multiple Program Versions. Sébastien Donadio, James C. Brodman, Thomas Roeder, Kamen Yotov, Denis Barthou, Albert Cohen, María Jesús Garzarán, David A. Padua, and Keshav Pingali. In Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, and P. Sadayappan, editors, Languages and Compilers for Parallel Computing, 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers, volume 4339 of Lecture Notes in Computer Science, pages 136--151. Springer, 2005. [ bib | DOI ]

[74] Algorithm Recognition based on Demand-Driven Dataflow Analysis. Christophe Alias and Denis Barthou. In 10th Working Conference on Reverse Engineering (WCRE 2003), Victoria, Canada, November 2003. [ bib | .pdf ]

[75] On the Recognition of Algorithm Templates. Christophe Alias and Denis Barthou. In Jens Knoop and Wolf Zimmermann, editors, Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, volume 82 of Electronic Notes in Theoretical Computer Science, pages 395--409. Elsevier, 2003. [ bib | DOI ]

[76] On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). Denis Barthou, Paul Feautrier, and Xavier Redon. In Burkhard Monien and Rainer Feldmann, editors, Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, volume 2400 of Lecture Notes in Computer Science, pages 309--313. Springer, 2002. [ bib | DOI ]

[77] Maximal Static Expansion. Denis Barthou, Albert Cohen, and Jean-François Collard. In Symp. on Principles of Programming Languages (POPL), pages 98--106, San Diego, California, United States, January 1998. [ bib | .pdf ]

[78] Automatic data mapping of signal processing applications. Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, and Juliette Mattioli. In 1997 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '97), 14-16 July 1997, Zurich, Switzerland, page 350. IEEE Computer Society, 1997. [ bib | DOI ]

[79] Applications of Fuzzy Array Dataflow Analysis. Denis Barthou, Jean-Francois Collard, and Paul Feautrier. In Luc Bougé, Pierre Fraigniaud, Anne Mignotte, and Yves Robert, editors, Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, volume 1123 of Lecture Notes in Computer Science, pages 424--427. Springer, 1996. [ bib | DOI ]

[80] Fuzzy Array Dataflow Analysis. Jean-Francois Collard, Denis Barthou, and Paul Feautrier. In Jeanne Ferrante, David A. Padua, and Richard L. Wexelblat, editors, Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Santa Barbara, California, USA, July 19-21, 1995, pages 92--101. ACM, 1995. [ bib | DOI ]

[81] Allocating Communication Channels to Parallel Tasks. Denis Barthou, Franco Gasperoni, and Uwe Schwiegelshohn. In Intl. Workshop on Environments and Tools for Parallel Scientific Computing, volume 6, pages 275--291, St Hilaire du Touvet, September 1993. Advances in Parallel Computing. [ bib | .pdf ]