Khaled Z. Ibrahim, F. Bodin « Implementing Wilson-Dirac
Operator on the Cell Broadband Engine », 22nd ACM International
Conference on Supercomputing 2008.
K. Z. Ibrahim, F. Bodin, O. Pene. Fine-grained Parallelization
of Lattice QCD Kernel Routine on GPU, in: First Workshop on General
Purpose Processing on Graphics Processing Units, October 2007
http://www.ece.neu.edu/GPGPU/.
E. Petit, F. Bodin, R. Dolbeau. An Hybrid Data Transfer Optimization
for GPU, in: Compilers for Parallel Computers (CPC2007), July
2007.
Francesco Belletti, Sebastiano Fabio Schifano, Raffaele Tripiccione,
François Bodin, Philippe Boucaud, Jacques Micheli, Olivier
Pene, Nicola Cabibbo, Sergio de Luca, Alessandro Lonardo, Davide
Rossetti, Piero Vicini, Maxim Lukyanov, Laurent Morin, Norbert
Paschedag, Hubert Simma, Vincent Morenas, Dirk Pleiter, Federico
Rapuano: Computing for LQCD: apeNEXT. Computing in Science and
Engineering 8(1): 18-29 (2006)
E. Petit, S. Matz, F. Bodin. GPGPU with ASTEX: Hot Path Based
Thread Extractor for Distributed Memory System, in: General-Purpose
GPU Computing: Practice and Experience Workshop, Tampa, Florida,
USA, November 2006.
K. Heydemann, F. Bodin. Iterative Compilation for two Antagonistic
Criteria : Application to Code Size and Performance., in: 4th
Workshop on Optimizations for DSP and Embedded Systems, march
2006.
E. Petit, G. Papaure, F. Dru, F. Bodin. ASTEX: a Hot Path Based
Thread Extractor for Distributed Memory System on a Chip, in:
High-Performance Embedded Architecture and Compilation Industrial
Workshop (HiPEAC), Grenoble, France, May 2006.
E. Petit, F. Bodin. Extracting Threads Using Traces for System
on a Chip, in: Compilers for Parallel Computers (CPC2006), Coruna,
Spain, January 2006.
K. Heydemann, F. Bodin, P.M.W. Knijnenburg, L. Morin. UFS: a
Global Trade-off Strategy for Loop Unrolling for VLIW Architectures.
Concurrency and Computation: Practice and Experience Journal,
vol. 18, n°11, p.1413-1434, september 2006.
Karine Heydemann Francois Bodin Henri-Pierre Charles "A
Software-only Compression System for Trading-offs between Performance
and Code Size" SCOPES 2005, Dallas, USA
F. Bodin, I. Puaut. A WCET-oriented static branch prediction scheme
for real-time systems. In Proc. of the 17th Euromicro Conference
on Real-Time Systems, Palma de Mallorca, Spain, July 2005.
G. Pokam and F. Bodin. An Offline Approach for Whole-Program
Paths Analysis using Suffix Arrays. In Proceedings of the 17th
International Workshop on Languages and Compilers for Parallel
Computing (LCPC 2004), West Lafayette, Indiana, USA, September
2004.
G. Pokam and F. Bodin. Understanding the Energy-Delay Tradeoff
of ILP-based Compilation Techniques on a VLIW Architecture. In
Proceedings of the 11th Workshop on Compilers for Parallel Computers
(CPC 2004), Chiemsee, Germany, July 2004.
G. Pokam, O. Rochecouste, A. Seznec and F. Bodin. Speculative
Software Management of Datapath-width for Energy Optimization
. In Proceedings of the ACM SIGPLAN/SIGBED 2004 Conference on
Language, Compiler, and Tool for Embedded Systems (LCTES'04),
Washington, DC, USA, June 2004.
Gilles Pokam, François Bodin, "Exploring the energy-efficiency
potential of a phase-based cache resizing scheme for embedded
systems", Proceedings of the 8th Annual Worskhop on Interaction
between Compilers and Computer Architectures (INTERACT-8), February,
2004
G. Pokam ,S. Bihan, J. Simonnet, F. Bodin "SWARP: A Retargetable
Preprocessor for Multimedia Instructions", Concurrency and
Computation: Practice and Experience, vol. 16, number 2-3, p.
303-318, March 2004.
K.Heydemann, F.Bodin, P.M.W.Knijnenburg, L.Morin, Henry-Pierre
Charles, "UFC : a Global Trade-off Strategy for Loop Unrolling
for VLIW Architecure.", Proceedings of the 10th Workshop
on Compilers for Parallel Computers, January 2003, Amsterdam,
The Netherlands,
F. Bodin, Ph. Boucaud, J. Micheli, O. Pene, N. Cabibbo, F. Di
Carlo, A. Lonardo, S. de Luca, F. Rapuano, P. Vicini, R. De Pietri,
F. Di Renzo, H. Kaldass, N. Paschedag, H. Simma, V. Morenas, D.
Pleiter, L. Sartori, F. Schifano, R. Tripiccione "The APENEXT
project" Computing in High Energy and Nuclear Physics (CHEP03),
La Jolla, Ca, USA, March 2003 (http://www-conf.slac.stanford.edu/chep03/).
Ronan Amicel F. Bodin, "Mastering Startup Costs in Assembler-Based
Compiled Instruction-Set Simulation", 6th Annual Workshop
on Interaction between Compilers and Computer Architectures (INTERACT-6),
Cambridge, February 2002.
Antoine Monsifrot, F. Bodin, "A Machine Learning Approach
to Automatic Production of Compiler Heuristics", Tenth International
Conference on Artificial Intelligence: Methodology, Systems, Applications,
AIMSA, September 2002
A. MONSIFROT, F. BODIN, « Computer Aided
Hand Tuning (CAHT): "Applying Case-Based Reasoning to Performance
Tuning" », in: International Conference on Supercomputing,
juin 2001.
R. AMICEL, F. BODIN, « A New System for
High-Performance Cycle-Accurate Compiled Simulation »,
in: 5th International Workshop on Software and Compilers for Embedded
Systems,
mai 2001.
G. POKAM, F. BODIN, « A Retargetable Preprocessor
for Multimedia Instructions »,
in: Compilers for Parallel Computers (CPC), juin 2001.
F. BODIN, A. MONSIFROT, « Performance Issues
in Automatic Differentiation on Superscalar Processors »,
Automatic Differentiation: From Simulation to Optimization,, 2001.
E. ROHOU, F. BODIN, C. EISENBEIS, A. SEZNEC, « Handling
Global Constraints in Compiler Strategy », International
Journal of Parallel Programming, août 2000.
F. BODIN, A. MONSIFROT, « Performance Issues in Automatic
Differentiation on Superscalar Processors », in: Proceedings
of AD2000 (Automatic Differentiation: From Simulation to Optimization),
juin 2000.
L. ADHIANTO, F. BODIN, B. CHAPMAN, L. HASCOET,
A. KNEER, D. LANCASTER, I. WOLTON, M. WIRTZ,
« Tools for OpenMP application development: the POST
project »,
Concurrency: Practice and Experience 12, 12, 2000, p. 1177-1191.
S. CHAUVEAU, F. BODIN, « Menhir: An environment for high
performance Matlab », Scientific Computing, 1999.
M. BARRETEAU, F. BODIN, AL., « OCEANS: Optimising Compilers
for Embedded Applications », in: Euro-Par'99, Toulouse,
août 1999.
F. BODIN, Y. MEVEL, S. CHAUVEAU, E. ROHOU, « Parallelizing
an Ocean code using TSF »,
in: Proceedings of the Twelfth International Workshop on Languages
and Compilers for Parallel Computing (LCPC'99), The University
of California, San Diego, La Jolla, CA USA, août 1999.
T. KISUKI, P. KNIJNENBURG, M. O'BOYLE, F.BODIN, H. WIJSHOFF,
« A Feasibility Study in Iterative Compilation »,
in: International Symposium on High Performance Computing, Kyoto,
Japon, mai 1999.
T. LAFAGE, A. SEZNEC, E. ROHOU, F. BODIN, « Code Cloning
Tracing: A "Pay per Trace" Approach », in: Euro-Par'99,
Toulouse, août 1999.
B. CHAPMAN, J. MERLIN, D. PRITCHARD, F. BODIN, Y. MEVEL, T. SØREVIK,
L. HILL, « Tools for Development of Programs for a Cluster
of Shared Memory Multiprocessors », in: International Conference
on Parallel and Distributed Processing Techniques and Applications
(PDPTA'99), 1999.
Bodin (F.), Kisuki (T.), Knijnenburg (P.M.W.), O'Boyle (M.F.P.)
and Rohou (E.)-- Iterative Compilation in a Non-Linear Optimisation
Space. In : Proceedings of the Workshop on Profile and Feedback-Directed
Compilation, in Conjunction with the Intl. Conf. on Parallel Architectures
and Compilation Techniques (PACT '98), October 1998.
Bodin (F.), Mével (Y.) et Quiniou (R.)-- A User Level Program
Transformation Tool. In : Proceedings of the International
Conference on Supercomputing, Melbourne, Australia, July 1998.
Bodin (F.), Leroy (H.) Mével (Y.) et Quiniou (R.). --Portage
de code pour architectures hautes performances. Technique
et Science Informatiques, May 1998. (in french)
OCEANS Consortium --OCEANS: Optimising Compilers for Embedded
Applications. In : Proceedings of EuroPar'98, Southampton,
UK, September, 1998.
Chauveau (S.) et Bodin (F.) --Menhir: An Environment for High
Performance Matlab. In : Proceedings of the Fourth Workshop
on Languages, Compilers, and Run-time Systems for Scalable Computers,
Pittsburgh, PA, USA, May 28-30, 1998.
Bodin (F.) et Seznec (A.). -- Skewed Associativity Improves
Program Performance and Enhances Predictability. in IEEE Transactions
on Computers, mai 1997.
Granston (E.D.), Montaut (T.) et Bodin (F.). -- Loop Transformations
to Prevent False Sharing. International Journal of Parallel
Programming, vol. 23, No 4, août 1995, p. 263--301.
O'Boyle (M.F.P.), Kervella (L.) et Bodin (F.). -- Synchronization
Minimization in a SPMD Execution Model. Journal of Parallel
and Distributed Computing, No 29, septembre 1995, p. 196--210.
Bodin (F.), Eisenbeis (C.), Jalby (W.) et Windheiser (D.). --
A Strategy for Array Management in Local Memory. Journal
of Mathematical Programming B., Special Issue on "Applications
of Discrete Programming in Computer Science", No 63, 1994, p.
331--370.
Bodin (F.), Beckman (P.), Gannon (D.), Narayana (S.) et Yang
(S.). -- Distributed pC++: Basic Ideas for an Object Parallel
Language. Scientific Programming, vol. 2, No 3, 1993.
Bodin (F.), Charot (F.), Wagner (C.) et Rousée (F.). -- PCS,
processeur de calcul à instruction longue : architecture,
implémentation, programmation et performances. Technique et
Science Informatiques, vol. 11, No 3, 1992, p. 125--167.
Bodin (F.) et Seznec (A.). -- Skewed-Associativity Enhances
Performance Predictability. In : Proceedings of the 22th International
Symposium on Computer Architecture (IEEE-ACM), p. 265--274. --
Santa-Margharita, juin 1995.
O'Boyle (M.) et Bodin (F.). -- Compiler Reduction of Synchronisation
in Shared Virtual Memory Systems. In : Proceedings of the
International Conference on Supercomputing, p. 318--327. -- Barcelone
(SPAIN), juillet 1995.
Bodin (F.), Granston (E.D.) et Montaut (T.) -- Evaluating
Two Loop Transformations for Reducing Multiple-Writer False Sharing.
In : Proceedings of the Seventh Annual Workshop on Languages and
Compilers for Parallel Computing. -- Ithaca, New York, août 1994.
Publié dans LNCS 892, pages 423--439, Pingali et al. (Eds.), 1995.
Springer-Verlag, Berlin, Heidelberg.
Yang (S.X.), Gannon (D.), Srinivas (S.), Bodin (F.) et Bode (P.).
-- An HPF Fortran Interface for Parallel C++ (pC++). In
: Proceedings of the SIAM Scalable, High Performance Computing
Conference. -- Knoxville (Tenessee, USA), 1994, pp 301--308.
Malony (A.), Mohr (B.), Bodin (F.), Beckman (P.) et Yang (S.).
-- Performance Analysis of pC++: A Portable Data-Parallel Programming
System for Scalable Parallel Computers. In : Proceedings of
the IEEE International Parallel Processing Symposium. -- Cancun
(Mexique), avril 1994.
Bodin (F.), Kervella (L.) et Priol (T.). -- Fortran-S: A Fortran
Interface for Shared Virtual Memory Architectures. Proceedings
of Supercomputing, novembre 1993, p. 274--283.
Bodin (F.), Beckman (P.), Gannon (D.), Yang (S.), Kesavan (S.),
Malony (A.) et Mohr (B.). -- Implementing a Parallel C++ Runtime
System for Scalable Parallel Systems. Proceedings of Supercomputing,
novembre 1993, p. 588--597.
Bodin (F.), Jalby (W.), Eisenbeis (C.) et Windheiser (D.). --
A Quantitative Algorithm for Data Locality Optimization.
Code Generation --- Concepts, Tools, Techniques, Proceedings of
the International Workshop on Code Generation, 1991, p. 119--145.
Eisenbeis (C.) Jalby (W.), Windheiser (D.) et Bodin (F.). --
A Strategy for Array Management in Local Memory. In : Advances
in Languages and Compilers for Parallel Processing. p. 130--151.
-- Irvine, USA, 1991.
Bodin (F.), Windheiser (D.), Atapattu (D.), Jalby (W.), Lee (M.)
et Gannon (D.). -- Performance Evaluation and Prediction for
Parallel Algorithms on the BBN GP1000. In : Proceedings of
the International Conference on Supercomputing (ACM), p. 401--413.
-- Amsterdam, juillet 1990.
Bodin (F.) et Charot (F.). -- Machine Modeling and Loop Optimization
for Horizontal Microcoded Machines. In : Proceedings of the
International Conference on Supercomputing (ACM), p. 164--176.
-- Amsterdam, juillet 1990.
Bodin (F.), Charot (F), et Wagner (C.). -- Overview of a
High-Performance Programmable Pipeline Architecture. In :
Proceedings of the International Conference on Supercomputing
(ACM), p. 398--409. -- Heraklion, juillet 1989.
Pic (M.), Bodin (F.) et Essafi (H.). -- CT++ : An Approach
for a Retargetable High-Level Programming Environment for Image
Processing Architecture. In : Proceedings of the Workshop
"Domain Specific Systems" of The Sixth Symposium on the Frontiers
of Massively Parallel Computation (Frontiers'96). -- Annapolis,
Maryland, USA, 1996.
Rohou (E.), Bodin (F.), Seznec (A.), Le Fol (G.), Charot (F.)
et Raimbault (F.). -- SALTO: System for Assembly-Language Transformation
and Optimization. -- Rapport technique No 1032, IRISA, 1996.
Truong (D.N.), Bodin (F.) et Seznec (A.). -- Accurate Data
Layout into Blocks May Boost Cache Performance. -- Rapport
technique No 1000, IRISA, 1996.
Rohou (E.), Bodin (F.) et Seznec (A.). -- SALTO: System for
Assembly-Language Transformation and Optimization. In : Proceedings
of the Sixth Workshop on Compilers for Parallel Computers. --
Aix la Chapelle (Allemange), décembre 1996.
Bodin (F.) et O'Boyle (M.). -- A Compiler Strategy for SVM.
Proceedings of the Third Workshop on Languages, Compilers and
Run-Time Systems for Scalable Computers, mai 1995, p. 57--68.
Bodin (F.), Granston (E.) et Montaut (T.). -- A General Technique
for Partitioning Loop Iterations to Eliminate False Sharing.
In : 5th Workshop on Compilers for Parallel Computers. -- Malaga
(SPAIN), juin 1995.
Bodin (F.), Beckman (P.), Gannon (D.), Gotwals (J.) et Srinivas
(S.). -- Sage++: A Class Library for Building Fortran 90 and
C++ Restructuring Tools. In : Proceedings of OON-SKI'94, Second
Object-Oriented Numerics Conference. -- Oregon (USA), avril 1994.
Robin (Y.), Guérin (B.) et Bodin (F.). -- IPF : un langage
pour le traitement d'images sur architecture SIMD. Définition
et performances. -- Rapport technique No 783, IRISA, janvier
1994.
Bodin (F.), Priol (T.), Gannon (D.) et Mehrotra (P.). -- Directions
in parallel programming : HPF, virtual shared memory and
object parallelism in pC++. In : Proceedings of Summer Institute
on Parallel Computer Architectures, Languages, and Algorithms
(SIPCALA), éd. par IEEE Press Thomas L. Casavant, Pavel Tvrdik
(Frantisek Plasil Editors). -- Prague, juin 1993.
Bodin (F.). -- Data Structure Analysis in C programs.
-- Rapport technique No SRC-TN-90-292, Supercomputing Research
Center, 1990.