ACM SIGPLAN Courses

Automatic Differentiation for Sparse Tensors

Explore efficient automatic differentiation for sparse tensors, leveraging novel DSLs and optimizations to outperform existing frameworks in data-intensive applications.

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

Flexible and Effective Object Tiering for Heterogeneous Memory Systems

Explore a novel framework for object-level data management in heterogeneous memory systems, evaluating tiering strategies for performance and efficiency on modern Intel platforms.

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

Software and Hardware for Sparse Machine Learning

Explore cutting-edge software and hardware solutions for sparse machine learning, enhancing efficiency and performance in ML applications.

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

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

ISVABI: In-Storage Video Analytics Engine with Block Interface

Explore ISVABI, a software/firmware approach for efficient video analytics using SSD block I/O interface. Learn about its implementation, performance improvements, and real-world applications.

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

Formalizing DRAGSTERS - Compiling Computations for Semiring Value Multiplication and Aggregation

Explore the impact of formal methods on compiling computations involving semiring value multiplication and aggregation in positive algebra over K-relations.

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

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

Scaling Up Performance of Managed Applications on NUMA Systems

Explore a novel lightweight mechanism for optimizing managed application scalability on NUMA systems. Learn about characterization studies, application-agnostic approaches, and performance improvements in managed runtime environments.

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

General Distributed Framework for Contraction of Sparse Tensor with Tensor Network

Optimize sparse tensor contractions with efficient loop nests and distributed-memory parallelization for improved performance in tensor decomposition and completion tasks.

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

Memory Consistency Models for Program Transformations - An Intellectual Abstract

Explore memory consistency models for program transformations, examining properties between weak and strong models, and their impact on compiler optimizations and concurrent behaviors in shared memory systems.

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

Compiler Support for Structured Data

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

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

The Never-Ending Trace: An Under-Approximate Approach to Divergence Bugs

Explore a new approach to detecting divergence bugs using forward under-approximating triples. Learn how this logic reasons about infinite loops and recursive calls compositionally.

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

Quantitative Weakest Hyper Pre Calculus for Non-Deterministic Programs

Explore a novel weakest pre calculus for quantitative hyperproperties, enabling reasoning about hyperquantities in non-deterministic programs and extending hyper Hoare logic.

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

Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types

Explore coverage types and their connection to Incorrectness Logic, integrating underapproximate reasoning within refinement type systems for enhanced program analysis and verification.

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

Specifying Smart Contracts with Hax and ConCert

Explore high-assurance smart contracts using Hax toolchain and ConCert for embedding, specifying security properties, and verification in Rust.

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