MILEPOST GCC: machine learning based research compiler (2008)
Fursin, Grigori, Miranda, Cupertino, Temam, Olivier, Namolaru, Mircea, Yom-Tov, Elad, Zaks, Ayal, ...
Tuning hardwired compiler optimizations for rapidly evolving hardware makes porting an optimizing compiler for each new platform extremely challenging. Our radical approach is to develop a modular,...
Partitioning Programs for Automatically Exploiting GPU ∗ (2008)
Eric Petit, Sebastien Matz, Francois Bodin
In this paper we explore the use of Astex, a C language partitioning tool, to detect parts of code that can potentially be speeded up by using Graphical Processing Units (GPU). 1
Robert Bennett, Kelvin Bryant, Alan Sussman, Raja Das, Francois Bodin, Peter Beckman, ...
tributed pC++: Basic ideas for an object parallel languages. Scienti c Programming, 2(3), Fall
Fran Cois Bodin, Bas Aarts, Michel Barreteau, Francois Bodin, Peter Brinkhaus, Zbigniew Chamski, ...
. This paper describes the recently funded ESPRIT project OCEANS. Its aim is to investigate and develop advanced compiler infrastructure for embedded VLIW processors, such as the Philips TriMedia....
Michel Barreteau, Francois Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-pierre Charles, Christine Eisenbeis, ...
, William Jalby 1, Peter M. W. Knijnenburg 3, Michael O'Boyle 7 Erven Rohou 2, Rizos Sakellariou
Speculative Software Management of Datapath-width for Energy Optimization (2004)
Gilles Pokam, Andre Seznec, Olivier Rochecouste, Francois Bodin
This paper evaluates managing the processor's datapathwidth at the compiler level by means of exploiting dynamic narrow-width operands. We capitalize on the large occurrence of these operands in...
A Machine Learning Approach to Automatic Production of Compiler Heuristics (2002)
Antoine Monsifrot, Francois Bodin, Rene Quiniou
Achieving high performance on modern processors heavily relies on the compiler optimizations to exploit the microprocessor architecture.
A Retargetable Preprocessor for Multimedia Instructions (2001)
Gilles Pokam Julien, Julien Simonnet, Francois Bodin
Request for more computation power in the media computing domain has led to multimedia extensions in the instruction sets of modern processors. This has resulted in the implementation of new...
A Feasibility Study in Iterative Compilation (1999)
Toru Kisuki Peter, Francois Bodin
. In this paper we investigate the feasibility of iterative compilation in program optimisation. This technique enables compilers to deliver efficient code by searching for the best sequence of...
OCEANS: Optimising Compilers for Embedded ApplicatioNS (1998)
Michel Barreteau Francois, Francois Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-pierre Charles, Christine Eisenbeis, ...
. This paper presents an overview of the activities carried out within the ESPRIT project OCEANS whose objective is to investigate and develop advanced compiler infrastructure for embedded VLIW...
A Synchronous Approach for Hardware Design (1997)
Michel Allemand, Francois Bodin, Apostolos Kountouris, Fran Cois Bodin, Paul Le Guernic, Andre Seznec, ...
: In this report we present a methodology for designing complex hardware systems. This methodology is based on the synchronous data flow language Signal which offers a formal framework to build...
Accurate Data Distribution Into Blocks May Boost Cache Performance (1997)
André Seznec, Dan N. Truong, Dan N. Truong, François Bodin, Francois Bodin
: Applications often under-utilize cache space and there are no software locality optimization techniques available for non-scientific applications. We propose that data redistribution in memory be...
SALTO: System for Assembly-Language Transformation and Optimization (1996)
Erven Rohou, Francois Bodin, André Seznec, Gwendal Le Fol, François Charot, Frédéric Raimbault
: On critical applications, particularly embedded systems, the performance tuning requires multiple passes. Salto (System for Assembly Language Transformation and Optimization) is a retargetable...
Salto: System for assembly-language transformation and optimization (1996)
Apport De Recherche, François Bodin, André Seznec, François Charot, Frédéric Raimbault, Erven Rohou, ...
On critical applications, particularly embedded systems, the performance tuning requires multiple passes. Salto #System for Assembly Language Transformation and Optimization# is a retargetable...
Skewed associativity enhances performance predictability (1995)
Franc Ois Bodin, Francois Bodin
Skewed associativity enhances performance predictability
Skewed Associativity Enhances Performance Predictability (1995)
André Seznec, François Bodin, Francois Bodin, Projet Caps
: Performance tuning becomes harder as computer technology advances. One of the factors is the increasing complexity of memory hierarchies. Most modern machines now use at least one level of cache...
Evaluating Two Loop Transformations for Reducing Multiple-Writer False Sharing (1995)
Francois Bodin Elana, Francois Bodin, Elana D Granston, Thierry Montaut
. To simplify the programming of hierarchical and distributedmemory parallel systems, the notion of shared virtual memory (SVM) has been proposed. This abstraction provides the programmer with the...
Page-level Affinity Scheduling for Eliminating False Sharing (1995)
Francois Bodin, Elana Granston, Elana D. Granston, Thierry Montaut, Thierry Montaut
To date, page management in distributed shared memory (DSM) systems has been primarily the responsibility of the run time system. However, there are some problems that are difficult to resolve...
Loop Transformations to Prevent False Sharing (1995)
Francois Bodin, Elana Granston, Elana D. Granston, Thierry Montaut, Thierry Montaut
To date, page management in shared virtual memory (SVM) systems has been primarily the responsibility of the run-time system. However, there are some problems that are difficult to resolve...
and Object Parallelism in pC++* (1994)
Francois Bodin, Thierry Priol, Piyush Mehrotra, Dennis Gannon
Fortran and C++ are the dominant programming languages used in scientific computation. C,onsequently, extensions to these languages are the most popular for programming massively parallel computers....
Cache Organization Influence on Loop Blocking (1994)
André Seznec, François Bodin, Francois Bodin, Projet Calcpar
: Performance tuning on today`s computers has become very complex. One of the factor of this complexity is the use of memory hierarchies, and particularly of cache memories. Code transformations such...
Francois Bodin Jocelyne, Francois Bodin, Jocelyne Erhel, Thierry Priol
Many iterative schemes in scientific applications require the multiplication of a sparse matrix by a vector. This kernel has been mainly studied on vector processors and shared-memory parallel...
A quantitative algorithm for data locality optimization (1992)
Francois Bodin, William Jalby, Daniel Windheiser, Christine Eisenbeis
In this paper, we consider the problem of optimizing register allocation and cache behavior for loop array references. We exploit techniques developed initially for data locality estimation and...
In this paper, we describe a Fortran programming environment using the KOAN Shared Virtual Memory. We then discuss its use for parallelizing a Because benchmark application. R'esum'e Nous...
A strategy for array management in local memory (1990)
Eisenbeis, Christine, Jalby, W., Windheiser, D., Bodin, Francois
One major point in loop restructuring for data locality optimization is the choice and the evaluation of a data locality criteria. We show in this paper how to compute approximations of window sets...
A strategy for array management in local memory (1990)
Eisenbeis, Christine, Jalby, W., Windheiser, D., Bodin, Francois
One major point in loop restructuring for data locality optimization is the choice and the evaluation of a data locality criteria. We show in this paper how to compute approximations of window sets...
A Strategy For Array Management In Local Memory (1990)
E De Recherche, Et En Automatique, Domaine De Voluceau, Christine Eisenbeis, Christine Eisenbeis, William Jalby, ...
One major point in loop restructuring for data locality optimization is the choice and the evaluation of data locality criteria. In this paper we show how to compute approximations of window sets...