Static Analysis Courses
ACM SIGPLAN via YouTube How I Learned to Stop Worrying and Love Dynamic Languages
ACM SIGPLAN via YouTube Degrees of Separation: A Flexible Type System for Data Race Prevention
ACM SIGPLAN via YouTube CodeProber: Live Compiler Exploration - LIVE23
ACM SIGPLAN via YouTube Relational Solver for Java Generics Type System
ACM SIGPLAN via YouTube Lifting On-Demand Analysis to Higher-Order Languages
ACM SIGPLAN via YouTube Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
ACM SIGPLAN via YouTube Targeted Static Analysis for OCaml C Stubs - Eliminating Gremlins from the Code
ACM SIGPLAN via YouTube The Design and Implementation of an Abstract Interpreter for OCaml Programs - A Preliminary Report on the Salto Analyser
ACM SIGPLAN via YouTube Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs
ACM SIGPLAN via YouTube