Avant-projet A3
Précédent : Diffusion des résultats
Remonter : Avant-projet A3, Analyse Avancée Appliquée
- Ouvrages et articles de référence
de l'équipe
- 1
- J.-F. COLLARD, D.
BARTHOU, P.
FEAUTRIER,
« Fuzzy array dataflow analysis »,
in: Proc. of 5th ACM SIGPLAN Symp. on Principles and
Practice of Parallel Programming ,
Santa Barbara, CA, juillet 1995.
- 2
- C. EISENBEIS, W.
JALBY, A.
LICHNEWSKY,
« Compiler techniques for optimizing memory and register usage
on the CRAY2 »,
International Journal on High Speed Computing 2 , 2,
1990, p. 193-222,
appeared also as INRIA Research Report no 1302 October
1990.
- 3
- C. EISENBEIS, W.
JALBY, D.
WINDHEISER, F.
BODIN,
« A Strategy for Array Management in Local Memory »,
Mathematical Programming 63 , 1994, p. 331-370,
Special Issue on Applications of Discrete Optimization in
Computer Science.
- 4
- P. FEAUTRIER,
« Dataflow Analysis of Scalar and Array References »,
Int. J. of Parallel Programming 20 , 1, février 1991,
p. 23-53.
- 5
- K. S.
MCKINLEY,
O. TEMAM,
« A Quantitative Analysis of Loop Nest Locality »,
in: ASPLOS' 96 ,
Cambridge, Massachussets, octobre 1996.
- 6
- J. WANG, C.
EISENBEIS, M.
JOURDAN, B.
SU,
« DEcomposed Software Pipelining: a New Perspective and a New
Approach »,
International Journal on Parallel Processing 22 , 3,
1994, p. 357-379,
Special Issue on Compilers and Architectures for Instruction
Level Parallel Processing.
- Thèses et habilitations à diriger
des recherches
- 7
- A. SAWAYA,
Pipeline Logiciel: Découplage et Contraintes de
Registres ,
thèse de doctorat, Université de Versailles - INRIA
Rocquencourt, 1997.
- Articles
- 8
- D. BARTHOU, J.-F.
COLLARD, P.
FEAUTRIER,
« Fuzzy Array Dataflow Analysis »,
Journal of Parallel and Distributed Computing 40 ,
1997, p. 210-226.
- 9
- J.-F. COLLARD, M.
GRIEBL,
« Array Dataflow Analysis for Explicitly Parallel Programs
»,
Parallel Processing Letters , 1997.
- 10
- V. LEFEBVRE,
« Gestion optimisée des données dans les programmes
parallélisés »,
Technique et sciences informatiques , 1997, p. -,
To appear.
- 11
- S. LELAIT, B.
MARMOL,
« Allocation cyclique de registres et déroulage de boucles
»,
Technique et Science Informatiques, Hermès , 1997, p.
583-608.
- 12
- A. SAWAYA,
« Code optimal sous contraintes de ressources et de registres
»,
Technique et Science Informatiques 5 , 1997.
- 13
- O. TEMAM, C.
FRICKER, W.
JALBY,
« Cache Awareness in Blocking Techniques »,
Journal of Programming Languages , 1997,
à paraître.
- 14
- E. VAN
DER
DEIJL, O.
TEMAM, E.
GRANSTON, G.
KANBIERDF,
« The Cache Visualization Tool »,
IEEE Computer , Mai 1997.
- Chapitres de
livre
- 15
- P. FEAUTRIER, G.-R.
PERRIN,
Les langages de programmation parallèle et leurs
compilateurs ,
OFTA, ARAGO, avril 1997, ch. 16.
- Communications à des manifestations
scientifiques
- 16
- B. AARTS, M.
BARRETEAU, F.
BODIN, P.
BRINKHAUS, Z.
CHAMSKI, H.-P.
CHARLES, C.
EISENBEIS, J. R.
GURD, J.
HOOGERBRUGGE, P.
HU, W.
JALBY, P. M. W.
KNIJNENBURG, M. F. P.
O'BOYLE, E.
ROHOU, R.
SAKELLARIOU, H.
SCHEPERS, A.
SEZNEC, E. A.
STOHR, M.
VERHOEVEN, H. A. G.
WIJSHOFF,
« OCEANS: Optimizing Compilers for Embedded Applications »,
in: EuroPar'97 , Lecture Notes in Computer
Science , Springer-Verlag,
Passau, Germany, august 1997.
- 17
- D. BARTHOU, A.
COHEN, J.-F.
COLLARD,
« Maximal Static Expansion »,
in: ACM SIGPLAN '98 Conf. on Principles of Programming
Languages ,
janvier 1998. To appear.
- 18
- M. DAI, C.
EISENBEIS,
« Source to Source Software Pipelining »,
in: IASTED' 97 , p. 102 - 106,
Singapour, juillet 1997.
- 19
- C. EISENBEIS, S.
LELAIT, B.
MARMOL,
« Circular-arc graph coloring and unrolling »,
in: Proceedings of the 
Twente
Workshop on Graphs and Combinatorial Optimization , U.
Faigle, C. Hoede (réd.), Universiteit Twente, p. 71-74,
Twente, Netherlands, May 1997.
- 20
- P. FEAUTRIER,
« Basis of Parallel Speculative Execution »,
in: Europar'97 , Springer-Verlag, LNCS 1300, p.
3-14,
1997.
- 21
- V. LEFEBVRE, P.
FEAUTRIER,
« Storage management in Parallel Programs »,
in: 5th Euromicro Workshop on Parallel and Distributed
Processing , I. C. Society (réd.), p. 181-188,
Londres (England), janvier 1997.
- Rapports de
recherche
- 22
- A. COHEN, J.-F.
COLLARD,
« Applicability of Algebraic Transductions to Data-Flow
Analysis »,
rapport de recherche, PRiSM, 1997.
- 23
- J.-F. COLLARD,
« Automatic Parallelization of Higher-Order Languages in the
Polytope Model. Preliminary Version »,
rapport de recherche No97-016, PRiSM, U. of Versailles, août
1997.
- 24
- D. DE
WERRA, C.
EISENBEIS, S.
LELAIT, B.
MARMOL,
« On a graph-theoretical model for cyclic register allocation
»,
rapport de recherche NoORWP 97/04, École Polytechnique Fédérale
de Lausanne, May 1997.
- 25
- C. EISENBEIS, S.
LELAIT,
« LoRA: a Package for Loop Optimal Register Allocation »,
rapport de recherche, INRIA, 1997.
- 26
- S. LELAIT, G. R.
GAO, C.
EISENBEIS,
« A new fast algorithm for optimal register allocation in
modulo scheduled loops »,
ACAPS Research Report, McGill University, August 1997.
- 27
- X. REDON, P.
FEAUTRIER,
« Detection of Scans in Sequential Programs »,
rapport de recherche NoIT-175, LIFL, 1997.
- Bibliographie
générale
- CC77
- Patrick Cousot and Radhia Cousot.
Abstract Interpretation: A Unified Lattice Model for Static
Analysis of Programs by Construction or Approximation of
Fixpoints.
In 4th POPL, Los Angeles, CA, pages 238-252, January
1977.
- Cou81
- P. Cousot.
Program Flow analysis: theory and applications,
chapter Semantic foundations of programs analysis, pages
303-342.
1981.
- Fea94
- P. Feautrier.
Fine-grain scheduling under resource constraints.
In 7th Workshop on Language and Compilers for Parallel
Computing, pages 1-15. Springer-Verlag, LNCS 892, August
1994.
- Flo67
- R. W. Floyd.
Assigning meaning to programs.
In J.T.Schwartz, editor, Proc. of the Symp. in Applied
Mathematics, Vol. 19, pages 19-32, Providence, 1967.
AMS.
- GAG94
- R. Govindarajan, E. Altman, and G.R. Gao.
A framework for ressource-constrained rate-optimal software
pipelining.
In Conference on Vector and Parallel Processing(CONPAR-94
VAPP VI), Linz, Austria, september 1994.
- Han94
- C. Hanen.
Study of a NP-hard cyclic scheduling problem: the recurrent
job-shop.
European Journal of Operational Research, 72:82-101,
January 1994.
- KU76
- J.B. Kam and J.D. Ullmann.
Global data flow analysis and iterative algorithms.
Journal of the ACM, 23(1):158-171, January 1976.
- RG81
- B. R. Rau and C. D. Glaeser.
Some Scheduling Techniques and an Easily Schedulable Horizontal
Architecture for High Performance Scientific Computing.
In Proceedings of the 14th Conference on Microprogramming
and Microarchitecture, pages 183-198, October 1981.