Static Analysis Courses
ACM SIGPLAN via YouTube Incremental Analysis in Infer
ACM SIGPLAN via YouTube A Comparison of Program Logics for (In)Correctness
ACM SIGPLAN via YouTube Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
ACM SIGPLAN via YouTube CHERI Static Analysis - POCL'24
ACM SIGPLAN via YouTube Quantum Abstract Interpretation
ACM SIGPLAN via YouTube Program Synthesis via Bi-directional Reduced-product Abstract Interpretation - N40AI'24
ACM SIGPLAN via YouTube Unified Compositional Symbolic Execution - N40AI'24
ACM SIGPLAN via YouTube Mechanizing Abstract Interpretation - Challenges and Applications
ACM SIGPLAN via YouTube Refinement Types: From Light to Deep Verification - Lecture
ACM SIGPLAN via YouTube