Static Analysis Courses
ACM SIGPLAN via YouTube Programming with Effect Exclusion - Type and Effect Systems
ACM SIGPLAN via YouTube Code Analysis at WhatsApp - Keynote
ACM SIGPLAN via YouTube jGuard - Programming Misuse-Resilient APIs
ACM SIGPLAN via YouTube A Better Approximation for Interleaved Dyck Reachability
ACM SIGPLAN via YouTube Static Analysis for CHERI - SOAP 2024
ACM SIGPLAN via YouTube Specializing Dynamic Language C Extensions Using Type Information
ACM SIGPLAN via YouTube Consolidating Smart Contracts with Behavioral Contracts
ACM SIGPLAN via YouTube Compiling with Abstract Interpretation
ACM SIGPLAN via YouTube Reducing Static Analysis Unsoundness with Approximate Interpretation
ACM SIGPLAN via YouTube