Static Analysis Courses
ACM SIGPLAN via YouTube Towards a Language-parametric DSL for Refactoring - Short Paper
ACM SIGPLAN via YouTube Indexed Types for a Statically Safe WebAssembly - POPL 2024
ACM SIGPLAN via YouTube Unboxed Data Constructors: Efficient and Safe Big Number Handling in ML Languages
ACM SIGPLAN via YouTube On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
ACM SIGPLAN via YouTube Program Analysis: Session Preview
ACM SIGPLAN via YouTube Gradual Typing and Verification - Session Preview
ACM SIGPLAN via YouTube Automated Verification - Session Preview
ACM SIGPLAN via YouTube Abstract Interpretation for Automatic Differentiation
ACM SIGPLAN via YouTube Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
ACM SIGPLAN via YouTube