ACM SIGPLAN Courses

Nanopass Attribute Grammars - Managing Complexity in Compiler Design

Explore nanopass attribute grammars for managing compiler complexity, enabling type-safe language versioning and transformation composition in feature-rich language implementations.

• YouTube
• 29 minutes
• On-Demand
• Free Video

Octagons Revisited - Elegant Proofs and Simplified Algorithms

Explore simplified algorithms for Octagon domain closure, featuring elegant proofs, efficient computations, and improved abstract transformers for affine assignments in program analysis.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Reuse and Automated Integration of Recommenders for Modelling Languages

Explore a methodology for reusing and integrating recommenders in modeling tools, addressing language, tool, source, and item dimensions. Learn about IronMan plugin for automating integration.

• YouTube
• 23 minutes
• On-Demand
• Free Video

Scaling Up Machine Learning Without Tears - Programming Languages' Role

Explore techniques for scaling machine learning workloads across accelerators, focusing on partitioning, parallelism, and programming language concepts to optimize performance and hardware utilization.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video

Hydroflow: A Compiler Target for Fast, Correct Distributed Programs

Explore Hydroflow, a Rust-based dataflow runtime enabling correct program transformations for distributed systems. Learn about refactoring, replication, and partitioning techniques for optimizing distributed programs.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Explore innovative approaches to improve type error messages in constraint-based type inference systems, focusing on data flow and subtyping constraints to enhance programmer understanding.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Concurrent Immediate Reference Counting

Explore a novel approach to memory management in concurrent programming, combining SMR algorithms with reference counting for efficient and safe automatic memory reclamation in unmanaged languages.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Decidable Subtyping of Existential Types for Julia

Explore Julia's subtyping challenges and a proposed solution for decidability in scientific computing, focusing on method dispatch and type annotations for generic libraries.

• YouTube
• 19 minutes
• On-Demand
• Free Video

An Algebraic Language for Specifying Quantum Networks

Explore BellKAT, a novel specification language for quantum networks based on Kleene algebra, designed to address resource competition and enable formal reasoning about quantum network protocols.

• YouTube
• 17 minutes
• On-Demand
• Free Video

LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs

Explore LiDO, a consensus model enabling safety and liveness verification in Byzantine fault-tolerant protocols through refinement. Learn about mechanized proofs for Jolteon in Coq, advancing blockchain technology.

• YouTube
• 17 minutes
• On-Demand
• Free Video

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
• On-Demand
• Free Video

RefinedRust: A Type System for High-Assurance Verification of Rust Programs

Explore RefinedRust, a novel type system for verifying both safe and unsafe Rust code. Learn about its implementation, evaluation, and potential impact on high-assurance software development.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Bringing the WebAssembly Standard up to Speed with SpecTec

Explore SpecTec, a DSL toolchain streamlining WebAssembly specification and feature standardization. Learn how it generates artifacts, detects errors, and aims to revolutionize Wasm standards development.

• YouTube
• 16 minutes
• On-Demand
• Free Video

Associated Effects: Flexible Abstractions for Effectful Programming

Explore associated effects, a programming language feature enhancing type classes' flexibility in abstracting over function effects, improving expressive power in type and effect systems.

• YouTube
• 19 minutes
• On-Demand
• Free Video

Modular Hardware Design of Pipelined Circuits with Hazards

Explore modular design of pipelined circuits with hazards using innovative hazard interfaces. Learn to decompose control logic and implement efficient, high-performance hardware designs without combinational loops.

• YouTube
• 19 minutes
• On-Demand
• Free Video