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
2024-01-15 08: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)
2024-01-17 08: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
2024-01-22 08: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.
2024-01-24 08: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
2024-01-29 08:15	Dataflow Analysis 1: Introduction	Skills 1.5 Skills 3.[5,6] Skills 5.0 Skills 6.[0–4]	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.5	Video: Lattices [slides]
2024-01-31 08:15	Dataflow Analysis 2: Intraprocedural Analysis	Skills 1.6 Skills 6.[6–13]	Guest lecturer: Alexandru Dura Lattices and Fixpoints Monotone Frameworks The MFP Algorithm Additional Reading: Møller/Schwartzbach Chapters 4, 5.3, 5.8–5.10
Week 3
2024-02-05 08:15	Dataflow Analysis 3: Implementing & Scaling Data Flow	Skills 2.[16,17] Skills 3.7 Skills 5.1 Skills 6.[16,17]	Dataflow in JastAdd Widening Control Sensitivity Interval Domain Additional Reading: Møller/Schwartzbach Chapters 6, 7 until 7.1 (inclusive)
Videos
2024-02-07 08:15	Pointer Analysis 1	Skills 3.8 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
2024-02-12 08:15	Pointer Analysis 2	Skills 3.9 Skills 7.[10,12,13]	Andersen's Points-To Analysis Additional Reading: Møller/Schwartzbach Chapters 11.2, 11.6
Videos
2024-02-14 08:15	Interprocedural Analysis	Skills 3.[10,11] Skills 6.[18,19]	Part 1: Interprocedural Analysis Additional Reading: Møller/Schwartzbach Chapter 9 For the IFDS/IDE algorithms (very optional): Chapter 10 Part 2: Guest Lecture: Patrik Åberg, Magnus Templing (Ericsson) Dynamic Instrumentation with DMCE
Week 5
2024-02-19 08:15	Advanced Interprocedural Analysis	Skills 6.20 Skills 8.[0–2]	Interprocedural Analysis Additional Reading: Møller/Schwartzbach Chapter 9–9.4 For the IDE algorithms (very optional): Chapter 9.5ff Call Graphs and Dynamic Dispatch Analysis Composition
Videos			Control Sensitivity (Interval Lattice) [slides]
2024-02-21 08:15	Dynamic Analysis 1	Skills 8.[3,4] Skills 9.[0–4,7]
Week 6
2024-02-26 08:15	Dynamic Analysis 2	Skills 9.[5,6,8,9]
2024-02-28 08:15	Review		Review Outlook