We are interested in how compiler technology can best exploit the potential performance in parallel architectures. We are interested in developing new theory and optimisation techniques and then prototyping these ideas in experimental compilers. Compilers are one component in high perfomance computing and we focus on the interaction with other components, most notably architecture design. For example, we consider the impact of compilers on VLIW processor design and how complier-directed cache coherence can reduce hardware overhead. We are also involved in the development of auto-parallelising compilers, program transformation theory, partitioning and scheduling algorithms, embedded systems and adaptive compilation.
Postdoctoral Research Associateship/ Postgraduate Studentship
opportunities available