Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Program analysis

Related lectures (31)

Static Analysis for Amy: Techniques and Implementations

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

Finite Element Analysis: Advanced Mechanisms in Engineering

Provides an overview of advanced mechanisms analysis using Finite Element Method and Finite Element Analysis in engineering applications.

Program Optimizations and Abstract Interpretation Idea

Covers program optimizations, abstract interpretation, algebraic transformations, and interval analyses.

Quantum Computation: Analysis and Applications

Explores quantum computation analysis, including quantum Fourier transform and Born rule applications.

Multifunctionality: Examples and Analysis

Explores multifunctionality through various examples and how it impacts life cycle assessment.

Software security - Security testing

Covers software security testing approaches and coverage metrics.

Belief Propagation: Key Methods and Analysis

Covers Belief Propagation, a key method for both analysis and algorithm.

Hoare Logic: Strongest Postcondition and Weakest Precondition

Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.

Digital Humanities and Game Studies

Explores the intersection between digital humanities and game studies, showcasing various research projects and highlighting the interdisciplinary nature of research in these fields.

Correctness of Compilers: Part 1

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

Abstract Interpretation in Stainless

Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.

Quantum Computation: Distributed Analysis

Covers the analysis of distributed quantum computation and EPR pairs.

Verifying Programs with Stainless: Part 2

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

Automated Testing: Fuzzing and Sanitization

Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.

Timing and Performance Analysis: Model Checking

Covers timing and performance analysis using model checking and multiple objective scheduling.

Introduction to Quantifier Elimination for Presburger Arithmetic

Introduces formal verification methodology and Presburger arithmetic for program verification and automated reasoning.

Abstract Interpretation and Octagon Domain Log in to Mediaspace to watch this video

Explores abstract interpretation principles and the Octagon domain, emphasizing precision-efficiency trade-offs and static program analysis.

Advanced Physics I Log in to Mediaspace to watch this video

Covers an introduction to physics, mechanics, measurements, and kinematics of point particles.

Uneigentliche Integrale: Singularities and Infinite Integration Intervals Log in to Mediaspace to watch this video

Covers improper integrals with singularities and infinite intervals.

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.