Swap on Kubernetes: Current Status and Future Plans
Explore Kubernetes' journey to full swap support, including technical insights, design choices, challenges, and future plans. Gain knowledge to contribute to its development.
What's New in the BPF World?
Explore recent advancements in (e)BPF, including kfuncs, memory allocation, long-lived kernel pointers, and multi-kprobe attachment. Learn to leverage these features in your BPF programs.
Parallelism in a Region Inference Context
Explore region inference implementation for fork-join parallelism in higher-order functional programming, including type rules, semantics, and efficient multi-core utilization.
Continuous Arrays - SPARSE 2024 Workshop
Explore continuous arrays in programming, focusing on their implementation and applications in modern software development.
The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation - ISMM 2023
Explore the surprising efficiency of bin packing algorithms for dynamic storage allocation, comparing modern allocators with theoretical models and uncovering insights for memory optimization.
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.
Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code
Explore neural network models predicting heap allocation properties from static code, examining trade-offs, promising directions, and challenges in this innovative approach to memory management.
Wait-Free Weak Reference Counting - ISMM 2023
Explore a wait-free algorithm for weak reference counting, improving performance in high-contention scenarios. Learn about implementation, correctness proofs, and performance benchmarks for memory management optimization.
Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-Enabled SSDs
Explore an innovative approach to optimizing data replication and garbage collection in RAID-enabled SSDs, improving I/O performance and reducing tail latency for enhanced data reliability.
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.
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
Explore a novel region type-system for ensuring garbage-collection safety in polymorphic programs, addressing soundness issues and enabling efficient memory management strategies.
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.
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.
DisLog: A Separation Logic for Disentanglement
Explore DisLog, a novel separation logic for verifying disentanglement in parallel programs. Learn about its applications, benefits, and case studies in concurrent programming.
Designing Wait-free Weak Reference Counting
Explore wait-free weak reference counting design techniques for efficient memory management in concurrent systems.
Your Performance Tuning Checklist for SQL Server Optimization
Discover essential SQL Server optimization techniques for improved performance, covering configuration, memory, isolation levels, Tempdb, and transaction logs.
Calibrating JVM on Kubernetes - DevOps Approach
Explore JVM calibration on Kubernetes, from OS processes to K8s parameters. Gain insights into effective resource management and performance monitoring for optimized application deployment.
TigerBeetle - Magical Memory Tour
Explore TigerBeetle's innovative approach to memory management in database systems, focusing on performance optimization and efficient resource utilization.
The End of the Data Ice Age - Hot and Cold Data States in Modern Computing
Explore the evolution of data states in computing, examining hot and cold data paradigms and their impact on software development. Discover potential future directions for data management.
IO Page Fault for All - Lecture
Explore IO page fault mechanisms and their applications in Linux systems with Joel Granados at the Linux Plumbers Conference.
Poison and Remedy of VMAs Instead of Guards
Explore the intricacies of using VMAs instead of guards, examining both drawbacks and solutions in Linux memory management.