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

Lecture

Optimization: Register Allocation

Related lectures (36)

Covers register allocation using graph coloring to minimize memory access in programs.

Statistical Physics for Optimization & Learning

Covers statistical physics tools for optimization, learning, graph coloring, recommendation systems, and neural networks.

Markov Chains and Algorithm Applications

Covers the application of Markov chains and algorithms for function optimization and graph colorings.

Optimization with Constraints: KKT Conditions

Covers the KKT conditions for optimization with constraints, essential for solving constrained optimization problems efficiently.

Compiler verification: Challenges and Benefits

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

Computer Architecture: Algorithms to Programs (Compilation)

Explores the transition from algorithms to programs through compilation, emphasizing constraints and machine-understandable coding practices.

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

Optimization with Constraints: KKT Conditions

Covers the optimization with constraints, focusing on the Karush-Kuhn-Tucker (KKT) conditions.

Complex Systems: Critical Phenomena

Explores critical phenomena in complex systems, including stochastic objects, percolation, and combinatorial optimization.

Approximation Algorithms

Covers approximation algorithms for optimization problems, LP relaxation, and randomized rounding techniques.

Compiler Extension Lab

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

Optimization Methods: Theory Discussion

Explores optimization methods, including unconstrained problems, linear programming, and heuristic approaches.

Code Generation Lab

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

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.

Energy Systems Optimization

Explores energy systems modeling, optimization, and cost analysis for efficient operations.

Functions and Lists: Complements and Manipulation

Explores functions' complements, parameter order, and list manipulation, including counting occurrences and solving the '100 prisoners problem'.

Optimization methods

Covers optimization methods, focusing on gradient methods and line search techniques.

Information Theory: Basics

Covers the basics of information theory, entropy, and fixed points in graph colorings and the Ising model.

Introduction to Compiler Theory and Language Processing

Introduces compiler theory, language processing, and the essential concepts behind building compilers.

Covers register allocation techniques, including interference graph examples, coloring, spilling, and coalescing.