Optimising Compilers
2006-07
Principal lecturer: Mr Tom Stuart
Taken by: Part II
Syllabus
Past exam questions
16 lectures; Mondays, Wednesdays and Fridays at 11–12 in Lecture Theatre 2; Wednesday 7th February – Wednesday 14th March 2007.
Further information:
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, Ž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, Ž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.
|
