| 
        
          Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Bagpipe: Accelerating Deep Recommendation Model Training
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Cornflakes: Zero-Copy Serialization for Microsecond-Scale Networking
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
              
          CloudLab Profile 
         
          Scripts 
         
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Ditto: An Elastic and Adaptive Memory-Disaggregated Caching System
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Edna: Disguising and Revealing User Data in Web Applications
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Efficient Memory Management for Large Language Model Serving with PagedAttention
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Falcon: Fast OLTP Engine for Persistent Cache and Non-Volatile Memory
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          FIFO Queues are All You Need for Cache Eviction
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          GEMINI: Fast Failure Recovery in Distributed Training with In-Memory Checkpoints
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Grove: a Separation-Logic Library for Verifying Distributed Systems
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          gSampler: General and Efficient GPU-based Graph Sampling for Graph Learning
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Mira: A Program-Behavior-Guided Far Memory System
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Oobleck: Resilient Distributed Training of Large Models Using Pipeline Templates
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Paella: Low-latency Model Serving with Software-defined GPU Scheduling
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          PIT: Optimization of Dynamic Sparse Deep Learning Models via Permutation Invariant Transformation
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Private Web Search with Tiptoe
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Sia: Heterogeneity-Aware, Goodput-Optimized ML-Cluster Scheduling
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          SPFresh: Incremental In-Place Update for Billion-Scale Vector Search
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Turbo: Effective Caching in Differentially-Private Databases
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          UGACHE: A Unified GPU Cache for Embedding-based Deep Learning
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Achieving Microsecond-Scale Tail Latency Efficiently with Approximate Optimal Scheduling
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Antipode: Enforcing Cross-Service Causal Consistency in Distributed Applications
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Blueprint: A Toolchain for Highly-Reconfigurable Microservice Applications
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          MEMTIS: Efficient Memory Tiering with Dynamic Page Classification and Page Size Determination
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Pushing Performance Isolation Boundaries into Application with pBox
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          QuePaxa: Escaping the tyranny of timeouts in consensus
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          RackBlox: A Software-Defined Rack-Scale Storage System with Network-Storage Co-Design
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Siloz: Leveraging DRAM Isolation Domains to Prevent Inter-VM Rowhammer
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Validating JIT Compilers via Compilation Space Exploration
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
        
       | 
      
          
          GitHub 
                
       | 
      
        
          Summary
        
       | 
    
    
    
      | 
        
          Flexible Advancement in Asynchronous BFT Consensus
        
       | 
      
        
       | 
      
        
           
        
       | 
      
        
           
        
       | 
      
                  
       | 
      
        
          Summary
        
       |