ACM SIGPLAN Courses

BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads

Optimize message-passing allocators for producer-consumer workloads with BatchIt. Learn about this novel approach that improves performance by batching remote deallocations, reducing contention and enhancing scalability.

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

Reference Counting Deeply Immutable Data Structures with Cycles

Explore efficient memory management for immutable data structures with cycles using reference counting, combining strongly connected components and union-find algorithms for precise reachability.

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

A Managed Memory System for Micro Controllers with NOR Flash Memory

Explore a managed memory system for microcontrollers using NOR flash memory, optimizing performance and reducing flash erasures through innovative garbage collection and object movement techniques.

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

A Better Approximation for Interleaved Dyck Reachability

Explore a novel approach to interleaved Dyck reachability, offering improved precision for context- and field-sensitive static analyses through refined CFLs and on-demand application.

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

Static Analysis for CHERI - SOAP 2024

Explore custom static analyses supporting C/C++ code transition to CHERI hardware, enhancing memory protection and software compartmentalization for RISC-V and AArch64 architectures.

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

SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures

Explore a novel approach for detecting data races in concurrent data structures using summarization-guided concolic testing, enhancing efficiency in exploring dynamic shapes and exposing hidden races.

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

ValBench: Benchmarking Exact Value Analysis

Explore ValBench, a comprehensive benchmark suite for evaluating value analysis tools in Java and Android. Learn about its test cases, evaluation framework, and insights into current challenges in program analysis.

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

Towards Relational Contextual Equality Saturation

Explore advancements in program optimization through relational contextual equality saturation, examining challenges and applications in combining with relational models.

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

Specializing Dynamic Language C Extensions Using Type Information

Explore a technique for optimizing C extension functions in dynamic language interpreters using typed methods, reducing call and return overhead for improved performance.

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

Memory Management on Mobile Devices

Explore memory management challenges on mobile devices, focusing on Android Runtime. Learn about evaluation methods, benchmarks, and performance impacts in this critical yet understudied area.

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

The One Pass (OP) Compactor - An Intellectual Abstract

Explore a novel compaction algorithm that reduces heap fragmentation with a single pass, improving efficiency in memory management and garbage collection.

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

The Landscape of Formal Verification in APL - A Review with a Case Study in Quantum Computing

Explore formal verification in APL, focusing on its potential for building dependable software. Examine a case study in quantum computing and discuss future implications for software development.

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

Supporting Trusted Virtual Machines with Hardware-based Secure Remote Memory

Explore hardware-assisted secure memory disaggregation, combining trusted VMs with a dedicated engine for efficient isolation and protection of remote memory pages, ensuring confidentiality and integrity.

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

Inductive Approach to Spacer - PLDI 2024

Explore an inductive approach to Spacer, unifying it with GPDR and addressing refutational completeness issues in constrained Horn clause satisfiability problem solving.

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

SPORE: Combining Symmetry and Partial Order Reduction for Model Checking

Explore SPORE, a novel stateless model checker combining symmetry and partial order reduction for efficient program verification. Learn how it optimizes model checking by leveraging program structure.

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