ACM SIGPLAN Courses

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

Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities

Explore dynamic capability enforcement in concurrent programming through Dala language's six-axis design framework for safe object flavors and runtime systems.

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

Stak Scheme - The Tiny R7RS-Small Implementation

Discover Stak Scheme, a minimal R7RS-small implementation with bytecode compiler in 1.6K lines of Scheme and VM in 1.5K lines of Rust for embedded scripting on resource-constrained platforms.

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

Haskell Equations - Thirty-Eight Years Later

Explore Philip Wadler's insights on Haskell equation ordering and his proposed syntax improvements for ensuring order independence in pattern matching.

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

Checking a Denotational Semantics of Scheme in Agda

Explore how to embed and verify Scheme's denotational semantics using Agda's type system to detect wellformedness issues and improve semantic definitions.

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

Semantics-Preserving Transformation of Context-Free Grammars into LL(1) Form

Discover a method for transforming context-free grammars into LL(1) form while preserving original semantics using tree-based representations for efficient parser construction.

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

A Practical Formalization of Monadic Equational Reasoning in Dependent-Type Theory

Explore practical formalization of monadic equational reasoning in dependent-type theory using Coq, covering effect hierarchies and algebraic laws for functional programming.

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

Generalizing Turtle Geometry - An Extensible Language for Vector Graphics Drawing

Explore an extensible turtle graphics language that generalizes beyond traditional approaches, enabling creation of domain-specific languages for Bézier paths and vector graphics manipulation.

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

Scheme and New Frontiers for Language Design

Explore underexplored language-design directions through Scheme's unique platform for advancing programming concepts, from sophisticated continuations to expressive macro systems.

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

Automatic C Bindings Generation for Haskell

Discover hs-bindgen, a tool for automatic Haskell FFI binding generation from C headers, featuring compositional binding specs and C macro support for seamless library integration.

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

Freer Arrows and Why You Need Them in Haskell

Explore freer arrows as an alternative to freer monads in Haskell, enabling static analysis while maintaining expressiveness through choreographic programming examples.

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

How to Get the Most Out of a Conference

Discover strategies for maximizing your academic conference experience, from networking effectively to engaging with presentations and building professional connections.

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