Static Analysis Courses and Certifications

ACM SIGPLAN

Inference Plans for Hybrid Particle Filtering

Discover how inference plans enable developers to control variable partitioning in hybrid particle filtering, improving performance and accuracy in probabilistic programming languages through Siren's programming interface and static analysis.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation

Explore the challenges of abstract interpretation and how robustness can be accommodated through this technique in program analysis.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Statically Analyzing the Dataflow of R Programs

Discover a novel static dataflow analysis framework for R that handles dynamic features like lazy evaluation and produces dataflow graphs for program slicing and code comprehension.

• YouTube
• 15 minutes
• On-Demand
• Free Video

ACM SIGPLAN

On Abstraction Refinement for Bayesian Program Analysis

Explore counterexample-guided refinement for Bayesian program analysis, using conditional independence theory to improve abstraction selection and enhance accuracy.

• YouTube
• 15 minutes
• On-Demand
• Free Video

ACM SIGPLAN

IncIDFA - An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis

Discover IncIDFA, a novel algorithm for precise incremental iterative dataflow analysis that speeds up compilation by up to 11× while maintaining accuracy across arbitrary program changes.

• YouTube
• 16 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Enhancing APR with PRISM - A Semantic-Based Approach to Overfitting Patch Detection

Discover PRISM, a semantic-based technique that detects overfitting patches in automatic program repair while preserving correct fixes and reducing developer review burden.

• YouTube
• 14 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Cost of Soundness in Mixed-Precision Tuning

Explore the trade-offs between sound static analysis and dynamic sampling in mixed-precision tuning for floating-point programs, comparing performance gains and accuracy guarantees.

• YouTube
• 15 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Software Model Checking via Summary-Guided Search

Discover GPS, a novel software model-checking algorithm using summary-guided search to efficiently find bugs and prove safety in programs with complex error paths.

• YouTube
• 16 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Revealing Sources of Memory Errors via Backward Analysis

Discover novel proof systems for locating memory error sources through backward under-approximation analysis, featuring Sufficient Incorrectness Logic and Separation SIL.

• YouTube
• 13 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences

Explore neural-symbolic program analysis that combines formal logic with informal data like variable names to improve alarm ranking through Bayesian inference and soft evidences.

• YouTube
• 16 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Static Inference of Regular Grammars for Ad Hoc Parsers

Discover how to automatically infer regular grammars from ad hoc parser code using refinement type inference and abstract interpretation techniques.

• YouTube
• 16 minutes
• On-Demand
• Free Video

Altair Hypermesh : Learn Meshing and Linear Static Analysis

858 ratings at Udemy

Learn meshing with hypermesh and perform linear static analysis with optistruct

• Udemy
• 22 hours 46 minutes
• On-Demand
• Paid Course

VSD - Static Timing Analysis - II

772 ratings at Udemy

Explore full chip static timing analysis using OpenTimer, an open-source EDA tool. Apply concepts like PBA and CPPR to analyze complex designs such as USB controllers and DDR interfaces.

• Udemy
• 4 hours 2 minutes
• On-Demand
• Paid Course

The Cherno

Static Analysis in C++ - Benefits and Tools

Explore static analysis tools for C++ to enhance code quality, detect bugs early, and improve overall software reliability.

• YouTube
• 15 minutes
• On-Demand
• Free Video

PHP UK Conference

Static Analysis Saved My Code Tonight

Explore static analysis tools for PHP, their benefits in code review, and integration into development cycles. Learn about AST, security checks, and migration compatibility.

• YouTube
• 53 minutes
• On-Demand
• Conference Talk