Static Analysis Courses
Devoxx via YouTube SyslabCC - An AOT Compiler for Type-stable Julia Programs
The Julia Programming Language via YouTube Context-Bounded Analysis for Systematic Testing of Concurrent Programs - CAV Award 2023
Conference on Computer-Aided Verification via YouTube