David F. Bacon and Susan L. Graham and Oliver J. Sharp.
"Compiler Transformations for High-Performance Computing".
Technical Report, Computer Science Division, University of California Berkeley
ACM Computing Surveys, 26(4), pp. 345-420, December 1994.
ftp://ftp.cs.berkeley.edu/ucb/parallel/survey.ps
D. Barthou.
"Analyse du flot des données pour tableaux en présence de contraintes non-affines".
Thèse de Doctorat, Université de Versailles, Janvier 1998..
http://www.prism.uvsq.fr/public/bad/ps/these.ps.gz
D. Barthou and J.-F. Collard and P. Feautrier.
"Fuzzy Array Dataflow Analysis."
Journal of Parallel and Distributed Computing, 40:210-226, 1997.
http://www.prism.uvsq.fr/public/bad/ps/jpdc96.ps.gz
Ph. Clauss.
"The Volume of a Lattice Polyhedron to Enumerate Processors and Parallelism." Sept 95.
http://icps.u-strasbg.fr/pub-95/pub-95-11.ps.gz
Ph. Clauss.
"Handling Memory Cache Policy with Integer Points Countings."
ICPS RR 97-07, February 97.
http://icps.u-strasbg.fr/pub-97/pub-97-07.ps.gz
Ph. Clauss, B. Meister.
"Automatic Memory Layout Transformation to Optimize Spatial Locality in Parameterized Loop Nests."
ACM SIGARCH, Computer Architecture News, Vol. 28, No. 1, p.11-19, March 2000.
Revised version of Research Report ICPS RR 99-02.
http://icps.u-strasbg.fr/pub-00/INTERACT2000.ps.gz
Albert Cohen.
"Analyse et Transformation de programmes :
du modèle polyédrique aux langages formels."
Thèse de Doctorat, Université de Versailles, Décembre 1999.
http://www-rocq.inria.fr/~acohen/publications/thesis.ps.gz
S. Coleman and K. S. McKinley.
"Tile Size Selection Using Cache Organization and Data Layout."
Proceedings of the SIGPLAN '95 Conference on Programming Language Design and
Implementation, La Jolla, CA, June 1995.
ftp://ftp.cs.umass.edu/pub/mckinley/pldi.ps.gz
Alain Darte.
"Techniques de parallélisation automatique de nids de boucles".
Thèse de Doctorat, ENS-Lyon, 1993.
ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/PhD/PhD1993/PhD1993-07.ps.Z
Alain Darte.
"On the Complexity of Loop Fusion".
Parallel Computing, 26(9), pages 1175-1193, 2000.
http:www.ens-lyon.fr/~darte/Journal/jpaa.ps.gz
Alain Darte, Yves Robert.
"Constructive Methods for Scheduling Uniform Loop Nests".
IEEE Transactions on Parallel Distributed Systems, 5(8):814-822, 1994.
http://www.ens-lyon.fr/~darte/Journal/ieee_tpds.ps.Z
Alain Darte, F. Vivien.
"On the Optimality of Allen and Kennedy's Algorithm for Parallelism Detection in Nested Loops".
Journal of Parallel Algorithms and Applications, 12:83-112, 1997.
http://www.ens-lyon.fr/~darte/Journal/jpaa.ps.gz
Christine Eisenbeis, W. Jalby, F. Bodin, D. Windheiser.
"A strategy for array management in local memory".
Rapport de Recherche INRIA n0. RR-1262, Juillet 1990.
ftp://ftp.inria.fr/INRIA/publication/RR/RR-1262.ps.gz
C. Eisenbeis, J.-C. Sogno.
"A general algorithm for data dependence analysis".
Proceedings of the 1992 International Conference on Supercomputing, ACM Press, pp. 292--302.
Rapport de Recherche RR-1699, INRIA, May 1992.
ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-1699.ps.gz
Paul Feautrier.
Some efficient solutions to the affine scheduling problem, I, one dimensional time.
Int. J. of Parallel Programming, 21(5):313-348, October 1992.
http://www.prism.uvsq.fr/public/paf/bdt10.ps
Paul Feautrier.
Some efficient solutions to the affine scheduling problem, II, multidimensional time.
Int. J. of Parallel Programming, 21(6):389-420, December 1992.
ftp://ftp.prism.uvsq.fr/pub/reports/MISC/MISC.MASI.1992.078.ps.gz
Paul Feautrier.
Dataflow Analysis of Array and Scalar References.
International Journal of Parallel Processing,
20(1):23-53, 1991.
http://www.prism.uvsq.fr/public/paf/dataflow.ps
Paul Feautrier.
"Parametric Integer Programming."
RAIRO, Recherche Opérationnelle, 22(3):243-268, September 1988.
http://www.prism.uvsq.fr/public/paf/parmprog.ps
Paul Feautrier.
"Techniques de parallélisation."
Ecole de Printemps d'Informatique Théorique, Les Sables d'Or, May 1992.
http://www.prism.uvsq.fr/public/paf/tcpr.ps
Paul Feautrier, Jean-Francois Collard, Michel Barreteau, Denis Barthou, Albert Cohen, Vincent Lefebvre.
"The Interplay of Expansion and Scheduling in PAF."
Rapport de Recherche du PRiSM, #1998/6, Université de Versailles.
http://www.prism.uvsq.fr/rapports/1998/document_1998_6.ps.gz
Michael P. Gerlek, Eric Stoltz, Michael Wolfe.
"Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form."
ACM Transactions on Programming Languages and Systems, 17 (1), 85-122, 1995.
http://www.cse.ogi.edu/~stoltz/www.dir/papers/iv.ps
M. Griebl, J.-F. Collard.
"Generation of synchronous code for automatic parallelization of while loops."
Proceedings of EURO-PAR '95, Lecture Notes in Computer Science 966,
pages 315--326. Springer-Verlag, 1995.
http://www.prism.uvsq.fr/~jfc/diff_europar95.ps
Wen-mei W. Hwu, et al.
"The Superblock: An Effective Technique for VLIW and Superscalar Compilation."
The Journal of Supercomputing, Kluwer Academic Publishers, 1993, pp. 229-248.
http://www.crhc.uiuc.edu/IMPACT/ftp/journal/jsc.superblock.93.ps
K. Kennedy and K. S. McKinley. "Loop Distribution with Arbitrary Control Flow."
Supercomputing 90, New York, November 1990.
ftp://ftp.cs.umass.edu/pub/mckinley/sc90.ps.gz
P.M.W. Knijnenburg.
"Towards unimodular transformations of non-perfectly nested loops."
Technical Report 94-41, Dept. of Computer Science, Leiden University, 1994.
ftp://nic.wi.leidenuniv.nl/pub/CS/TechnicalReports/1994/tr94-41.ps.gz
William Pugh, David Wonnacott.
"Eliminating False Data Dependences using the Omega Test."
University of Maryland Institute for Advanced Computer Studies, Technical Report UMIACS-TR-93-132.
ftp://ftp.cs.umd.edu/pub/papers/papers/ncstrl.umcp/CS-TR-3191/CS-TR-3191.ps.Z
William Pugh, David Wonnacott.
"An Exact Method for Analysis of Value-based Array Data Dependences."
University of Maryland Institute for Advanced Computer, December 1993. Report CS-TR-3196.
ftp://ftp.cs.umd.edu/pub/papers/papers/ncstrl.umcp/CS-TR-3196/CS-TR-3196.ps.Z
William Pugh, David Wonnacott.
"Nonlinear Array Dependance Analysis."
University of Maryland Institute for Advanced Computer, November 1994. Report CS-TR-3372.
ftp://ftp.cs.umd.edu/pub/papers/papers/ncstrl.umcp/CS-TR-3372/CS-TR-3372.ps.Z
Jan Sjödin.
"A Global Code Optimizer Utilizing Static Single Assignment Form".
Master's Thesis, Uppsala, February 1997.
http://www.csd.uu.se/projects/hipe/postscript/0103-revised.ps.gz
O. Temam, C. Fricker, W. Jalby.
"Evaluating the impact of cache interferences on numerical codes."
Proceedings International Conference on Parallel Processing 1993, St-Charles, August 1993.
http://www.lri.fr/~temam/Articles/TeFrJa93b.ps.gz
Volker Weispfenning.
"Parametric Linear and Quadratic Optimization by Elimination."
Fakultät für Mathematik und Informatik, Universität Passau, 1994, Report MIP-9404.
http://www.fmi.uni-passau.de/forschung/mip-berichte/MIP-9404.ps.gz
M. E. Wolf, M. S. Lam.
"A Loop Transformation Theory and An Algorithm to Maximize Parallelism".
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, June, 1991.
http://suif.stanford.edu/papers/wolf91b.ps
M. E. Wolf, M. S. Lam.
"A Data Locality Optimizing Algorithm."
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, June, 1991.
http://suif.stanford.edu/papers/wolf91a.ps