Correctness of Compilers: Part 1

Related lectures (29)

Page 1 of 3

Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.

Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.

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

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

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Introduces formal verification, emphasizing rigorous proof of system correctness and the use of mathematical models.

Explores the development of a WebAssembly Virtual Machine by Group 13, covering pipeline stages, interpreter structure, and stack management.

Explores prefix, infix, and postfix notations in expressions and their role in code generation.

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

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