Description

The description of this lecture can be found on the SIF master webpage.

Lecture planning and notes


Lecture Date Topic Teacher Notes

21/11/2017 NO LECTURE

1
22/11/2017 Operational semantics (1/2) DD
[pdf]
2
28/11/2017 Operational semantics (2/2)
DD
3
29/11/2017 Dataflow analysis (1/2) TJ [pdf]
4 05/12/2017 Dataflow analysis (2/2) TJ [pdf]
5
06/12/2017 Points-to analysis TJ [pdf]


LECTURE BREAK - HOMEWORK

6
19/12/2017 Lambda-calculus and types systems DD
[ pdf]
7 20/12/2017
Introduction to Abstract interpretation TJ
[pdf]


WINTER BREAK

8 09/01/2018
Static information flow control DD
[pdf]
9
10/01/2018
Dynamic information flow control TJ
[pdf]
10
17/01/2018
Software Fault Isolation, Binary Analysis TJ
[pdf]
11
24/01/2018
EXAM

Teachers: Thomas Jensen (TJ) and Delphine Demange (DD)