generated by bibbase.org
  2024 (3)
PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler. Consolaro, G.; Zhang, Z.; Razanajato, H.; Lossing, N.; Tchoulak, N.; Susungi, A.; Alves, A. C. A.; Zhang, R.; Barthou, D.; Ancourt, C.; and Bastoul, C. In Grosser, T.; Dubach, C.; Steuwer, M.; Xue, J.; Ottoni, G.; and Pereira, e. M. Q., editor(s), IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024, pages 28–40, 2024. IEEE
PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler [link]Paper   doi   link   bibtex  
Performance Portability of Generated Cardiac Simulation Kernels Through Automatic Dimensioning and Load Balancing on Heterogeneous Nodes. Alba, V.; Aumage, O.; Barthou, D.; Colin, R.; Counilh, M. C.; Genaud, S.; Guermouche, A.; Loechner, V.; and Thangamani, A. In IEEE International Parallel and Distributed Processing Symposium, IPDPS 2024 - Workshop, San Francisco, CA, USA, May 27-31, 2024, pages 1006–1015, 2024. IEEE
Performance Portability of Generated Cardiac Simulation Kernels Through Automatic Dimensioning and Load Balancing on Heterogeneous Nodes [link]Paper   doi   link   bibtex  
PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler. Consolaro, G.; Zhang, Z.; Razanajato, H.; Lossing, N.; Tchoulak, N.; Susungi, A.; Alves, A. C. A.; Zhang, R.; Barthou, D.; Ancourt, C.; and Bastoul, C. CoRR, abs/2401.06665. 2024.
PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler [link]Paper   doi   link   bibtex  
  2023 (1)
A DSEL for high throughput and low latency software-defined radio on multicore CPUs. Cassagne, A.; Tajan, R.; Aumage, O.; Leroux, C.; Barthou, D.; and Jégo, C. Concurr. Comput. Pract. Exp., 35(23). 2023.
A DSEL for high throughput and low latency software-defined radio on multicore CPUs [link]Paper   doi   link   bibtex  
  2022 (6)
SimSGamE : Scheduling simulator for modern game engines. Regragui, M.; Coye, B.; Pilla, L. L.; Namyst, R.; and Barthou, D. J. Open Source Softw., 7(77): 4592. 2022.
SimSGamE : Scheduling simulator for modern game engines [link]Paper   doi   link   bibtex  
MPI detach - Towards automatic asynchronous local completion. Protze, J.; Hermanns, M.; Müller, M. S.; Nguyen, V. M.; Jaeger, J.; Saillard, E.; Carribault, P.; and Barthou, D. Parallel Comput., 109: 102859. 2022.
MPI detach - Towards automatic asynchronous local completion [link]Paper   doi   link   bibtex  
A Comparison of Multithreading, Vectorization, and GPU Computing for the Acceleration of Cardiac Electrophysiology Models. Sakka, C.; Guermouche, A.; Aumage, O.; Saillard, E.; Potse, M.; Coudière, Y.; and Barthou, D. In Computing in Cardiology, CinC 2022, Tampere, Finland, September 4-7, 2022, pages 1–4, 2022. IEEE
A Comparison of Multithreading, Vectorization, and GPU Computing for the Acceleration of Cardiac Electrophysiology Models [link]Paper   doi   link   bibtex  
Static Local Concurrency Errors Detection in MPI-RMA Programs. Saillard, E.; Sergent, M.; Kaci, C. T. A.; and Barthou, D. In Laguna, I.; and Rubio-González, C., editor(s), Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022, pages 18–26, 2022. IEEE
Static Local Concurrency Errors Detection in MPI-RMA Programs [link]Paper   doi   link   bibtex  
Exploring Scheduling Algorithms for Parallel Task Graphs: A Modern Game Engine Case Study. Regragui, M.; Coye, B.; Pilla, L. L.; Namyst, R.; and Barthou, D. In Cano, J.; and Trinder, P., editor(s), Euro-Par 2022: Parallel Processing - 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings, volume 13440, of Lecture Notes in Computer Science, pages 103–118, 2022. Springer
Exploring Scheduling Algorithms for Parallel Task Graphs: A Modern Game Engine Case Study [link]Paper   doi   link   bibtex  
A DSEL for High Throughput and Low Latency Software-Defined Radio on Multicore CPUs. Cassagne, A.; Tajan, R.; Aumage, O.; Leroux, C.; Barthou, D.; and Jégo, C. CoRR, abs/2206.06147. 2022.
A DSEL for High Throughput and Low Latency Software-Defined Radio on Multicore CPUs [link]Paper   doi   link   bibtex  
  2021 (1)
A Flexible and Portable Real-time DVB-S2 Transceiver using Multicore and SIMD CPUs. Cassagne, A.; Léonardon, M.; Tajan, R.; Leroux, C.; Jégo, C.; Aumage, O.; and Barthou, D. In 11th International Symposium on Topics in Coding, ISTC 2021, Montreal, QC, Canada, August 30 - Sept. 3, 2021, pages 1–5, 2021. IEEE
A Flexible and Portable Real-time DVB-S2 Transceiver using Multicore and SIMD CPUs [link]Paper   doi   link   bibtex   6 downloads  
  2020 (3)
Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution. Potse, M.; Saillard, E.; Barthou, D.; and Coudière, Y. In Computing in Cardiology, CinC 2020, Rimini, Italy, September 13-16, 2020, pages 1–4, 2020. IEEE
Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution [link]Paper   doi   link   bibtex  
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. Nguyen, V. M.; Saillard, E.; Jaeger, J.; Barthou, D.; and Carribault, P. In Laguna, I.; and Rubio-González, C., editor(s), 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020, pages 31–39, 2020. IEEE
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation [link]Paper   doi   link   bibtex  
Automatic Code Motion to Extend MPI Nonblocking Overlap Window. Nguyen, V. M.; Saillard, E.; Jaeger, J.; Barthou, D.; and Carribault, P. In Jagode, H.; Anzt, H.; Juckeland, G.; and Ltaief, H., editor(s), High Performance Computing - ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020, Revised Selected Papers, volume 12321, of Lecture Notes in Computer Science, pages 43–54, 2020. Springer
Automatic Code Motion to Extend MPI Nonblocking Overlap Window [link]Paper   doi   link   bibtex  
  2019 (2)
AFF3CT: A Fast Forward Error Correction Toolbox!. Cassagne, A.; Hartmann, O.; Léonardon, M.; He, K.; Leroux, C.; Tajan, R.; Aumage, O.; Barthou, D.; Tonnellier, T.; Pignoly, V.; Gal, B. L.; and Jégo, C. SoftwareX, 10: 100345. 2019.
AFF3CT: A Fast Forward Error Correction Toolbox! [link]Paper   doi   link   bibtex   7 downloads  
Multi-valued Expression Analysis for Collective Checking. Huchant, P.; Saillard, E.; Barthou, D.; and Carribault, P. In Yahyapour, R., editor(s), Euro-Par 2019: Parallel Processing - 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings, volume 11725, of Lecture Notes in Computer Science, pages 29–43, 2019. Springer
Multi-valued Expression Analysis for Collective Checking [link]Paper   doi   link   bibtex   1 download  
  2018 (4)
Profile-guided scope-based data allocation method. Brunie, H.; Jaeger, J.; Carribault, P.; and Barthou, D. In Jacob, B. L., editor(s), Proceedings of the International Symposium on Memory Systems, MEMSYS 2018, Old Town Alexandria, VA, USA, October 01-04, 2018, pages 169–182, 2018. ACM
Profile-guided scope-based data allocation method [link]Paper   doi   link   bibtex  
MIPP: a Portable C++ SIMD Wrapper and its use for Error Correction Coding in 5G Standard. Cassagne, A.; Aumage, O.; Barthou, D.; Leroux, C.; and Jégo, C. In Eitzinger, J.; and Brodman, J. C., editor(s), Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, WPMVP@PPoPP 2018, Vienna, Austria, February 24, 2018, pages 2:1–2:8, 2018. ACM
MIPP: a Portable C++ SIMD Wrapper and its use for Error Correction Coding in 5G Standard [link]Paper   doi   link   bibtex   2 downloads  
Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels. Huchant, P.; Barthou, D.; and Counilh, M. C. In 30th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2018, Lyon, France, September 24-27, 2018, pages 262–265, 2018. IEEE
Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels [link]Paper   doi   link   bibtex  
PARCOACH Extension for a Full-Interprocedural Collectives Verification. Huchant, P.; Saillard, E.; Barthou, D.; Brunie, H.; and Carribault, P. In Laguna, I.; and Rubio-González, C., editor(s), 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pages 69–76, 2018. IEEE
PARCOACH Extension for a Full-Interprocedural Collectives Verification [link]Paper   doi   link   bibtex  
  2017 (1)
Rewriting System for Profile-Guided Data Layout Transformations on Binaries. Haine, C.; Aumage, O.; and Barthou, D. In Rivera, F. F.; Pena, T. F.; and Cabaleiro, J. C., editor(s), Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings, volume 10417, of Lecture Notes in Computer Science, pages 260–272, 2017. Springer
Rewriting System for Profile-Guided Data Layout Transformations on Binaries [link]Paper   doi   link   bibtex  
  2016 (4)
Automatic OpenCL Task Adaptation for Heterogeneous Architectures. Huchant, P.; Counilh, M. C.; and Barthou, D. In Dutot, P.; and Trystram, D., editor(s), Euro-Par 2016: Parallel Processing - 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings, volume 9833, of Lecture Notes in Computer Science, pages 684–696, 2016. Springer
Automatic OpenCL Task Adaptation for Heterogeneous Architectures [link]Paper   doi   link   bibtex  
Energy consumption analysis of software polar decoders on low power processors. Cassagne, A.; Aumage, O.; Leroux, C.; Barthou, D.; and Gal, B. L. In 24th European Signal Processing Conference, EUSIPCO 2016, Budapest, Hungary, August 29 - September 2, 2016, pages 642–646, 2016. IEEE
Energy consumption analysis of software polar decoders on low power processors [link]Paper   doi   link   bibtex  
Beyond Gbps Turbo decoder on multi-core CPUs. Cassagne, A.; Tonnellier, T.; Leroux, C.; Gal, B. L.; Aumage, O.; and Barthou, D. In 9th International Symposium on Turbo Codes and Iterative Information Processing, ISTC 2016, Brest, France, September 5-9, 2016, pages 136–140, 2016. IEEE
Beyond Gbps Turbo decoder on multi-core CPUs [link]Paper   doi   link   bibtex  
Specific Read-Only Data Management for Memory System Optimization. Vaumourin, G.; Guerre, A.; Dombek, T.; and Barthou, D. In 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016, pages 337–340, 2016. IEEE Computer Society
Specific Read-Only Data Management for Memory System Optimization [link]Paper   doi   link   bibtex  
  2015 (4)
MPI Thread-Level Checking for MPI+OpenMP Applications. Saillard, E.; Carribault, P.; and Barthou, D. In Träff, J. L.; Hunold, S.; and Versaci, F., editor(s), Euro-Par 2015: Parallel Processing - 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings, volume 9233, of Lecture Notes in Computer Science, pages 31–42, 2015. Springer
MPI Thread-Level Checking for MPI+OpenMP Applications [link]Paper   doi   link   bibtex  
An Efficient, Portable and Generic Library for Successive Cancellation Decoding of Polar Codes. Cassagne, A.; Gal, B. L.; Leroux, C.; Aumage, O.; and Barthou, D. In Shen, X.; Mueller, F.; and Tuck, J., editor(s), Languages and Compilers for Parallel Computing - 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers, volume 9519, of Lecture Notes in Computer Science, pages 303–317, 2015. Springer
An Efficient, Portable and Generic Library for Successive Cancellation Decoding of Polar Codes [link]Paper   doi   link   bibtex  
Static/Dynamic validation of MPI collective communications in multi-threaded context. Saillard, E.; Carribault, P.; and Barthou, D. In Cohen, A.; and Grove, D., editor(s), Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA, February 7-11, 2015, pages 279–280, 2015. ACM
Static/Dynamic validation of MPI collective communications in multi-threaded context [link]Paper   doi   link   bibtex  
Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. Jaeger, J.; Saillard, E.; Carribault, P.; and Barthou, D. In Dongarra, J. J.; Denis, A.; Goglin, B.; Jeannot, E.; and Mercier, G., editor(s), Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France, September 21-23, 2015, pages 16:1–16:2, 2015. ACM
Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH [link]Paper   doi   link   bibtex  
  2014 (9)
PARCOACH: Combining static and dynamic validation of MPI collective communications. Saillard, E.; Carribault, P.; and Barthou, D. Int. J. High Perform. Comput. Appl., 28(4): 425–434. 2014.
PARCOACH: Combining static and dynamic validation of MPI collective communications [link]Paper   doi   link   bibtex  
Specific read only data management for memory hierarchy optimization. Vaumourin, G.; Dombek, T.; Guerre, A.; and Barthou, D. SIGBED Rev., 11(4): 55–60. 2014.
Specific read only data management for memory hierarchy optimization [link]Paper   doi   link   bibtex  
SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture. Barthou, D.; and Jeannot, E. In Silva, F. M. A.; de Castro Dutra, I.; and Costa, V. S., editor(s), Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings, volume 8632, of Lecture Notes in Computer Science, pages 174–185, 2014. Springer
SPAGHETtI: Scheduling/Placement Approach for Task-Graphs on HETerogeneous archItecture [link]Paper   doi   link   bibtex  
Toward OpenCL Automatic Multi-Device Support. Henry, S.; Denis, A.; Barthou, D.; Counilh, M. C.; and Namyst, R. In Silva, F. M. A.; de Castro Dutra, I.; and Costa, V. S., editor(s), Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings, volume 8632, of Lecture Notes in Computer Science, pages 776–787, 2014. Springer
Toward OpenCL Automatic Multi-Device Support [link]Paper   doi   link   bibtex  
Specific Read Only Data Management for Memory Hierarchy Optimization. Vaumourin, G.; Dombek, T.; Guerre, A.; and Barthou, D. In Boukhobza, J.; Diguet, J.; Ficheux, P.; Rufino, J.; and Singhoff, F., editor(s), Proceedings of the Embed With Linux 2014 Workshop, Lisboa, Portugal, November 13-14, 2014, volume 1291, of CEUR Workshop Proceedings, 2014. CEUR-WS.org
Specific Read Only Data Management for Memory Hierarchy Optimization [pdf]Paper   link   bibtex  
A benchmark-based performance model for memory-bound HPC applications. Putigny, B.; Goglin, B.; and Barthou, D. In International Conference on High Performance Computing & Simulation, HPCS 2014, Bologna, Italy, 21-25 July, 2014, pages 943–950, 2014. IEEE
A benchmark-based performance model for memory-bound HPC applications [link]Paper   doi   link   bibtex  
Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. Saillard, E.; Carribault, P.; and Barthou, D. In DeRose, L.; de Supinski, B. R.; Olivier, S. L.; Chapman, B. M.; and Müller, M. S., editor(s), Using and Improving OpenMP for Devices, Tasks, and More - 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings, volume 8766, of Lecture Notes in Computer Science, pages 73–86, 2014. Springer
Static Validation of Barriers and Worksharing Constructs in OpenMP Applications [link]Paper   doi   link   bibtex  
Exploring and Evaluating Array Layout Restructuring for SIMDization. Haine, C.; Aumage, O.; Petit, E.; and Barthou, D. In Brodman, J. C.; and Tu, P., editor(s), Languages and Compilers for Parallel Computing - 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers, volume 8967, of Lecture Notes in Computer Science, pages 351–366, 2014. Springer
Exploring and Evaluating Array Layout Restructuring for SIMDization [link]Paper   doi   link   bibtex  
Automated Code Generation for Lattice Quantum Chromodynamics and beyond. Barthou, D.; Brand-Foissac, O.; Dolbeau, R.; Grosdidier, G.; Eisenbeis, C.; Kruse, M.; Pène, O.; Petrov, K.; and Tadonki, C. CoRR, abs/1401.2039. 2014.
Automated Code Generation for Lattice Quantum Chromodynamics and beyond [link]Paper   link   bibtex  
  2013 (6)
Hydra: Automatic algorithm exploration from linear algebra equations. Duchateau, A.; Padua, D. A.; and Barthou, D. In Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen, China, February 23-27, 2013, pages 25:1–25:10, 2013. IEEE Computer Society
Hydra: Automatic algorithm exploration from linear algebra equations [link]Paper   doi   link   bibtex  
Dynamic Thread Pinning for Phase-Based OpenMP Programs. Mazouz, A.; Touati, S. A. A.; and Barthou, D. In Wolf, F.; Mohr, B.; and an Mey, D., editor(s), Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, volume 8097, of Lecture Notes in Computer Science, pages 53–64, 2013. Springer
Dynamic Thread Pinning for Phase-Based OpenMP Programs [link]Paper   doi   link   bibtex  
Topic 4: High-Performance Architectures and Compilers - (Introduction). Barthou, D.; Karl, W.; Doallo, R.; Duesterwald, E.; and Yehia, S. In Wolf, F.; Mohr, B.; and an Mey, D., editor(s), 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, 2013. Springer
Topic 4: High-Performance Architectures and Compilers - (Introduction) [link]Paper   doi   link   bibtex  
Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis. Aumage, O.; Barthou, D.; Haine, C.; and Meunier, T. In an Mey, D.; Alexander, M.; Bientinesi, P.; Cannataro, M.; Clauss, C.; Costan, A.; Kecskemeti, G.; Morin, C.; Ricci, L.; Sahuquillo, J.; Schulz, M.; Scarano, V.; Scott, S. L.; and Weidendorfer, J., editor(s), Euro-Par 2013: Parallel Processing Workshops - BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers, volume 8374, of Lecture Notes in Computer Science, pages 637–646, 2013. Springer
Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis [link]Paper   doi   link   bibtex  
MIL: A language to build program analysis tools through static binary instrumentation. Rubial, A. C.; Barthou, D.; Valensi, C.; Shende, S.; Malony, A. D.; and Jalby, W. In 20th Annual International Conference on High Performance Computing, HiPC 2013, Bengaluru (Bangalore), Karnataka, India, December 18-21, 2013, pages 206–215, 2013. IEEE Computer Society
MIL: A language to build program analysis tools through static binary instrumentation [link]Paper   doi   link   bibtex  
Combining static and dynamic validation of MPI collective communications. Saillard, E.; Carribault, P.; and Barthou, D. In Dongarra, J. J.; Blas, J. G.; and Carretero, J., editor(s), 20th European MPI Users's Group Meeting, EuroMPI '13, Madrid, Spain - September 15 - 18, 2013, pages 117–122, 2013. ACM
Combining static and dynamic validation of MPI collective communications [link]Paper   doi   link   bibtex  
  2012 (3)
Programmation unifiée multi-accélérateur avec OpenCL. Henry, S.; Denis, A.; and Barthou, D. Tech. Sci. Informatiques, 31(8-10): 1233–1249. 2012.
Programmation unifiée multi-accélérateur avec OpenCL [link]Paper   doi   link   bibtex  
Automatic efficient data layout for multithreaded stencil codes on CPU sand GPUs. Jaeger, J.; and Barthou, D. In 19th International Conference on High Performance Computing, HiPC 2012, Pune, India, December 18-22, 2012, pages 1–10, 2012. IEEE Computer Society
Automatic efficient data layout for multithreaded stencil codes on CPU sand GPUs [link]Paper   doi   link   bibtex  
QIRAL: A High Level Language for Lattice QCD Code Generation. Barthou, D.; Grosdidier, G.; Kruse, M.; Pène, O.; and Tadonki, C. CoRR, abs/1208.4035. 2012.
QIRAL: A High Level Language for Lattice QCD Code Generation [link]Paper   link   bibtex  
  2011 (2)
Introduction. Sato, M.; Barthou, D.; Diniz, P. C.; and Saddayapan, P. In Jeannot, E.; Namyst, R.; and Roman, J., editor(s), Euro-Par 2011 Parallel Processing - 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I, volume 6852, of Lecture Notes in Computer Science, pages 267–268, 2011. Springer
Introduction [link]Paper   doi   link   bibtex  
Performance evaluation and analysis of thread pinning strategies on multi-core platforms: Case study of SPEC OMP applications on intel architectures. Mazouz, A.; Touati, S. A. A.; and Barthou, D. In Smari, W. W.; and McIntire, J. P., editor(s), 2011 International Conference on High Performance Computing & Simulation, HPCS 2012, Istanbul, Turkey, July 4-8, 2011, pages 273–279, 2011. IEEE
Performance evaluation and analysis of thread pinning strategies on multi-core platforms: Case study of SPEC OMP applications on intel architectures [link]Paper   doi   link   bibtex  
  2010 (5)
A Multidimensional Array Slicing DSL for Stream Programming. de Oliveira Castro, P.; Louise, S.; and Barthou, D. In Barolli, L.; Xhafa, F.; Vitabile, S.; and Hsu, H., editor(s), CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Poland, 15-18 February 2010, pages 913–918, 2010. IEEE Computer Society
A Multidimensional Array Slicing DSL for Stream Programming [link]Paper   doi   link   bibtex  
Study of Variations of Native Program Execution Times on Multi-Core Architectures. Mazouz, A.; Touati, S. A. A.; and Barthou, D. In Barolli, L.; Xhafa, F.; Vitabile, S.; and Hsu, H., editor(s), CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Poland, 15-18 February 2010, pages 919–924, 2010. IEEE Computer Society
Study of Variations of Native Program Execution Times on Multi-Core Architectures [link]Paper   doi   link   bibtex  
High Performance Architectures and Compilers. Diniz, P. C.; Danelutto, M.; Barthou, D.; Gonzales, M.; and Hübner, M. In D'Ambra, P.; Guarracino, M. R.; and Talia, D., editor(s), Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I, volume 6271, of Lecture Notes in Computer Science, pages 254–255, 2010. Springer
High Performance Architectures and Compilers [link]Paper   doi   link   bibtex  
Reducing memory requirements of stream programs by graph transformations. de Oliveira Castro, P.; Louise, S.; and Barthou, D. In Smari, W. W.; and McIntire, J. P., editor(s), Proceedings of the 2010 International Conference on High Performance Computing & Simulation, HPCS 2010, June 28 - July 2, 2010, Caen, France, pages 171–180, 2010. IEEE
Reducing memory requirements of stream programs by graph transformations [link]Paper   doi   link   bibtex  
FADAlib: an open source C++ library for fuzzy array dataflow analysis. Belaoucha, M.; Barthou, D.; Eliche, A.; and Touati, S. A. A. In Sloot, P. M. A.; van Albada, G. D.; and Dongarra, J. J., editor(s), 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, 2010. Elsevier
FADAlib: an open source C++ library for fuzzy array dataflow analysis [link]Paper   doi   link   bibtex  
  2009 (4)
Improving performance of optimized kernels through fast instantiations of templates. Khan, M. A.; Charles, H.; and Barthou, D. Concurr. Comput. Pract. Exp., 21(1): 59–70. 2009.
Improving performance of optimized kernels through fast instantiations of templates [link]Paper   doi   link   bibtex  
Compositional approach applied to loop specialization. Djoudi, L.; Acquaviva, J.; and Barthou, D. Concurr. Comput. Pract. Exp., 21(1): 71–84. 2009.
Compositional approach applied to loop specialization [link]Paper   doi   link   bibtex  
Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. Beletska, A.; Barthou, D.; Bielecki, W.; and Cohen, A. In Du, D.; Hu, X.; and Pardalos, P. M., editor(s), Combinatorial Optimization and Applications, Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings, volume 5573, of Lecture Notes in Computer Science, pages 98–109, 2009. Springer
Computing the Transitive Closure of a Union of Affine Integer Tuple Relations [link]Paper   doi   link   bibtex  
Performance Tuning of x86 OpenMP Codes with MAQAO. Barthou, D.; Rubial, A. C.; Jalby, W.; Koliai, S.; and Valensi, C. In Müller, M. S.; Resch, M. M.; Schulz, A.; and Nagel, W. E., editor(s), Tools for High Performance Computing 2009 - Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden, pages 95–113, 2009. Springer
Performance Tuning of x86 OpenMP Codes with MAQAO [link]Paper   doi   link   bibtex  
  2008 (2)
Contributions to code optimization and high performance library generation. Barthou, D. 2008.
Contributions to code optimization and high performance library generation [link]Paper   link   bibtex  
Optimizing code through iterative specialization. Khan, M. A.; Charles, H.; and Barthou, D. In Wainwright, R. L.; and Haddad, H., editor(s), Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pages 206–210, 2008. ACM
Optimizing code through iterative specialization [link]Paper   doi   link   bibtex  
  2007 (4)
Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization. Khan, M. A.; Charles, H.; and Barthou, D. In 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), Brasov, Romania, September 15-19, 2007, pages 415, 2007. IEEE Computer Society
Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization [link]Paper   doi   link   bibtex  
Loop Optimization using Hierarchical Compilation and Kernel Decomposition. Barthou, D.; Donadio, S.; Carribault, P.; Duchateau, A.; and Jalby, W. In Fifth International Symposium on Code Generation and Optimization (CGO 2007), 11-14 March 2007, San Jose, California, USA, pages 170–184, 2007. IEEE Computer Society
Loop Optimization using Hierarchical Compilation and Kernel Decomposition [link]Paper   doi   link   bibtex  
Compositional Approach Applied to Loop Specialization. Djoudi, L.; Acquaviva, J.; and Barthou, D. In Kermarrec, A.; Bougé, L.; and Priol, T., editor(s), Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings, volume 4641, of Lecture Notes in Computer Science, pages 268–279, 2007. Springer
Compositional Approach Applied to Loop Specialization [link]Paper   doi   link   bibtex  
An Effective Automated Approach to Specialization of Code. Khan, M. A.; Charles, H.; and Barthou, D. In Adve, V. S.; Garzarán, M. J.; and Petersen, P., editor(s), 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, 2007. Springer
An Effective Automated Approach to Specialization of Code [link]Paper   doi   link   bibtex  
  2006 (2)
On the decidability of phase ordering problem in optimizing compilation. Touati, S. A. A.; and Barthou, D. In Proceedings of the Third Conference on Computing Frontiers, 2006, Ischia, Italy, May 3-5, 2006, pages 147–156, 2006. ACM
On the decidability of phase ordering problem in optimizing compilation [link]Paper   doi   link   bibtex  
Iterative Compilation with Kernel Exploration. Barthou, D.; Donadio, S.; Duchateau, A.; Jalby, W.; and Courtois, E. In Almási, G.; Cascaval, C.; and Wu, P., editor(s), Languages and Compilers for Parallel Computing, 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers, volume 4382, of Lecture Notes in Computer Science, pages 173–189, 2006. Springer
Iterative Compilation with Kernel Exploration [link]Paper   doi   link   bibtex  
  2005 (3)
Deciding Where to Call Performance Libraries. Alias, C.; and Barthou, D. In Cunha, J. C.; and Medeiros, P. D., editor(s), Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, volume 3648, of Lecture Notes in Computer Science, pages 336–345, 2005. Springer
Deciding Where to Call Performance Libraries [link]Paper   doi   link   bibtex  
On Domain-Specific Languages Reengineering. Alias, C.; and Barthou, D. In Glück, R.; and Lowry, M. R., editor(s), 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, 2005. Springer
On Domain-Specific Languages Reengineering [link]Paper   doi   link   bibtex  
A Language for the Compact Representation of Multiple Program Versions. Donadio, S.; Brodman, J. C.; Roeder, T.; Yotov, K.; Barthou, D.; Cohen, A.; Garzarán, M. J.; Padua, D. A.; and Pingali, K. In Ayguadé, E.; Baumgartner, G.; Ramanujam, J.; and Sadayappan, P., editor(s), 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, 2005. Springer
A Language for the Compact Representation of Multiple Program Versions [link]Paper   doi   link   bibtex  
  2003 (2)
Algorithm Recognition based on Demand-Driven Data-flow Analysis. Alias, C.; and Barthou, D. In van Deursen, A.; Stroulia, E.; and Storey, M. D., editor(s), 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, Canada, November 13-16, 2003, pages 296–305, 2003. IEEE Computer Society
Algorithm Recognition based on Demand-Driven Data-flow Analysis [link]Paper   doi   link   bibtex  
On the Recognition of Algorithm Templates. Alias, C.; and Barthou, D. In Knoop, J.; and Zimmermann, W., editor(s), 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, 2003. Elsevier
On the Recognition of Algorithm Templates [link]Paper   doi   link   bibtex  
  2002 (1)
On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). Barthou, D.; Feautrier, P.; and Redon, X. In Monien, B.; and Feldmann, R., editor(s), 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, 2002. Springer
On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note) [link]Paper   doi   link   bibtex  
  2000 (1)
Maximal Static Expansion. Barthou, D.; Cohen, A.; and Collard, J. Int. J. Parallel Program., 28(3): 213–243. 2000.
Maximal Static Expansion [link]Paper   doi   link   bibtex  
  1998 (1)
Maximal Static Expansion. Barthou, D.; Cohen, A.; and Collard, J. In MacQueen, D. B.; and Cardelli, L., editor(s), POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pages 98–106, 1998. ACM
Maximal Static Expansion [link]Paper   doi   link   bibtex  
  1997 (2)
Fuzzy Array Dataflow Analysis. Barthou, D.; Collard, J.; and Feautrier, P. J. Parallel Distributed Comput., 40(2): 210–226. 1997.
Fuzzy Array Dataflow Analysis [link]Paper   doi   link   bibtex  
Automatic data mapping of signal processing applications. Ancourt, C.; Barthou, D.; Guettier, C.; Irigoin, F.; Jeannet, B.; Jourdan, J.; and Mattioli, J. In 1997 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '97), 14-16 July 1997, Zurich, Switzerland, pages 350, 1997. IEEE Computer Society
Automatic data mapping of signal processing applications [link]Paper   doi   link   bibtex  
  1996 (1)
Applicaions of Fuzzy Array Dataflow Analysis. Barthou, D.; Collard, J.; and Feautrier, P. In Bougé, L.; Fraigniaud, P.; Mignotte, A.; and Robert, Y., editor(s), 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, 1996. Springer
Applicaions of Fuzzy Array Dataflow Analysis [link]Paper   doi   link   bibtex  
  1995 (1)
Fuzzy Array Dataflow Analysis. Collard, J.; Barthou, D.; and Feautrier, P. In Ferrante, J.; Padua, D. A.; and Wexelblat, R. L., editor(s), 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, 1995. ACM
Fuzzy Array Dataflow Analysis [link]Paper   doi   link   bibtex