Lectures related to The CEPA and the Bug

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

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

Code Generation Lab

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

Model Interpretation and Compilation

Explores model interpretation, compilation via partial evaluation, function calls, and the transition to partial evaluation, emphasizing the importance of model interpreters in supporting modeling languages.

Correctness of Compilers: Part 1

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

Grace Hopper: Computer Programming Pioneer

Delves into Grace Hopper's pioneering work in computer programming, making it more accessible and efficient.

Introduction to Computer Language Processing

Covers computer language processing, compilers, skills learned, and application examples.

Compilation and C++ Basics

Covers the basics of compilation and C++ programming, including variables, functions, loops, and debugging.

Introduction to Compiler Theory and Language Processing

Introduces compiler theory, language processing, and the essential concepts behind building compilers.

Virtual Machines: Memory Management and Control Flow

Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.

Compilers: Challenges with Digital Signal Processors

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

The Story of Grace Hopper

Delves into binary language and Grace Hopper's contributions to programming.

VLIW Architectures: Compilers and Instruction Level Parallelism

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

Computer Architecture: Machine Language

Explores the implementation of machine language and the role of compilers.

Compiler Overview: Code Generation Example

Analyzes the compiler output of a C program and compares it with Java byte code.

Intermediate Representations: CPS/L3

Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.

Prefix, Infix, Postfix and Code Generation

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

Compiler verification: Challenges and Benefits

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

Compiling with Branch Destination Parameters

Covers translating program fragments, switch statements, and break statements in programming languages.

Effective Altruism: AI Safety and Governance

Covers effective altruism in AI safety, focusing on programming semantics and memory management.