Course Schedule

Apa
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 [ [[http://www.cs.uu.nl/docs/vakken/apa/01administrationmotivationintroduction.pdf][Download  slides]] ]
   * Dataflow analysis, intraprocedural [ [[http://www.cs.uu.nl/docs/vakken/apa/02dataflow-intraprocedural.pdf][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 [ [[http://www.cs.uu.nl/docs/vakken/apa/03dataflow-interprocedural.pdf][Download slides]] ]

*Tue 7 May, 9-13*: Abstract Interpretation
   * Abstract Interpretation [ [[http://www.cs.uu.nl/docs/vakken/apa/04abstractinterpretation.pdf][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 [ [[http://www.cs.uu.nl/docs/vakken/apa/06controlflowanalysis.pdf][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  [ [[http://www.cs.uu.nl/docs/vakken/apa/07cfa-continued.pdf][Download slides]] ]
   * Effects in Type Systems [ [[http://www.cs.uu.nl/docs/vakken/apa/08effects.pdf][Download slides]] ]

*Thu 6 Jun, 13-15*: Usage Analysis
   * Usage Analysis [ [[http://www.cs.uu.nl/docs/vakken/apa/09usageanalysis.pdf][Download slides]] ]

*Tue 11 Jun, 9-11*: Type Inference Directives  [ [[http://www.cs.uu.nl/docs/vakken/apa/09typeinferencedirectives.pdf][Download slides]] ]
   * Constraint-based Hindley-Milner
   * Type inference directives

*Thu 13 Jun, 13-15*: Plagiarism detection [ [[http://www.cs.uu.nl/docs/vakken/apa/10plagiarismdetection.pdf][Marble and Holmes]] ]
 [ [[http://www.cs.uu.nl/docs/vakken/apa/11plagiarismtoolcomparison.pdf][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 [ [[%ATTACHURL%/objectsensitivity-popl11-smaragdakis.ppt][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 [ [[http://www.cs.uu.nl/people/jur/programslicing-amir.ppt][Download slides]] ]
   * Guest lecture by Amir Saeidi, !PhD student

 <!-- Partial Evaluation and Binding Time Analysis [ [[http://www.cs.uu.nl/docs/vakken/apa/12partialevaluationandbta.pdf][Download slides]] ]

<!--
*Wed 22 Jun, 13-15*: From numbers to information: an approach to make sense of software metrics [ [[http://www.cs.uu.nl/people/jur/tiagoalves-sig-metrics.pdf][Download slides]] ]
   * Guest lecture by Tiago Alves, of the Software Improvement Group

*Tue 12 Jun*: no lectures. Jurriaan is in Scotland!




*Thu 28 Jun, 13-15*: Measuring Software Product Quality
   * Guest lecture by Eric Bouwers, !PhD student at Software Improvement Group

-->

-- Main.JurriaanHage - 4 May 2012
Master Course Automatic Program Analysis

Course Schedule

Master Course
Automatic Program Analysis
