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

Concept

Self-modifying code

Related lectures (20)

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

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

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

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

Covers the efficiency of register machines over stack machines, memory organization, and mapping instructions.

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

Explores sediment transport, river structures, and hydraulic platforms for river development.

Covers lazy evaluation, memoization, interpreter implementation, code generation challenges, and potential extensions.

Explores code generation, performance optimization, and compilation trade-offs in DBMS.

Covers dynamic binary translation as a solution to binary compatibility issues in computer architectures.

Covers object layout challenges in single inheritance scenarios, focusing on Java-like languages and method dispatch using virtual methods tables.

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

Discusses materialization challenges in databases, query execution strategies, and performance implications.

Covers the implementation of a foreign-function interface to JavaScript in Scala, focusing on features like opening and reading files.

Explores the structure of a C backend compiler and abstract data types.

Explores Datalog evaluation, DSL embedding, semantics, fixpoint algorithms, and multi-stage programming.

Covers multithreading, code generation, and type checking in compiler implementation.

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

Explores database query optimization, discussing static versus dynamic optimization, scan sharing, and the impact on DBMS performance.

Explores method dispatch optimization in object-oriented languages, focusing on inline caching and membership tests.