Compiler Optimisation (Level 10) (U02845)

? Credit Points : 10 ? SCQF Level : 10 ? Acronym : INF-4-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. The course work will require students to implement selected optimisations in a research compiler.

Entry Requirements

? Pre-requisites : Compiling Techniques Successful completion of Year 3 of an Informatics Single or Combined Honours Degree, or equivalent by permission of the School. Students are expected to be competent programmers in C, C++ or Java.

? Prohibited combinations : Compiler Optimisation (Level 11)

Subject Areas

Home subject area

Computer Systems Organisation, (School of Informatics, Schedule O)

Other subject areas

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

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

Delivery Information

? Normal year taken : 4th year

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

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

All of the following classes

Type	Day	Start	End	Area
Lecture	Monday	10:00	10:50	Central
Lecture	Thursday	10:00	10:50	Central

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.