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

Home

Lecture

Compiling with Branch Destination Parameters

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (37)

Propositions as Types: Logic and Programming Correspondence

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Code Generation Lab

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

Combinatorial Search: For-Expressions

Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.

Effective Altruism: AI Safety and Governance Log in to Mediaspace to watch this video

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

Intermediate Representations: CPS/L3 Log in to Mediaspace to watch this video

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

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

MATLAB: Crash Course in MATLAB Log in to Mediaspace to watch this video

Offers a crash course in MATLAB, covering data representation, array indexing, mathematical operations, and common pitfalls.

Values Representation: Tagging and Boxing Log in to Mediaspace to watch this video

Explores improving translation, source context-based translations, and value representation techniques like tagging and boxing.

Big-step semantics: Defining arithmetic expressions and commands Log in to Mediaspace to watch this video

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Variables & Operators Log in to Mediaspace to watch this video

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Language Theory into Practice Log in to Mediaspace to watch this video

Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.

Separate Compilation: Linker/Loader; Make Log in to Mediaspace to watch this video

Covers separate compilation, linking modules, loader role, and makefile usage.

VLIW Architectures: Compilers and Instruction Level Parallelism Log in to Mediaspace to watch this video

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

Analytical Geometry: Normal Equations of Lines Log in to Mediaspace to watch this video

Explores normal equations of lines in the plane through point translation for precision.

Introduction to Programming: First Steps Log in to Mediaspace to watch this video

Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.

Gyroscopic Motion Log in to Mediaspace to watch this video

Covers rolling kinematics, kinetic energy, and gyroscopic motion in detail.

Page 2 of 2