| A Flexible and Portable Real-time DVB-S2 Transceiver using Multicore and SIMD CPUs | 0 | 0.34 | 2021 |
| Automatic Code Motion to Extend MPI Nonblocking Overlap Window. | 1 | 0.36 | 2020 |
| PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation | 0 | 0.34 | 2020 |
| Multi-valued Expression Analysis for Collective Checking. | 1 | 0.36 | 2019 |
| Profile-Guided Scope-Based Data Allocation Method | 0 | 0.34 | 2018 |
| PARCOACH Extension for a Full-Interprocedural Collectives Verification | 1 | 0.36 | 2018 |
| Adaptive Partitioning for Iterated Sequences of Irregular OpenCL Kernels | 0 | 0.34 | 2018 |
| MIPP: a Portable C++ SIMD Wrapper and its use for Error Correction Coding in 5G Standard | 0 | 0.34 | 2018 |
| Rewriting System for Profile-Guided Data Layout Transformations on Binaries. | 0 | 0.34 | 2017 |
| Introduction. | 0 | 0.34 | 2016 |
| Automatic OpenCL Task Adaptation for Heterogeneous Architectures. | 2 | 0.36 | 2016 |
| Energy consumption analysis of software polar decoders on low power processors. | 0 | 0.34 | 2016 |
| Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH | 1 | 0.36 | 2015 |
| Static/Dynamic validation of MPI collective communications in multi-threaded context | 1 | 0.36 | 2015 |
| MPI Thread-Level Checking for MPI+OpenMP Applications | 0 | 0.34 | 2015 |
| An Efficient, Portable and Generic Library for Successive Cancellation Decoding of Polar Codes | 4 | 0.43 | 2015 |
| Exploring and Evaluating Array Layout Restructuring for SIMDization. | 3 | 0.39 | 2014 |
| PARCOACH: Combining static and dynamic validation of MPI collective communications | 5 | 0.80 | 2014 |
| Toward OpenCL Automatic Multi-Device Support. | 8 | 0.60 | 2014 |
| Hydra: Automatic algorithm exploration from linear algebra equations | 0 | 0.34 | 2013 |
| Topic 4: High-Performance Architectures and Compilers - (Introduction). | 0 | 0.34 | 2013 |
| Dynamic thread pinning for phase-based OpenMP programs | 2 | 0.41 | 2013 |
| Combining static and dynamic validation of MPI collective communications | 3 | 0.42 | 2013 |
| Detecting SIMDization Opportunities through Static/Dynamic Dependence Analysis. | 3 | 0.42 | 2013 |
| Automatic efficient data layout for multithreaded stencil codes on CPU sand GPUs. | 1 | 0.38 | 2012 |
| Programmation unifiée multi-accélérateur avec OpenCL. | 0 | 0.34 | 2012 |
| QIRAL: A High Level Language for Lattice QCD Code Generation | 3 | 0.53 | 2012 |
| Performance evaluation and analysis of thread pinning strategies on multi-core platforms: Case study of SPEC OMP applications on intel architectures | 13 | 0.82 | 2011 |
| Reducing memory requirements of stream programs by graph transformations. | 9 | 0.63 | 2010 |
| FADAlib: an open source C++ library for fuzzy array dataflow analysis | 2 | 0.38 | 2010 |
| Study of Variations of Native Program Execution Times on Multi-Core Architectures | 10 | 1.53 | 2010 |
| A Multidimensional Array Slicing DSL for Stream Programming | 3 | 0.51 | 2010 |
| High performance architectures and compilers | 0 | 0.34 | 2010 |
| Performance Tuning of x86 OpenMP Codes with MAQAO. | 8 | 0.57 | 2009 |
| Computing the Transitive Closure of a Union of Affine Integer Tuple Relations | 13 | 0.82 | 2009 |
| Improving performance of optimized kernels through fast instantiations of templates | 4 | 0.40 | 2009 |
| Compositional approach applied to loop specialization | 3 | 0.43 | 2009 |
| Optimizing code through iterative specialization | 0 | 0.34 | 2008 |
| Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization | 0 | 0.34 | 2007 |
| Loop Optimization using Hierarchical Compilation and Kernel Decomposition | 4 | 0.46 | 2007 |
| On the decidability of phase ordering problem in optimizing compilation | 13 | 0.66 | 2006 |
| A language for the compact representation of multiple program versions | 30 | 1.28 | 2005 |
| On domain-specific languages reengineering | 2 | 0.43 | 2005 |
| Deciding where to call performance libraries | 1 | 0.35 | 2005 |
| Algorithm Recognition based on Demand-Driven Data-flow Analysis | 5 | 0.43 | 2003 |
| On the Recognition of Algorithm Templates | 11 | 0.56 | 2003 |
| On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note) | 18 | 0.93 | 2002 |
| Maximal Static Expansion | 3 | 0.43 | 2000 |
| Maximal static expansion | 12 | 0.65 | 1998 |
| Fuzzy array dataflow analysis | 35 | 1.59 | 1997 |
