Compiler verification: Challenges and Benefits

Related lectures (29)

Page 1 of 3

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

Covers the challenges of compiling for digital signal processors due to their unique architectural features and irregularities.

Covers VLIW architectures and compilers, focusing on instruction level parallelism and optimization techniques.

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

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.

Explores code generation, performance optimization, and compilation trade-offs in DBMS.

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