ACM SIGPLAN Courses

Joy of Meta-Tracing Just-in-Time Compilation - More Than Just a VM Generator

Explore meta-tracing JIT compiler frameworks beyond VM generation, covering multi-tier compilers and multi-staged program implementation techniques.

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

Fast and Compact - Reducing Size of AOT-Compiled Java Code Without Sacrificing Performance

Discover how to reduce GraalVM Native Image executable sizes by up to 36.9% while maintaining peak performance through selective bytecode interpretation and JIT simulation techniques.

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

Co-operative JIT Compilation for Resource-Constrained Low-Power Coprocessors

Explore innovative JIT compilation techniques for low-power coprocessors in IoT devices, reducing power consumption while maintaining performance in resource-constrained environments.

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

Foundational Design Principles and Patterns for Building Robust and Adaptive GenAI-Native Systems

Discover foundational design principles for creating reliable GenAI-native systems through five key pillars and architectural patterns for robust, adaptive software development.

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

An Interactive Learning Environment for Program Design

Explore an LLM-powered interactive environment that guides students through systematic program design using natural language conversations and automated feedback.

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

ScooPy - Enhancing Program Synthesis with Nested Example Specifications

Discover ScooPy, an IDE-integrated tool that enhances program synthesis with nested example specifications, improving code understanding and programmer engagement through innovative scoping.

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

Verified Software at Scale

Explore machine-assisted reasoning for formal software verification, covering WebAssembly standards, separation logic, and compositional analysis techniques for large-scale systems.

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

Sound Default-Typed Scheme - Position Paper

Explore a novel typing approach for Scheme that uses plausibility-ranked types, allowing efficient code generation while maintaining conditional soundness guarantees.

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

WebAssembly Research Tools Tutorial

Explore WebAssembly research tools through hands-on exercises covering specification engines, instrumentation, analyzers, and benchmarks for program analysis and verification.

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

You Could Have Invented Fenwick Trees

Discover how Fenwick trees emerge as optimized segment trees through equational reasoning, demystifying their bitwise operations using functional programming and binary number theory.

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

Rewriting Macros on the Fly - A Modular Approach to Administrative Reduction During Expansion

Discover a technique for eliminating administrative expressions in macros using localized rewriting rules to create cleaner, more efficient compositional macro systems.

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

Automating Maintenance of the Linux Kernel - A Perspective Over 20 Years

Explore 20 years of Linux kernel maintenance automation through Coccinelle tool development, tracing strategies, and formal verification approaches for large-scale C code transformation.

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

A Simple Blame Calculus for Explicit Nulls

Explore a simplified blame calculus for handling null values in gradual typing systems, bridging legacy and modern programming languages with formal verification.

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

Derive Class Instances Topdown and Derive TTG Automatically

Discover advanced Haskell deriving mechanisms for generating multiple related class instances and automating TTG transformations using Template Haskell.

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

Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers

Discover Phocus, the first abstract interpretation tool for hyperbolic PDE solvers that certifies bounds and invariants to prevent crashes and ensure numerical stability.

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