Concept

Self-hosting (compilers)

Related lectures (18)

Covers the compilation process of Scala Lens and the use of iterable collections for padding results.

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

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.

Grace Hopper: Computer Programming Pioneer

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

Language Server Protocol: Implementation for IME Compiler

Covers the Language Server Protocol implementation for the IME compiler, focusing on features like auto-completion and signature helpers.

The CEPA and the Bug

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

Practical Engineering 1: Signal Processing

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Compilers: Challenges with Digital Signal Processors

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

Compilation and C++ Basics

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

Intermediate Representations: CPS/L3

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

The Story of Grace Hopper

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

Compiling with Branch Destination Parameters

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

Computer Architecture: Machine Language

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

Formal Verification and Program Synthesis

Explores Viktor Kuncak's research in formal verification, program synthesis, and teaching activities at EPFL.

Introduction to Computer Language Processing

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

VLIW Architectures: Compilers and Instruction Level Parallelism

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

Optimization: Register Allocation

Covers advanced compiler construction topics on optimization techniques like dead code elimination, constant folding, and register allocation.

Crypto Wallet for DeFi: MetaMask

Covers MetaMask, a crypto wallet for blockchain apps, emphasizing wallet security and account protection.