Analyse de flots de données, optimisation de code

Généralités sur la compilation

• Cours de Goos et Waite construction des compilateurs
• Andrew Appel
• Reinhard Wilhelm (Université de Saarbrücken)
• Guy Chesnot (Marne la Vallée)
• Kathryn McKinley (Massachusetts, Amherst)
  cours sur analyse statique et optimisation, SSA

  zephyr (U.Virginia)

Représentations intermédiaires

• Java Markup Language (basé sur XML)
• WHIRL
  représentation intermédiaire du compilateur IA-64 de SGI

Interprétation abstraite, sémantiques formelles

• Jos Baeten (Eindhoven)
• François Bourdoncle ( École des Mines, Paris )
• Patrick Cousot ( ENS / DMI / LIENS )
• Béatrice Creusillet (Mines, Fontainebleau)
  Interprétation abstraite. Sections de tableaux

  Matthew B. Dwyer (Université du Kansas)

  Carl A. Gunter (U. Pennsylvanie)

  Chris Hankin ( Imperial College, Londres )

  Interprétation abstraite.

  Graph rewriting.

  Parallélisme.

  John Hatcliff ( DIKU, Copenhague )

  Sémantique de programmes fonctionnels.

  Nevin Heintze

  /afs/cs.cmu.edu/user/nch/www

  Set Based Analysis

  Suresh Jagannathan (NEC)

  Kim Marriott (Melbourne)

  Interprétation abstraite. Programmation logique.

  Alan Mycroft (Cambridge)

  Interprétation abstraite

  vérification de circuits, temps réel

  typage

  Nielson's

  • Flemming Nielson
  • Hanna Riis Nielson
  • Principles of Program Analysis
  • DAIMI (Danemark)

  Projet LANDE (IRISA) : Daniel LeMétayer

  analyse de pointeurs

  Prolog

  Reinhard Wilhelm (Université de Saarbrücken)

  Amr Sabry ( Oregon )

  Sémantique des langages fonctionnels.

  Shmuel Sagiv ( Chicago )

  Mooly Sagiv

  David Schmidt (Université du Kansas)

Analyses de flots de données, optimisation de code

• Wolfram Amme (Iéna)
• Rastislav Bodík (Wisconsin)
• Andrew Chien, J. Plevyak (Urbana, Illinois)
  Concurrent Systems Architecture Group.
  Analyse des langages orientés-objet. Clifford Click
  Rice University

  Alexandre Eichenberger (North Carolina)

  cours DFA

  pipeline logiciel

  David Evans ( MIT )

  Projet LARCH : spécifications formelles.

  LCLint : outil pour l'analyse statique de programmes C.

  Jeanne Ferrante ( UCSD )

  Analyse de flots de données.

  Program Dependence Graph.

  génération de code, parallélisme à grain fin.

  Rajiv Gupta ( Arizona )

  Analyse de flots de données, optimisation, parallélisme.

  Laurie Hendren (Université McGill, Montréal)

  McCat ( compilateur C )

  Optimisation de code, analyse statique, pointeurs.

  Susan Horwitz (Université du Wisconsin)

  Analyse de flots de données, analyse interprocédurale.

  "Slicing".

  Environnement de programmation.

  Jens Knoop (Dortmund)

  Lakhotia (Lafayette)

  Monica Lam (Stanford)

  Système SUIF : plate-forme de développement de compilateurs

  James Larus ( Wisconsin )

  Profiling.

  Christian Lengauer (Passau)

  parallélisation : polytope model

  LooPo

  Chris J. Newburn

  Program Dependence Graph.

  Analysis of assembler.

  Cindy Norris (Appalaches)

  allocation de registres vs scheduling

  Program Dependence Graph

  Diego Novillo (Alberta, Canada)

  analyse de programmes parallèles

  Keshav Pingali (Cornell)

  Lori Pollock (Université du Delaware)

  allocation de registres, software testing, parallelisme

  Towards Identifying and Monitoring Optimization Impacts

  (papier dans MASPLAS'97)

  Thomas W. Reps (Université du Wisconsin)

  Analyse de flots de données, analyse interprocédurale.

  "Slicing".

  Environnement de programmation.

  Dick Rüttgers

  Barbara Ryder (Université Rutgers)

  PROLANGS Project

  W. Landi, T. Marlowe

  Analyse de flots de données. Analyses d'alias avec pointeurs.

  Lire l'index : 00-index.

  Taylor Simpson

  Rice University

  Mike Smith (Harvard)

  Mary Lou Soffa ( Pittsburgh )

  Bjarne Steensgaard, D.Weise, Erik Ruf ( Microsoft )

  Analyse de flots de données, value dependence graph.

  Bernhard Steffen (Passau)

  Reinhard Wilhelm (Université de Saarbrücken)

  • Martin Alt, Christian Ferdinand, Florian Martin, ...
  • interprétation abstraite
  • génération de code
  • localité des données
  • génération d'analyseurs : PAG (Florian Martin)

  Michael Wolfe

  Sparser Research Group at OGI

  Emilio Zapata (Malaga)

  matrices creuses

Transformations de boucles

• Paul Feautrier ( PRiSM, Université de Versailles-St Quentin )
  • Parallélisation Automatique.
  • Analyse de flots de données dans les boucles.
  • Parametric Integer Programming ( "PIP" ).
• Projet PIPS : École des Mines, Fontainebleau
• UMIACS, Maryland : Omega test
  • Bill Pugh
  • Omega test
  • Techical Reports Maryland
  • David Wonnacott
  • CHAOS (Joel Saltz)
• Université du Minnesota
  • Agassiz project
    compilation pour machines parallèles
    multithread
• Université de Passau: Projet Loopo
  • Christian Lengauer
• ICPS
  Informatique et Calcul Parallèle de Strasbourg

  Kulkarni (Toronto)

  Rice : Massively Scalar Compiler Group

  Monica Lam (Stanford)

"Slicing"

• University of California, San Diego
  John David Morgenthaler

  Jens Krinke

  Susan Horwitz

  Projet LANDE (IRISA)

Partial Evaluation

• DIKU

"Model Checking"

• Teodor Rus (Iowa)
• Daniel Jackson ( Carnegie Mellon )
• Bernhard Steffen ( U. Passau )

SISAL

• SISAL
  Langage fonctionnel inspiré par les architectures data-flow.

  SISAL : tutoriel

  SISAL90 : tutoriel

Pipeline logiciel, ILP

• Ramaswamy Govindarajan (Bangalore)
• EPIC history
• Projet IMPACT (Illinois)
• Trimaran (Hewlett Packard)
• Hewlett Packard : reports
• Vicky Allan (Utah State)
• Mark Stoodley (Toronto)
• Alexandre Eichenberger
• Sylvain Lelait, INRIA et Vienna (Autriche)
• Stanford : Thèses dirigées par M. Flynn
• MIT : Computer-Aided Automation Group (Srinivas Devadas)
  spécification et vérification d'architectures
  ISDL : Instruction Set Description Language
  SPAM

Architectures de processeurs

• MicroProcessor Report
• arstechnica
• Who are the Computer Architects?
• The RISC Concept - A Survey of Implementations (M. Esponda and R. Rojas, Berlin, Sept. 1991)
• Guy Chesnot (Marne la Vallée) : cours d'informatique
• projet CAPS (Bodin, Seznec)
• Salto : manipulation d'assembleur
• Smotherson (Clemson U., North Carolina)
• x86, Pentium
  • Dr.Dobb's: Intel
  • Pentium Pro : les pages d'Intel
  • Pentium
  • articles sur x86 et Pentium (indépendants d'Intel)
  • Une autre opinion sur le Pentium 4 (D. Mihocka)
  • PC Guide Reference Guide
• MIT Alewife Project
• MIPS R10000 (SGI)
• Trimedia (Philips)
• IA-64
• IA-64 : Itanium
• TERA
• Jack Dongarra : état de l'art des supercalculateurs
• PA-RISC
• POWER-PC
• IBM: VLIW (Ebcioglu)
• Wisconsin : Projet Multiscalar
• Washington (Seattle) : Susan Eggers
  Simultaneous MultiThreading

  Tep Dobry

  Cours sur les architectures

  NUMAchine Multiprocessor Project (Toronto)

DSP

• SPAM