University Homepage School Homepage School Contacts School Search

Compiler Optimisation Home Page

Lecturer: Michael O'Boyle

Lectures are in Semester 2, scheduled for the following times in AT M3:

                        Monday   10.00 - 10.50
                        Thursday  10.00 - 10.50

Introduction

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.

Context

For 4th year students, Compiling Techniques is a pre-requisite. MSc students must have completed an introductory course in compilation or have written a compiler.

General Course-related Documents

• Syllabus
• Course questionnaire - please complete and return to ITO

References:

• R. Joshi, G. Nelson, K. H. Randall Denali: A Goal-directed Superoptimizer, PLDI 2002(required, examinable reading)
• K. D. Cooper, L. Torczon Engineering a Compiler Morgan Kaufmann 2003.
• R. Allen K. Kennedy Optimizing Compilers for Modern Architectures: A Dependence-based Approach Morgan Kaufmann 2001
• A. Aho,R. Sethi, J.D.Ullman Compilers: Priciples, Techniques and Tools. Addison Wesley 1986
• S. Muchnick, Advanced Compiler Design and Implementation Morgan Kaufmann 1997

Lecture Notes

• Lecture Note 1 (PDF)
• Lecture Note 2 (PDF) Description of coursework
• Lecture Note 3 (PDF)
• Lecture Note 4 (PDF)
• Lecture Note 5 (PDF)
• Lecture Note 6 (PDF)
• Additional Lecture Material: Register Allocation (PDF)
• Lecture Note 7 (PDF)
• Lecture Note 8 (PDF)
• Lecture Note 9 (PDF)
• Lecture Note 10 (PDF) Description of coursework part 2
• Lecture Note 11 (PDF)
• Lecture Note 12 (PDF)
• Lecture Note 13 (PDF)
• Lecture Note 14 (PDF)
• Lecture Note 15 (PDF)
• Lecture Note 16 (PDF)

Coursework:

SPEC tar files contains the SPEC benchmarks to be used for the coursework