Inria / Raweb 2003
Project: A3

Analyse Avancée Appliquée à l'optimisation des codes

• Members
• Overall Objectives
• Scientific Foundations
• Application Domains
• Software
  • DiST
  • Tuareg
  • DigLC2
  • CLooG 
  • PipLib
  • PiLo : pipeline logiciel, software pipelining
  • LoRA : Loop Register Allocation
  • TOPS : source to source software pipelining
  • Tools for symbolic computation and polyedra manipulation
  • SAREQ : testing the equivalence of systems of recurrence equations
• New Results
  • Semantic analysis of programs
  • Optimization of programs performance
  • Synchronous languages and real-time videoprocessing applications
• Contracts and Grants with Industry
  • The Sandra project
  • The Cop project
• Other Grants and Activities
  • National Initiatives
  • European initiatives
  • International initiatives
  • Visiting scientists
• Dissemination
  • Leadership within scientific community
  • Teaching at university
  • Workshops, seminars, invitations
• Bibliography
  • Major publications
  • Year Publications
  • References in notes