Concept
Bootstrapping (compilers)
Related lectures (38)
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.
Correctness of Compilers: Part 2
Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.
Intermediate Representations: CPS/L3
Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.
Compiling with Branch Destination Parameters
Covers translating program fragments, switch statements, and break statements in programming languages.
WASM Virtual Machine: Group 13
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.
Optimization and Templates
Explores optimization in C++ code, algorithmic ideas, code profiling, and template meta-programming.
Formal Verification and Program Synthesis
Explores Viktor Kuncak's research in formal verification, program synthesis, and teaching activities at EPFL.
Correctness of Compilers: Part 1
Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.
Software Security: Security Testing - Sanitizers
Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.