Week by week

Planned content. Changes may occur. Details will be added during the course.

2018-09-14 13:15	Introduction	Skills 0.[1-7]	Class overview Program Analysis application areas, foundations Compilation and Execution
2018-09-21 13:15	Dataflow Analysis 1	Skills 1.[1-3, (7)] Skills 2 Skills 4.[1-3]	Program Representation Sets, Graphs, Tuples Dataflow analysis: foundations (textbook) Homework #1 starts Bonus slides: Dataflow Analysis Example
2018-09-28 13:15	Dataflow Analysis 2	Skills 1.[4-6, (7)] Skills 3.[2-7] Skills 4.[4-7]	Lattices (textbook) The MFP and MOP algorithms (textbook) Monotone and Distributive Frameworks (textbook) Basic interprocedural dataflow analysis (textbook)
2018-10-05 13:15	Dataflow Analysis 3	Skills 4.[8-10]	Procedure Summaries (cf. the IFDS/IDE papers below) The IFDS and IDE algorithm [IFDS paper], [IDE paper], [Soot IFDS/IDE paper] Homework #2 starts
2018-10-12 13:15	Pointer Analysis 1	Skills 5.[1-2] Skills 6	Aliasing [Kanvar, Khedkar survey paper] Points-To Analysis (see above) Steensgard's Points-To Analysis [video] Andersen's Points-To Analysis [video] Bonus slides: Basic Callgraph Construction [Rapid Type Analysis]
2018-10-19 13:15	Datalog	Skills 7	Datalog Datalog for Points-To Analysis [Doop tutorial] Homework #3 starts
Lecture break, note the day/time change
2018-11-07 15:15	Pointer Analysis 2	Skill 0.8 Skill 3.9 Skills 6.[8.9]	Object-Sensitive and k-Call-Site-Sensitive Points-To Analysis [Kanvar, Khedkar survey paper], [Smaragdakis et al., Object/Type-Sensitivity] Memory Errors
2018-11-14 15:15	Dynamic Analysis 1	Skill 3.10 Skills 8.[1-5]	Limitations of Static Analyses ["Soundiness manifesto"] Basics of Dynamic Analysis Sampling Challenges [Mytkowicz et al. paper] Homework #4 starts
2018-11-21 15:15	Dynamic Analysis 2	Skills 8.[6-9]	Profiling Dynamic Binary Instrumentation [Valgrind paper] Performance Counters
2018-11-28 15:15	Types 1	Skills 10	Basic Types [Benjamin Pierce: `Types and Programming Languages', MIT Press, for this lecture] Basic Natural Semantics Structural Operational Semantics
2018-12-05 15:15	Types 2	Skills 9 Skills 10	Typing Variables and Subroutines [Benjamin Pierce: `Types and Programming Languages', MIT Press, for this lecture] (Polymorphic) Type Inference Natural Semantics with Heaps Homework #5 starts
2018-12-12 15:15	Types 3		Typing Schemes Variance Effect Analysis
2018-12-19 15:15	Review		Review

Exam

Exam modalities will be determined later. You will have to have finished all lab assignments to be allowed to take the exam.