Weekly Schedule

Planned content. Changes may occur. Details will be added during the course. Click on the name of the lecture to download the slides.

Go to: Week 0, Week 1, Week 2, Week 3, Week 4, Week 5, Week 6

Week 0
2022-10-31 10:15	Introduction	Skills 0.[4–5] Skills 2.[0–4]	Class overview Quick Tour Foundations and Application Areas
2022-11-02 10:15	Monomorphic Type Analysis	Skills 3.[0–1]	Types Typing Rules Type Inference Reading: Møller/Schwartzbach Chapter 3.1 - 3.2
Videos		Skills 1.[0–4]	Formal Notation Meta-Languages
Week 1
2022-11-07 10:15	Polymorphic Type Analysis	Skills 3.[2–9]	Unification Polymorphic Type Inference Reading: Møller/Schwartzbach Chapter 3.3
2022-11-09 10:15	Dataflow Analysis 1: Introduction	Skills 0.6 Skills 1.5 Skills 2.[5–6] Skills 4.[0–2] Skills 5.[0–3]	Control-Flow Graphs Basic Dataflow Analysis Reading: Møller/Schwartzbach Chapters 2.5, 5-5.1
Videos		Skills 1.7 Skills 5.[4,4]	Reaching Definitions Analysis (Data Flow example) Lattices
Week 2
2022-11-14 10:15	Dataflow Analysis 2: Intraprocedural Analysis	Skills 1.6 Skills 5.[6–12]	Lattices and Fixpoints Monotone Frameworks The MFP Algorithm Reading: Møller/Schwartzbach Chapters 4, rest of 5 (skim 5.5–5.6)
2022-11-16 10:15	Dataflow Analysis 3: Scaling Data Flow	Skills 2.[7–9] Skills 5.[16–18]	Widening Interval Domain Basic Interprocedural analysis Reading: Møller/Schwartzbach Chapters 6, 7 until 7.1 (inclusive), 8 until 8.2 (inclusive)
Videos		Skills 6.[0,1]	Why Pointer Analysis
Week 3
2022-11-21 10:15	Pointer Analysis 1	Skills 2.10 Skills 6.[2–8]	Heap Allocation Aliasing Pointers Reading: Møller/Schwartzbach Chapter 11 up to and including 11.1, plus 11.3 Reading (very optional): [Kanvar, Khedkar survey paper]
2022-11-23 10:15	Pointer Analysis 2	Skill 2.11 Skills 6.[10,12,13]	Andersen's Points-To Analysis
Videos		Skill 6.11	Steensgaard's Algorithm
Week 4
2022-11-28 10:15	Dataflow Analysis 4: Interprocedural Analysis	Skills 5.[19,20]	Procedure Summaries The IFDS algorithm Reading (very optional): Eric Bodden: Inter-procedural Data-flow Analysis with IFDS/IDE and Soot (Section 2) Advanced reading: [IFDS paper], [IDE paper]
2022-11-30 10:15	Advanced Language Features	Skills 7.[0–4]	Call Graphs and Dynamic Dispatch Analysis Composition Limitations of Static Analysis
Videos			No videos this week
Week 5
2022-12-05 10:15	Dynamic Analysis 1	Skills 8.[0–9]	Dynamic Analysis Foundations
2022-12-07 10:15	Bayesian Statistics		Guest Lecture: Noric Couderc, Lund University Understanding Program Behaviour through Statistical Inference
Week 6
2022-12-12 10:15	Guest Lecture		Guest Lecture: Patrik Åberg, Magnus Templing (Ericsson) Dynamic Instrumentation with DMCE You can reach them per e-mail at `ericsson.com` as `patrik.aberg` and `magnus.templing` Taint Analysis
2022-12-14 10:15	Review		Review Outlook