Course Schedule

Notwithstanding what it says on the Education site, the below schedule is authorative. We have at most seven contact hours per week: four on tuesday (9-13) and three on thursday (13-16). Currently, the slides of last year are available as downloads. There will be a few changes to them along the way, but not overly much.

The idea of the course will be that we shall alternate practice sessions with technical explanation by means of slides and beamer. The hours below indicate LECTURING hours, the remaining hours (between 9 -13 on tuesday and 13 - 16 on thursday) are by default devoted to practical work.

Schedule: tba

Old schedule: Tue 23 Apr, 9-13 : Introduction, examples analyses

• Administration, Introduction, Motivation [ Download  slides ]
• Dataflow analysis, intraprocedural [ Download slides ]

Thu 26 Apr, 13-16 : Continues intraprocedural analysis, including background material on lattices

Tue 30 Apr, 9-13: coronation day/Queen's day, no lectures

Thu 2 May, 13-16: intraprocedural analysis algorithm, interprocedural dataflow analysis

• Dataflow analysis, interprocedural [ Download slides ]

Tue 7 May, 9-13: Abstract Interpretation

• Abstract Interpretation [ Download slides ]

Thu 9 May: Ascension day, no lectures

Tue 14 May: I am in the USA

Thu 16 May: I am in the USA

Tue 21 May: 2nd chance exam week

Thu 23 May: 2nd chance exam week

Tue 28 May, 9-13: Control Flow Analysis (part 1)

• Control Flow Analysis [ Download slides ]

Thu 30 May: prof. S. Doaitse Swierstra farewell speech at the Academy building, no lectures

Tue 4 Jun, 9-11: Control Flow Analysis (part 2)

• Polyvariant Control Flow Analysis [ Download slides ]
• Effects in Type Systems [ Download slides ]

Thu 6 Jun, 13-15: Usage Analysis

• Usage Analysis [ Download slides ]

Tue 11 Jun, 9-11: Type Inference Directives [ Download slides ]

• Constraint-based Hindley-Milner
• Type inference directives

Thu 13 Jun, 13-15: Plagiarism detection [ Marble and Holmes ] [ Tool comparison ]

• A look at Marble and Holmes
• Comparison of features and performance for five code plagiarism detection tools

Tue 18 Jun, 9-11: Object-sensitive analysis [ Download slides ]

Thu 20 Jun, 13-15: Measuring Software Product Quality

• Guest lecture by Eric Bouwers, PhD student at Software Improvement Group

Thu 27 Jun, 13-15: Program Slicing [ Download slides ]

• Guest lecture by Amir Saeidi, PhD student

-- JurriaanHage - 4 May 2012