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
2026-01-20 10:15	Introduction	Skills 0.[3–6] Skills 3.[0–4]	Class overview Fundamental Concepts and Limitations Applications Introduction to Static Program Analysis
Videos		See Lecture 2	JastAdd-00: Abstract Grammars in JastAdd JastAdd-01: Static Aspect-Oriented Programming in JastAdd JastAdd-02: Weaving Static Aspects in JastAdd JastAdd-03: Introduction to Attribute Grammars: Part 1 JastAdd-04: Introduction to Attribute Grammars: Part 2 JastAdd-05: Attribute Grammars in JastAdd JastAdd-06: Synthesised attributes JastAdd-07: Inherited attributes JastAdd-08: JastAdd Example: Fractions JastAdd-09: [Optional] Attribute Grammar Evaluation JastAdd-10: Broadcasting Inherited Attributes in JastAdd JastAdd-11: Broadcasting Inherited Attributes in JastAdd: Example: Fractions (revisited)
2026-01-22 10:15	Abstract Grammars and JastAdd	Skills 2.[0–13]	Flipped Classroom lecture; watch all (non-optionla) videos before attending! Reference Attribute Grammars (RAGs) Computing Program Porperties in RAGs The JastAdd RAG system Additional Reading: JastAdd documentation: [concept overview] [tutorial] [reference manual]
Week 1
2026-01-27 10:15	Monomorphic Type Analysis	Skills 4.[0,1]	Types Typing Rules Type Inference Additional Reading: Møller/Schwartzbach Chapter 3.1 - 3.2
Videos		Skills 1.[0–4] Skills 2.[14,15]	JastAdd-13: Parameterised Attributes [slides] JastAdd-15: Collection Attributes [slides] Meta-Languages [slides] Refresher: Formal Notation [slides] For videos released after lecture 4, check below.
2026-01-29 10:15	Polymorphic Type Analysis	Skills 4.[2–10]	Unification Polymorphic Type Inference Additional Reading: Møller/Schwartzbach Chapter 3.3 Extra Videos [repetition/optional] Polymorphic Type Inference Union-Find Datastructure: Extended Explanation
Week 2
2026-02-03 10:15	Dataflow Analysis 1: Introduction	Skills 1.5 Skills 3.[5–7] Skills 5.0 Skills 6.[0–5]	Control-Flow Graphs Basic Dataflow Analysis Additional Reading: Møller/Schwartzbach Chapters 2.5, 5, 5.2, 5.4
Videos		Skills 1.7 Skills 6.6	Video: Lattices [slides]
2026-02-05 10:15	Dataflow Analysis 2: Intraprocedural Analysis	Skills 1.6 Skills 6.[7–14]	Lattices and Fixpoints Monotone Frameworks The MFP Algorithm Additional Reading: Møller/Schwartzbach Chapters 4, 5.3, 5.8–5.10
Week 3
2026-02-10 10:15	Dataflow Analysis 3: Implementing Data Flow	Skills 2.[16,17] Skills 5.1	Dataflow in JastAdd
2026-02-12 10:15	Pointer Analysis 1	Skills 3.9 Skills 7.[0–9,11]	Heap Allocation Aliasing Pointers Additional Reading: Møller/Schwartzbach Chapter 11 up to and including 11.1, plus 11.3 Additional Reading (very optional): [Kanvar, Khedkar survey paper]
Week 4
2026-02-17 10:15	Pointer Analysis 2	Skills 3.10 Skills 7.[10,12,13]	Andersen's Points-To Analysis Additional Reading: Møller/Schwartzbach Chapters 11.2, 11.6
Videos
2026-02-19 10:15	Interprocedural Analysis	Skills 3.[8,11,12] Skills 6.[17–20]	Widening Control Sensitivity [video] Interval Domain Additional Reading: Møller/Schwartzbach Chapters 6, 7 until 7.1 (inclusive) Interprocedural Analysis
Week 5
2026-02-24 10:15	Advanced Interprocedural Analysis	Skills 6.21 Skills 8.[0–2,5]	Interprocedural Summaries with IFDS Call Graphs and Dynamic Dispatch Analysis Composition Additional Reading: Møller/Schwartzbach Chapter 9 For the IFDS/IDE algorithms: Chapter 10 Additional Reading (optional): Eric Bodden: Inter-procedural Data-flow Analysis with IFDS/IDE and Soot (Section 2) Advanced reading: [IFDS paper], [IDE paper]
2026-02-26 10:15	Dynamic Analysis 1	Skills 8.[3,4] Skills 9.[0–4,7]	Dynamic Analysis Foundations Bonus videos about Just-in-Time compilation (not part of course material): Just-in-Time Compilation Dynamic Compilation and Optimisation On-Stack Replacement Guarded Inlining
Week 6
2026-03-03 10:15	Dynamic Analysis 2	Skills 9.[5,6,8,9]	Part 1: Applications of Dynamic Program Analysis Part 2: 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`
2026-03-05 10:15	Review and Outlook<