Bouclettes is a source to source loop nest parallelizer It takes as input Fortran uniform perfectly nested loops and gives as output an HPF High Performance Fortran program with data distribution and parallel HPF INDEPENDENT loops This paper presents the tool and the underlying parallelization methodology

FORTRAN is widely viewed as the programming language of choice for scientific and numerical computations. However, limitations of the language lead some to argue that it should be replaced by another language which better lends itself to the production of structured and maintainable code. We provide quantitative data relevant to this argument by reporting on a port of the NAS Kernels benchmark ...

Abstract Fortran is widely used in computational science, engineering, and high performance computing. This paper presents an extension to the CIVL verification framework check correctness properties of programs. Unlike previous work that translates C, LLVM IR, or other intermediate formats before verification, our allows directly consume source files. We extended parsing, translation, analysis...

Languages such as Fortran D and High Performance Fortran use ex plicit virtual processor arrays Templates or Decompositions to which the programmer explicitly aligns the arrays of the program We explore a technique to automate this process In particular we are interested in imperative languages similar to Fortran and scienti c computations using indexed data structures arrays We have implemente...

The success of large-scale parallel architectures is limited by the diiculty of developing machine-independent parallel programs. We have developed Fortran D, a version of Fortran extended with data decomposition speciications, to provide a portable data-parallel programming model. This paper presents the design of two key components of the Fortran D programming system: a prototype compiler and...

The Parallel Ocean Program (POP) is a 71,000 line-of-code program written in Fortran and MPI. POP is a component of the Community Earth System Model (CESM), which is a heavily used global climate model. Now that Coarrays are part of the Fortran standard one question raised by POP’s developers is whether Coarrays could be used to improve POP’s performance or reduce its code volume. Although Coar...

ions for object-oriented languages and parallel high-performance sci-enti c computing.Barbara ChapmanBarbara Chapman has studied Mathematics and Computer Science at theUniversity of Canterbury, New Zealand, the University of Bonn, Germany,and Queen's University of Belfast, Northern Ireland. She was co-developerof Vienna Fortran, a precursor to High Performance Fortran, w...

Numerically solving a second quantised many-body model in the permutation symmetric Fock space can be challenging for two reasons: (i) an increased complication calculations of matrix elements various operators, and (ii) poor scaling cost these with size. We present method that solves both problems. find mapping used to simplify elements. The is directly generated so its computational scales on...