Compiler Optimisation (Level 11) (P01446)

? Credit Points : 10 ? SCQF Level : 11 ? Acronym : INF-P-COPT

This course introduces students to modern techniques in efficient implementation of programming languages. Modern processors and systems are designed based on the assumption that a compiler will be able to effectively exploit architectural resources. This course will examine in detail techniques to exploit instruction level parallelism, memory hierarchy and higher level parallelism. It will examine classic static analysis approaches to these problems and introduce newer feedback directed and dynamic approaches to optimisation. The course work will require students to implement selected optimisations in a research compiler and critically review literature in compiler optimisation.

Entry Requirements

? Pre-requisites : For Informatics PG students only, or by special permission of the School. Students must have completed an introductory course in compilation or have designed and implemented a basic compiler, also expected to be competent programmers in C, C++ or Java.

? Prohibited combinations : Compiler Optimisation (Level 10)

Subject Areas

Home subject area

Parallel and Distributed Computing, (School of Informatics, Schedule O)

Other subject areas

Programming Languages and Techniques, (School of Informatics, Schedule O)

Delivery Information

? Normal year taken : Postgraduate

? Delivery Period : Semester 2 (Blocks 3-4)

? Contact Teaching Time : 2 hour(s) per week for 10 weeks

First Class Information

Date	Start	End	Room	Area	Additional Information
08/01/2007	12:10	13:00	Lecture Room 5326, JCMB	KB

All of the following classes

Type	Day	Start	End	Area
Lecture	Monday	12:10	13:00	KB
Lecture	Thursday	12:10	13:00	KB

Summary of Intended Learning Outcomes

On completion of the course, students should be able to:
-Demonstrate knowledge of modern compiler construction, phase order and optimisation complexity;
-Demonstrate understanding of how architectural issues impact on compiler optimisation, analysis and transformation;
-Demonstrate understanding of static and dynamic approaches to uni and multi-processor optimisation for imperative programs;
-Use existing compiler infrastructures to design and implement new optimisation phases based on analysis and transformation;
-Empirically evaluate the behaviour and performance of competiting optimisation approaches;
-Review and critically evaluate literature in compiler optimisation.