Memory Courses

ACM SIGPLAN

Reference Capabilities for Flexible Memory Management

Explore Verona's innovative approach to memory management using isolated regions and reference capabilities, enabling predictable and controlled memory use in concurrent programming.

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

ACM SIGPLAN

Optimal Reads-From Consistency Checking for C11-Style Memory Models

Explore optimal consistency checking algorithms for C11-style memory models, improving efficiency in concurrency testing and model checking for various C/C++ variants.

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

ACM SIGPLAN

Compound Memory Models for Heterogeneous Processors

Explore compound memory models for heterogeneous processors, focusing on x86TSO/PTX model. Learn about compositional operational models and their impact on compiler mappings for shared memory interfaces.

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

ACM SIGPLAN

Memento: A Framework for Detectable Recoverability in Persistent Memory

Explore Memento, a high-performance framework for detectable recoverability in persistent memory. Learn about its timestamp-based recovery strategy and implementation in various data structures.

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

ACM SIGPLAN

Putting Weak Memory in Order via a Promising Intermediate Representation

Explore an in-order shared-memory concurrency model for C/C++, supporting non-atomic accesses and compiler optimizations while maintaining soundness between source and intermediate representation.

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

ACM SIGPLAN

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

ACM SIGPLAN

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

ACM SIGPLAN

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

ACM SIGPLAN

Sealed with a Library Call: Memory Allocators Should Track Capability Seal Operations - POCL'24

Explore the interaction between sealed capabilities and memory allocators in CHERI, examining potential runtime errors and proposing an augmented allocator API for tracking seal operations.

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

ACM SIGPLAN

Analyzing and Improving the Scalability of In-Memory Indices for Managed Search Engines

Explore scalability improvements for in-memory indices in managed search engines, comparing compressed and uncompressed indices on DRAM and NVM, and analyzing performance trade-offs.

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

ACM SIGPLAN

Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization

Optimize memory peak in sequential scheduling of dataflow graphs. Learn techniques for task and SDF graphs, including transformations and algorithms for improved performance.

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

ACM SIGPLAN

Completeness Thresholds for Memory Safety of Array Traversing Programs

Explore completeness thresholds for bounded memory safety proofs in array-traversing programs. Learn about reducing unbounded proofs to bounded ones and potential research avenues.

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

ACM SIGPLAN

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

ACM SIGPLAN

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

ACM SIGPLAN

A Proof Recipe for Linearizability in Relaxed Memory Separation Logic

Explore a novel proof recipe for linearizability in relaxed memory, using object modification order to simplify event reordering and enable proof reuse in concurrent libraries.

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