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

Concept

Compiler

Related lectures (32)

Correctness of Compilers: Part 2

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

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.

Code Generation Lab

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

Introduction to Computer Language Processing

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

Compiler Extension Lab

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

Name Analysis: Compiler Phases and Symbol Tables

Explores compiler phases and symbol tables' role in mapping variables to declarations.

Name Analysis

Explains compiler phases, name analysis, symbol tables, and scoping rules in the context of error detection and resolution.

Grace Hopper: Computer Programming Pioneer MOOC: The Thymio robot as a tool for discovering digital science

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

Correctness of Compilers: Part 1

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

Type Checking in Compiler Frontend

Covers the implementation of a type checker in the compiler frontend.

The CEPA and the Bug

Explores the CEPA, compilers, and the origin of the term 'bug' in computing.

The Story of Grace Hopper MOOC: The Thymio robot as a tool for discovering digital science

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

Verifying Compiler: Spec# Approach

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

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.

Records and Variants

Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.

Default Constructors in Java

Covers default constructors in Java, including generation by the compiler and calling other constructors.

VLIW Architectures: Compilers and Instruction Level Parallelism Log in to Mediaspace to watch this video

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

Optimization and Templates Log in to Mediaspace to watch this video

Explores optimization in C++ code, algorithmic ideas, code profiling, and template meta-programming.

Operator Overloading in C++Log in to Mediaspace to watch this video

Explores operator overloading in C++, emphasizing class manipulation and code compilation.