Static Analysis Courses
ACM SIGPLAN via YouTube Quantitative Robustness for Vulnerability Assessment
ACM SIGPLAN via YouTube Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
ACM SIGPLAN via YouTube Falcon: A Scalable Analytical Cache Model
ACM SIGPLAN via YouTube A Static Analysis for High-Level Quantum Programming Languages
ACM SIGPLAN via YouTube Automated Identification of Layering Violations in Embedded Applications - Work in Progress
ACM SIGPLAN via YouTube Compiler Support for Structured Data
ACM SIGPLAN via YouTube Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types
ACM SIGPLAN via YouTube Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
ACM SIGPLAN via YouTube Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
ACM SIGPLAN via YouTube