Skip to Main content Skip to Navigation

Program Analysis and Transformation: From the Polytope Model to Formal Languages

Albert Cohen 1
1 ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France
Abstract : Compilation for todays microprocessor and multi-processor architectures is facing new challenges. Dealing with parallel execution, optimizations become overly specific and complex to be left to the programmer. Traditionally devoted to numerical applications, automatic parallelization addresses new program models, including non-affine nests of loops, recursive calls and pointer-based data structures. Parallelism detection is based on precise analyses, gathering compile-time information about run-time program properties. This information enables transformations useful to parallelism extraction and parallel code generation. This thesis focuses on aggressive analysis and transformation techniques from an instancewise point of view, that is from individual properties of each run-time instance of a program statement. Thanks to a novel formal language framework, we first investigate instancewise dependence and reaching definition analysis for recursive programs. This analysis is applied to memory expansion and parallelization of recursive programs, and promising results are exposed. The second part of this work addresses nests of loops with unrestricted conditionals, bounds and array subscripts. Parallelization via memory expansion is revisited in this context and solutions to challenging optimization problems are proposed.
Complete list of metadatas
Contributor : Albert Cohen <>
Submitted on : Friday, December 31, 2010 - 12:19:53 AM
Last modification on : Wednesday, September 16, 2020 - 5:06:36 PM
Long-term archiving on: : Friday, April 1, 2011 - 2:25:37 AM



  • HAL Id : tel-00550829, version 1



Albert Cohen. Program Analysis and Transformation: From the Polytope Model to Formal Languages. Networking and Internet Architecture [cs.NI]. Université de Versailles-Saint Quentin en Yvelines, 1999. English. ⟨tel-00550829⟩



Record views


Files downloads