C Programming Courses
ACM SIGPLAN via YouTube Petrification: Software Model Checking for Programs with Dynamic Thread Management
ACM SIGPLAN via YouTube An Iris Instance for Verifying CompCert C Programs
ACM SIGPLAN via YouTube VST-A: A Foundationally Sound Annotation Verifier for Imperative Programs
ACM SIGPLAN via YouTube A Cocktail Approach to Practical Call Graph Construction
ACM SIGPLAN via YouTube Snapshot Fuzzing with WTF Fuzzer - Techniques and Implementation
Fuzzing_in - Hardik Shah via YouTube Installing and Using Jackalope Fuzzer on MacOS - Finding Vulnerabilities in Simple Programs
Fuzzing_in - Hardik Shah via YouTube Purpose-Built Software-Defined Hardware with the A2Pico
KansasFest via YouTube What's New in ORCA/C - Recent Features and Future Plans
KansasFest via YouTube Journey of a C Kernel Engineer Starting a Rust Driver Project
Linux Plumbers Conference via YouTube