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
2025-01-21 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)
2025-01-23 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
2025-01-28 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.
2025-01-30 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
2025-02-04 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]
2025-02-06 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
2025-02-11 10:15	Dataflow Analysis 3: Implementing & Scaling Data Flow	Skills 2.[16,17] Skills 3.8 Skills 5.1 Skills 6.[17,18]	Dataflow in JastAdd Widening Control Sensitivity [video] Interval Domain Additional Reading: Møller/Schwartzbach Chapters 6, 7 until 7.1 (inclusive)
2025-02-13 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
2025-02-18 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
2025-02-20 10:15	Interprocedural Analysis	Skills 3.[11,12] Skills 6.[19–21]	Interprocedural Analysis 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]
Week 5
2025-02-25 10:15	Advanced Interprocedural Analysis	Skills 8.[0–5]	Interprocedural Analysis Call Graphs and Dynamic Dispatch Analysis Composition
2025-02-27 10:15	Dynamic Analysis 1	Skills 9.7
Week 6
2025-03-04 10:15	Dynamic Analysis 2	Skills 9.[0–6,8,9]
2025-03-06 10:15	Dynamic Analysis 3 and Review<