Static Analysis Courses
ACM SIGPLAN via YouTube Measuring Configuration in Code - Risk Assessment and Metrics
ACM SIGPLAN via YouTube Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
ACM SIGPLAN via YouTube Type-Safe Dynamic Placement with First-Class Placed Values
ACM SIGPLAN via YouTube Synthesizing Precise Static Analyzers for Automatic Differentiation
ACM SIGPLAN via YouTube A Cocktail Approach to Practical Call Graph Construction
ACM SIGPLAN via YouTube A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
ACM SIGPLAN via YouTube Bring Your Own Data Structures to Datalog
ACM SIGPLAN via YouTube The Bounded Pathwidth of Control-Flow Graphs
ACM SIGPLAN via YouTube Initializing Global Objects: Time and Order
ACM SIGPLAN via YouTube