In this paper we describe and demonstrate a compiler and runtime support mechanism. The methods presented here are capable of solving a wide range of sparse and unstructured problems in scientific computing. The compiler takes as input a Fortran 77 program enhanced with specifications for distributing data, and the compiler outputs a message passing program that runs on a distributed memory com...

To implement lazy functional languages eeciently it is necessary for a compiler analyse many properties of the program. Analysis techniques proposed to support such implementations have a similar structure and each analysis is of suucient complexity that it requires a signiicant body of research to exploit to the full. We present ow graphs as a formal framework to support the diierent program a...

A systematic method of compiling lazy functional programs based on the Spineless Tagless G-machine (STGM) is presented for the Java Virtual Machine (JVM). A new specification of the STGM, which consists of a compiler and a reduction machine, is presented; the compiler translates a program in the STG language, which is the source language for the STGM, into a program in an intermediate language ...

This thesis makes improvement to the process of ahead-of-time feedback-directed optimization (FDO) in compiler design. It examines multiple aspects of FDO from profile collection and representation through to the performance evaluation of FDO code transformations. Two guiding principals knit the four components of the research together. The first principle is a recognition that program behavior...

A 3D object localization task may be divided into two steps. First, one object appearance will be classified into one of the topo-logically equivalent classes of the 3D object appearances, referred to as aspects of the object (aspect classification). Then, the precise attitude and position of the object will be determined within one aspect (linear shape change determination (LSCD)). We have bee...

In this paper, we describe the structure of C parallelizing compiler based on the functional parallelism. For generating coarse grain processes, the function-oriented division strategy is adapted in our compiler. In our process generation method, a function written in the program is a unit of coarse grain distributed processes. Our compiler is constructed as a preprocessor on GNU C compiler. We...

We evaluate the use of program checking to ensure the correctness of compiler implementations. Our contributions in this paper are threefold: Firstly, we extend the classical notion of black-box program checking to program checking with certificates. Our checking approach with certificates relies on the observation that the correctness of solutions of NP-complete problems can be checked in poly...