Program analysis

Formal sciences
Theoretical computer science
Programming language theory
Formal verification

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Dynamically Scheduled HLS: Program Analysis and Control Flow

Explores Dynamically Scheduled HLS and imperative language compilation for dataflow machines.

Sparsest Subgraph: Densest Subgraph

Covers Sparsest Subgraph and Densest Subgraph, focusing on correlation clustering and approximation algorithms.

Error Management in LabVIEW

Emphasizes error management in LabVIEW, source file analysis, and program execution with Xcode.

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.

Quantum Measurement Analysis

Explores quantum measurement analysis, including the Simon problem and geometric analogies.

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.

Page 2 of 2