PIPS Bibliography

(Unfortunately not up to date yet...)

Olivier Albiez, Parcours d'une superposition de domaines, Présenté à 10ème Rencontres Francophones du Parallélisme (RenPar'10), 9-12 Juin 1998, Strasbourg, France, pp.71-74, A-309
Olivier Albiez, Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell et Julien Zory, PIPS : un système d'analyse, de transformation et de compilation de programmes scientifiques . Transparents de l'exposé à l'ENST Bretagne du 29 octobre 1998. Une version PostScript noir-et-blanc ainsi qu'une copie plus compacte pour distribution sont disponibles.
M. Ancourt-Le Quellenec Génération automatique de code de transfert pour multiprocesseurs à mémoires locales. Thèse de doctorat de l'université Pierre et Marie Curie, 18 mars 1991, rapport A/200.
Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli, Automatic Data Mapping of Signal Processing Applications, Presented at International Conference on Application-specific Systems, Architectures and Processors (ASAP'97), 14-16 July 1997, Swiss Federal Institute of Technology, Zurich, Switzerland.A-304
Corinne Ancourt, Fabien Coelho, Béatrice Creusillet and Ronan Keryell, How to Add a New Phase in PIPS: the Case of Dead Code Elimination Presented at the Sixth Workshop "Compilers for Parallel Computers" (CPC 96), pages 19-30. December 11-13, 1996, Aachen, Germany. A-300 Article (HTML and PostScript) and color transparencies.
A-299 color transparencies of
PIPS: a Workbench for Program Parallelization and Optimization
presented at European Parallel Tool Meeting 1996 (EPTM'96), Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, François Irigoin, Pierre Jouvelot and Ronan Keryell. October 23, 1996, ONERA, FRANCE.
Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, François Irigoin, Pierre Jouvelot, Ronan Keryell, PIPS Development Environment, May 1996. Report A-291.
C. Ancourt, F. Coelho, F. Irigoin, R. Keryell, A Linear Algebra Framework for Static HPF Code Distribution, Fourth International Workshop on Compilers for Parallel Computers, Delft, December 1993
Corinne Ancourt, Béatrice Apvrille, Fabien Coelho, François Irigoin, Pierre Jouvelot, Ronan Keryell, PIPS --- A Workbench for Interprocedural Program Analyses and Parallelization . April 22, 1994, The slides of the Villeneuve d'Ascq '94 Franco-British N+N Meeting on DATA PARALLEL LANGUAGES AND COMPILERS FOR PORTABLE PARALLEL COMPUTING
C. Ancourt, F. Irigoin, Scanning Polyhedra With DO Loops, PPoPP'91 Principle and Practice of Parallel Programming, Williamsburg, USA, April 1991
C. Ancourt, F. Irigoin, Y. Yang, Minimal Data Dependence Abstractions for Loop Transformations, International Journal of Parallel Programming, Vol. 23, no 4, pp 359-388, 1995 A-266.ps.Z
Corinne Ancourt, Thi Viet Nga Nguyen, Array Resizing for Scientific Code Debugging, Maintenance and Reuse, In ACM SIGPLAN-SIGSOFT Workshop on Program Analsis for Software Tools and Engineering (PASTE01), June 18-19, 2001, Snowbird, Utah, USA. A-324.ps
B. Apvrille-Creusillet, Régions exactes et privatisation de tableaux. Rapport de DEA, 30 Aou^t 1994, TR E/185.
B. Baron, Construction flexible et cohérente pour la compilation interprocédurale, Rapport interne EMP-CRI-E157, juillet 1991
B. Baron, Maintien de la cohérence dans un compilateur-optimiseur interprocédural, Rapport de DEA, Juillet 1991, TR E/157.
B. Baron, F. Irigoin, P. Jouvelot, Projet PIPS. Manuel utilisateur du paralléliseur batch, Rapport interne EMP-CRI-E144, janvier 1991
P. Berthomier, Static Comparison of Different Program Versions, Rapport interne EMP-CRI-E130, septembre 1990
Youcef Bouchebaba, Elimination des gardes dans les transformées unimodulaires de boucles mal imbriquées, A-313, A-312
Youcef Bouchebaba, Fabien Coelho, Tiling pour une séquence de nids de boucles In RENPAR/CFSE/SYMPA, 24-27 avril 2001, Cité des Sciences et de l'Industrie, Paris, France. A-319
P. Chassany, Les méthodes de parallélisation interprocédurales, Rapport interne EMP-CRI-E129, septembre 1990
Fabien Coelho, Contributions à la compilation du High Performance Fortran Thèse : , 3 Octobre 1996. A-293.
Fabien Coelho, Compiling Dynamic Mappings with Array Copies
Presented at Principles and Practice of Parallel Programming (PPoPP97), 18-21 June 1997, Las Vegas, Nevada. A-302
F. Coelho, Etude et réalisation d'un compilateur pour le High Performance Fortran, Rapport interne EMP-CRI-A238, juin 1993
Béatrice Creusillet Analyses de Régions de Tableaux et Applications Thèse , 5 Décembre 1996. A-295
Béatrice Creusillet IN and OUT Array Region Analyses, 5th Compiler Workshop Compilers for Parallel Computers, CPC'95, Malaga, Espagne, 26-30 Juin 1995 (also available as TR A/272).
Béatrice Creusillet, Francois Irigoin, Interprocedural Analyses of Fortran Programs In: Journal on Parallel Computing, Vol.24, No.3-4, 1998, pp.629-648. A-303
Béatrice Creusillet, François Irigoin, Interprocedural Array Region Analyses. Workshop on Languages and Compilers for Parallel Computing, LCPC'95, Colombus, OHIO, USA, 10-12 Août 1995 (also available as TR A/270).
Frédéric Desprez (LIP, ENS-Lyon), Julien Zory, Performance des macro-pipelines dans les programmes data-parallèles, Présenté à 9ème Rencontres Francophones du Parallélisme (RenPar'9), 20-23 mai 1997, Lausanne, Suisse. A-308
Pierre Fiorini, François Irigoin et Ronan Keryell, Modèle de Compilation d'HPF pour la Machine MIMD à Bancs Mémoire et Réseau Distribué Programmable Phénix Présenté à 8ème Rencontres Francophones du Parallélisme (RenPar'8), 4 pages, 20-24 mai 1996, Bordeaux, FRANCE. A-297 Article et transparents en couleur.
Christophe Guettier, Optimisation globale et placement d'applications de traitement du signal sur architectures parallèles utilisant la programmation logique avec contraintes Thèse , 12 Décembre 1997. A-305
F. Irigoin, Partitionnement des boucles imbriquées. Une technique d'optimisation des programmes scientifiques, Thèse de doctorat de l'université Pierre et Marie Curie, juin 1987
F. Irigoin, Code Generation for the Hyperplane Method and for Loop Interchange, Rapport CAII-E102, octobre 1988
F. Irigoin, Loop Reordering with Dependence Direction Vectors, Journées Firtech Systèmes et Télématique Architectures Futures: Programmation parallèle et intégration VLSI, Paris, 9-10 novembre 1988
F. Irigoin, Projet PIPS: résultat de la parallélisation interprocédurale, Rapport EMP-CRI-E151, mars 1991
F. Irigoin, Interprocedural Analyses for Programming Environments, J.J. Dongarra and B. Tourancheau Eds, Elsevier, Workshop CNRS-NSF, Saint-Hilaire du Touvet, Sept. 1992. Also available in html or in compressed Postscript as Tech. Report A/227.
F. Irigoin, Performance, Portability and Implicit Parallelism, J. Ferrante and A. Hey Eds, Wiley, Workshop on Performance, Portability and Parallel Processing, Southampton, July 1993
F. Irigoin, Compilation pour machines parallèles, Habilitation à diriger des recherches (Paris 6), novembre 1993.
F. Irigoin, C. Ancourt, Final Report on Software Caching for Simulated Global Memory, PUMA ESPRIT 2701, Deliberable 6.5.1, Tech. Report EMP-CRI-E155, November 1991
F. Irigoin, C. Ancourt, Compilation pour machines à mémoire répartie, Algorithmique Parallèle, Cosnard, Nivat, Robert Eds, Masson, Ecole de Printemps du LITP, mai 1992
F. Irigoin, C. Ancourt, Automatic Code Distribution, Third International Workshop on Compilers for Parallel Computers, Vienne, July, 1992
F. Irigoin, P. Jouvelot, R. Triolet, Analyses syntaxique et sémantique, documentation interne du projet PIPS, mars 1988. TR E/105.
F. Irigoin, P. Jouvelot, Projet PIPS: manuel d'utilisation du paralléliseur batch (VERSION 1.0). 15 Décembre 1990, TR E/144.
F. Irigoin, P. Jouvelot, R. Triolet, PIPS: Représentation Intermédiaire, documentation interne du projet PIPS, septembre 1988. New version, May 1992, TR E/166.
F. Irigoin, P. Jouvelot, R. Triolet, Semantical Interprocedural Parallelization: An Overview of the PIPS Project, 1991 International Conference on Supercomputing, Cologne, June 1991. Also available as Tech. Report A/201.
F. Irigoin, P. Jouvelot, R. Triolet, Projet PIPS: environnement de développement version 1.0 Décembre 1990, TR E/146
F. Irigoin, R. Triolet, Supernodes and Alliant FX/8 Minisupercomputer, Rapport CAI-E81, aou^t 1986
F. Irigoin, R. Triolet, Automatic DO-Loop Partitioning for Improving Data Locality in Scientific Programs, Vector and Parallel Processors for Scientific Computation 2, Rome, Sept.~21-23, Italie, 1987 \\ Disponible comme rapport CAI-E93
F. Irigoin, R. Triolet, Computing Dependence Direction Vectors and Dependence Cones with Linear Systems, Rapport CAI-E94, septembre 1987
F. Irigoin, R. Triolet, Supernode Partitioning, POPL'88 - Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, January 13-15, pp. 319-329, 1988
F. Irigoin, R. Triolet, Dependence Approximation and Global Parallel Code Generation for Nested Loops, International Workshop Parallel and Distributed Algorithms, Bonas, France, October 3-6, 1988
P. Jouvelot, R. Triolet, NewGen User Manual. December 1990, Tech. Report A/???.
P. Jouvelot, R. Triolet, NewGen: A Language-Independent Program Generator. July 12, 1989, Tech. Report A/191.
Ronan Keryell, WPips & EPips User Manual (Paralléliseur Interprocédural de Programmes Scientifiques) --- Linear Algebra based Automatic Parallelizer & Program Transformer, April 9, 1996. Technical Report A-288 in PostScript or in HTML
Thi Viet Nga Nguyen, F. Irigoin, C. Ancourt, R. Keryell Efficient Intraprocedural Array Bound Checking, Second International Workshop on Automated Program Analysis, Testing and Verification (WAPATV01), Toronto, Canada, May 2001. A-316
A. Platonoff, Calcul des effets des procédures au moyen des régions, Rapport interne EMP-CAII-I132, juin 1990
A. Platonoff, Contribution à la distribution automatique des données pour machines massivement parallèles. Thèse de doctorat de l'université Pierre et Marie Curie, 9 Mars 1995, rapport A/268.
A. Platonoff, Automatic Data Distribution for Massively Parallel Computers. 5th Compiler Workshop Compilers for Parallel Computers, CPC'95, Malaga, Espagne, 26-30 Juin 1995 (also available as TR A/271).
R. Triolet, Contribution à la parallélisation automatique de programmes Fortran comportant des appels de procédure, Thèse de docteur-ingénieur, Université Pierre et Marie Curie, décembre 1984
R. Triolet, Interprocedural Analysis Based Restructuring of Programs. (Colloque International Algorithmes & Architectures Parallèles - International workshop on parallel algorithms & architectures, Centre International de Rencontres Mathématiques, Luminy, Marseille, 14-18 Avril 1986), rapport A/172.
R. Triolet, Analyse sémantique en vue de la parallélisation. (Journées Firtech Systèmes et Télématique Architectures Futures: Programmation parallèle et intégration VLSI, Paris, 9-10 Novembre 1988), rapport A/189.
R. Triolet, PIPSMAKE et PIPSDBM: Motivations et fonctionnalités. 27 Septembre 1990, TR E/133.
R. Triolet, P. Feautrier, F. Irigoin, Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls, ESOP 86 European Symposium on Programming, LNCS~213, Saarbrücken, Federal Republic of Germany, March 17-19, 1986
R. Triolet, F. Irigoin, P. Feautrier, Direct Parallelization of Call Statements, ACM SIGPLAN'86 Symposium on Compiler Construction, Hyatt Rickeys Hotel, Palo Alto, June 23-27, 1986
Y. Yang, Evaluation expérimentale de tests de dépendances, 4ème Rencontre du Parallélisme, Lille, France, 18-20 mars 1992. Rapport A/214.
Y. Yang, Réordonnancement des boucles imbriquées, novembre 1992, TR E/162.
Y. Yang, Tests des dépendances et transformations de programme. Thèse de doctorat de l'université Pierre et Marie Curie, 15 Novembre 1993, rapport A/242.
Y. Yang, C. Ancourt, F. Irigoin, Minimal Data Dependence Abstrations for Loop Transformations (Extended Version), International Journal of Parallel Programming, Aug. 1995, V. 23, n. 4, pp. 359-388.
L. Zhou, Complexity Estimation in the PIPS Parallel Programming Environment. Proceedings of CONPAR92/VAPPV. Laboratoire de l'Informatique du Parallélisme, Ecole Normale Supérieure de Lyon, France, September 1-4, 1992. Rapport A/221.
L. Zhou, Analyse statique et dynamique de la complexité des programmes scientifiques. Thèse de doctorat de l'université Pierre et Marie Curie, 14 Septembre 1994, rapport A/255.
Julien Zory,
A-310
Thèse : Contributions à l'optimisation de programmes scientifiques, 17 Décembre 1999.
Julien Zory, Fabien Coelho, Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes International Conference on Parallel Architectures and Compilation Techniques (PACT 98), 14-17 Octobre 1998, Paris, France. TR/A-307 (ps.gz)

All the on-line CRI reports.

#include "go_back.html"