Static Analysis Courses
Code Sync via YouTube Refactoring Made Easy - Tools and Techniques for Erlang Code
Code Sync via YouTube Typing with Pixie Dust - Enhancing Legacy Code with Automated Type Specs
Code Sync via YouTube Interleaving Static Analysis and LLM Prompting for Error-Specification Inference
ACM SIGPLAN via YouTube Misconceptions About Loops in C - Challenges in Loop Analysis for Static Analysis Tools
ACM SIGPLAN via YouTube Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024
ACM SIGPLAN via YouTube Bridging the Gap for Security Analysis in Infer
ACM SIGPLAN via YouTube Learning to Boost Disjunctive Static Bug-Finders
ACM SIGPLAN via YouTube Flux: Refinement Types for Rust
ACM SIGPLAN via YouTube Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
ACM SIGPLAN via YouTube