Season 1

16 episodes April 3, 2024

test

Episodes

1 Course Introduction Apr 3, 2024 No ratings 2 Intermediate Representation Apr 10, 2024 No ratings 3 Data Flow Analysis - Applications I Apr 17, 2024 No ratings 4 Data Flow Analysis - Applications II Apr 24, 2024 No ratings 5 Data Flow Analysis - Foundations I May 1, 2024 No ratings 6 Data Flow Analysis - Foundations II May 8, 2024 No ratings 7 Interprocedural Analysis May 15, 2024 No ratings 8 Pointer Analysis May 22, 2024 No ratings 9 Pointer Analysis - Foundations I May 29, 2024 No ratings 10 Pointer Analysis - Foundations II Jun 5, 2024 No ratings 11 Pointer Analysis - Context Sensitivity I Jun 12, 2024 No ratings 12 Pointer Analysis - Context Sensitivity II Jun 19, 2024 No ratings 13 Static Analysis for Security Jun 26, 2024 No ratings 14 Datalog-Based Program Analysis Jul 3, 2024 No ratings 15 CFL-Reachability and IFDS Jul 10, 2024 No ratings 16 Soundness and Soundiness Jul 17, 2024 No ratings