François Thomasset : DEA : Analyse statique et génération de code

bibliographie ( postcript compressé, 68K ) ( html )

supports de cours

• Transparents de C. Eisenbeis (2001-2002) :
  • Optimisation du parallélisme à grain fin
  • Techniques du pipeline logiciel
  
  
  
• Transparents de F. Thomasset (2001-2002) :
  • Calcul de dépendances dans les boucles
    
  • Méthode de Fourier-Motzkin
    
  • Programmation Linéaire
    
  • Analyse ``floue''
    
    
  • Pointeurs sur les articles cités dans le cours
  • Forme normale de Hermite
  • Mémento de programmation linéaire
  • Topologie de Scott
  
  
  
• Sujet d'examen proposé par F. Thomasset et C. Eisenbeis (Mars 2001) :
  • le sujet
  • le corrigé
  
  
  
• Sujet d'examen : session de rattrapage (Avril 2001) :
  • le sujet
  • le corrigé
  
  
  

• Notes de cours et pages web

• Publications relatives au cours

• Livres sur la compilation

• Livres sur ls programmation linéaire

• Scale

  ``Scalable Compiler for Analytical Experiments'' :
  Environnement de compilation écrit en Java, développé par l'Université d'Amherst (Massachussetts).
  Disponible gratuitement sur demande pour la recherche et l'enseignement.
  La distribution fournit les sources java, ainsi que l'exécutable d'un compilateur C pour sparc V9 ou Alpha.
  

  Accès local : doc html de Scale

quelques pages web sur l'analyse de flots de données et la génération de code

la page du LIFO