|
Research Overview
|
|
We are interested in how compiler and architecture technology
can lead to better performance in parallel, high-performance,
and application-specific computer systems. We are interested
in developing theory and optimisation techniques for both
compilers and architecture, and we are especially interested
in the interaction between the two. There is on-going work
in the development of auto-parallelising compilers and program
transformation theory for high performance and embedded systems.
Iterative, feedback directed compilation is another current
research area where we investigate different optimisation spaces
and search strategies. We are also currently investigating hardware
and software issues in speculative parallelisation for both small
and large scale multiprocessors.
|
|
|
