Static Analysis Courses
ACM SIGPLAN via YouTube Clean Code Base: Harnessing the Power of Android Lint and Custom Rules
Android Makers via YouTube Agni: Fast Formal Verification of the Verifier's Range Analysis
Linux Plumbers Conference via YouTube Lazy Abstraction Refinement with Proof for an Enhanced Verifier
Linux Plumbers Conference via YouTube Auto-detecting Sleeping Lock Calls in Non-preemptible Context via Static Analysis
Linux Plumbers Conference via YouTube Program Verification for the Linux Kernel - Potential Costs and Benefits
Linux Plumbers Conference via YouTube Enhancing Spatial Safety: Fixing Thousands of -Wflex-array-member-not-at-end Warnings
Linux Plumbers Conference via YouTube Coccinelle for Rust
Linux Plumbers Conference via YouTube Three Ways to Hack Mobile Apps
John Hammond via YouTube Zero Waste, Radical Magic, and Italian Graft - Quarkus Efficiency Secrets
Devoxx via YouTube