Course material 2010–11

Advanced Data Flow Analysis

Principal lecturers: Prof Alan Mycroft, Prof Uday P Khedker
Taken by: MPhil ACS
Syllabus

Further information:

• Undergraduate (Part II) web page on Optimising Compilers (additional, non-examinable, material)
• Material from the above course summarised in Lecture 1:
  • Lecture notes for part A (19 pages)
  • Slides from Lecture 1 (only the material from "Optimising Compilers Lectures 1-3" was summarised).
• Lecture 1 Mathematical background slides (as PDF)
• Lecture 2 (as PDF)
• Lecture 3 (as PDF)
• Lecture 4 (as PDF)
• Lecture 5 (as PDF) (note that the material on Heap Reference Analysis was not covered).
• Lecture 6 (as PDF)
• Sample exam-style questions (as PDF). Some of these questions cover material not lectured in L111 (but the real exam questions will only cover lectured material).