-
Static and Dynamic Methods of Polyhedral Compilation for an Efficient Executi...
Many automatic software parallelization systems have been proposed in the past decades, but most of them are dedicated to source-to-source transformations. This paper... -
Static Compilation Analysis for Host-Accelerator Communication Optimization
International audience -
Advances in Parallel-Stage Decoupled Software Pipelining Leveraging Loop Dist...
8 pages Categories and Subject Descriptors D.3.4 [Programming Languages]: Processors-Compilers, Optimization -
Adapting the polytope model for dynamic and speculative parallelization
In this thesis, we present a Thread-Level Speculation (TLS) framework whose main feature is to speculatively parallelize a sequential loop nest in various ways, to... -
Instructions shifting algorithmics
The constant evolution of processors architectures, with superscalar, instruction-level parallelism, prediction and speculation capabilities and the multiple number of... -
Contributions to parallel stochastic simulation: Application of good software...
Version 3 is the same as version 2 but only the resulting PDF was uploaded, to avoid this bug: http://support.ccsd.cnrs.fr/modules/xhelp/ticket.php?id=30699 The LaTeX source... -
Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Prog...
International audience -
Recovering memory access patterns of executable programs
International audience -
Source-to-Source Automatic Program Transformations for GPU-like Hardware Acce...
Since the beginning of the 2000s, the raw performance of processors stopped its exponential increase. The modern graphic processing units (GPUs) have been designed as... -
Author Retrospective for Semantical Interprocedural Parallelization: An Overv...
International audience -
Compact DAG Representation and its Dynamic Scheduling
Article dans revue scientifique avec comité de lecture. -
SLC : Symbolic Scheduling for Executing Parameterized Task Graphs on Multipro...
Colloque avec actes et comité de lecture. -
Compact DAG Representation and its Symbolic Scheduling
Article dans revue scientifique avec comité de lecture. internationale.
