Concept

Bootstrapping (compilers)

Related lectures (31)

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.

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

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

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

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

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

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

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

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

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

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

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

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

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

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

Covers Dafny for formal verification, modeling concurrency, safety rules, liveness, and transactional memory concepts.

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

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

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