We study five popular auto‐parallelization frameworks (Cetus, Par4all, Rose, ICC, and
Pluto) and compare them qualitatively as well as quantitatively. All the frameworks primarily …

Directive-driven programming models, such as OpenMP, are one solution for exploring the
potential parallelism when targeting multicore architectures. Although these approaches …

We discuss the design and the implementation of Locus, a system and a language to
orchestrate the optimization of applications. The increasing complexity of machines and the …

Developing and optimizing software applications for high performance and energy efficiency
is a very challenging task, even when considering a single target machine. For instance …

Ubiquitous multicore architectures require that many levels of parallelism have to be found
in codes. Dependence analysis is the main approach in compilers for the detection of …

High performance systems have complex, diverse and rapidly evolving architectures. The
span of applications, workloads, and resource use patterns is rapidly diversifying. Adapting …

In software development, from High-Performance Computing (HPC) to embedded
computing systems, performance and energy consumption are ubiquitous Non-Functional …

Alias analysis for Fortran is less complicated than for programming languages with pointers
but many real Fortran programs violate the standard: a formal parameter or a common …

Code optimization is an intricate task that is getting more complex as computing systems
evolve. Managing the program optimization process, including the implementation and …

Software debugging, maintenance and reuse have to deal with many problems from Fortran
scientific codes that do not fully respect the standard specification. Our study on Linpack …