Compiler Design Courses and Certifications

Write your own Operating System

GNU Bison - LR(1) Compiler Generator

Explore GNU Bison, a powerful LR(1) compiler generator tool, and learn how to leverage it for creating efficient parsers and compilers in operating system development.

• YouTube
• 1 hour 10 minutes
• Self-Paced
• Free Video

Mozilla Hacks

Compiler Compiler - From Baseline to Ion Optimization - Part 6

Explore SpiderMonkey's optimization journey from Baseline to Ion compiler, covering Inline Caches, optimizing compilers, and concluding a bug fix implementation task from Episode 1.

• YouTube
• 1 hour 27 minutes
• Self-Paced
• Free Video

Mozilla Hacks

Debugging SpiderMonkey: Pre-increment Bug and Related Issues - Part 3

Debugging SpiderMonkey: Fixing pre-increment bug and exploring related issues in Firefox's JavaScript engine. Continuation of previous livestream on compiler development.

• YouTube
• 1 hour 8 minutes
• Self-Paced
• Free Video

Paul G. Allen School

Regularizing the Irregular: Analyses and Transformations for Recursive, Irregular Applications

Explores techniques for optimizing irregular programs operating on trees, using vector-based abstractions to enhance locality and enable vectorization in compiler research.

• YouTube
• 1 hour 8 minutes
• Self-Paced
• Free Video

Devoxx

Well-typed Programs Can Go Wrong - Enhancing the Reliability of Type Checkers in Compilers

Explore how static typing bugs in compilers impact software development and learn about efforts to enhance type checker reliability through randomized testing.

• YouTube
• 42 minutes
• Self-Paced
• Free Video

IEEE

Lower Bounds for Randomized Decision Procedures

Explore efficient algorithms for computing lower bounds in Recursive Dynamic Programming, enhancing problem-solving skills in computer science and optimization.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Optimization-Aware Compiler-Level Event Profiling

Explore a novel technique for quantifying compiler-internal events in optimized code, reducing profiling perturbation and enhancing dynamic analysis accuracy.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable - OOPSLA 2023

Explore a novel graph IR for aggressive global optimizations in impure higher-order languages, combining reachability types and effect systems for precise dependency tracking and efficient code optimization.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

X.Org Foundation

EBC - A New Backend Compiler for Etnaviv

Discover the development journey of a new backend compiler for etnaviv, exploring its architecture, implementation challenges, and performance optimization techniques using Mesa infrastructure and Rust.

• YouTube
• 30 minutes
• Self-Paced
• Free Video

Eclipse Foundation

Ferrocene - Qualifying the Rust Compiler Using a Fully Open Source Tool Stack

Discover how to qualify the Rust compiler through Ferrocene's open source tooling, exploring key qualification processes and implementation strategies for safety-critical systems.

• YouTube
• 26 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

CodeProber: Live Compiler Exploration - LIVE23

Explore interactive compiler debugging with CodeProber. Learn to identify and fix bugs in language tooling using source code-based exploration of AST properties.

• YouTube
• 26 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs - PLDI 2023

Explore program reconditioning to avoid undefined behavior in compiler bug detection and reduction for GLSL and WGSL languages, enhancing differential testing and test-case simplification.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Tiling for DMA-Based Hardware Accelerators

Explore a compiler pass using polyhedral analysis to optimize loop tiling for DMA-based hardware accelerators, addressing fixed-width transfer limitations.

• YouTube
• 12 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

The Sparse Abstract Machine: A Model for Sparse Tensor Algebra on Dataflow Accelerators

Explore the Sparse Abstract Machine (SAM) for targeting sparse tensor algebra to spatial dataflow accelerators, including its streaming dataflow abstraction and compiler implementation.

• YouTube
• 17 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Compiler Support for Structured Data

Explore compiler techniques for efficiently handling structured data, enhancing performance and optimization in programming languages.

• YouTube
• 15 minutes
• Self-Paced
• Free Video