Optimising Compilers
2004-05
Principal lecturer: Dr Alan Mycroft
Taken by: Part II
Syllabus
Past exam questions (not all of which are now relevant)
Further information:
- Course Notes (as PDF)
- addr3.c, a 1-page C program to convert
arithmetic expressions into 3-address code (cf. TRN from the Part IB
Compiling Techniques course)
- Solutions to selected Tripos questions
(a little out-of-date, and generally hidden during Lent term!)
Some of the articles referenced in the notes.
(Note: although these are listed as `background reading', it is
not expected that candidates know this material --
it is really only there for keen interests such as potential PhD students
in this area and even so much of it pretty inaccessible. An exception
is the Decompilation Page which is very readable.)
-
The Decompilation Page and its
Legality of Decompilation page appearing as part of
www.program-transformation.org WIKI.
- Cifuentes'
DCC system.
- Cifuentes, C.
Reverse Compilation Techniques [not for the fainthearted],
PhD thesis, University of Queensland, 1994.
First 8 pages
of Chapter 6 of Cifuentes' PhD
- Mycroft, A. and Norman, A.C.
Optimising compilation---classical imperative languages.
Proc. XIX SOFSEM 92, \v{Z}diar, Czechoslovakia. INFOSTAT, Bratislava, 1992.
Also available in
technical report 269, Cambridge University Computer Laboratory.
- Mycroft, A. and Norman, A.C.
Optimising compilation---lazy functional languages.
Proc. XIX SOFSEM 92, \v{Z}diar, Czechoslovakia. INFOSTAT, Bratislava, 1992.
Also available in
technical report 269, Cambridge University Computer Laboratory.
- Mycroft, A.
Type-Based Decompilation [not for the fainthearted].
Lecture Notes in Computer Science:
Proc. ESOP'99, vol. 1576, Springer-Verlag, 1999.
- Johnson, N.E. and Mycroft, A.
Combined Code Motion and Register Allocation using the Value State
Dependence Graph [not for the fainthearted].
Lecture Notes in Computer Science:
Proc. CC'03, vol. 2622, Springer-Verlag, 2003.
- Touati, S.-A.-A.
Register Pressure in Instruction Level Parallelism
[not for the fainthearted],
PhD thesis,
University of Versailles, 2002.
Access to some of these links is restricted to machines within the Computer Laboratory.
|
