Building Permissions into Data Modeling
Explore a design pattern for integrating complex permissions into data models, enhancing reliability and performance in large-scale applications like social networks.
FairyWREN - A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces
Innovative flash cache design reduces writes by 12.5×, extending device lifespan and decreasing carbon emissions by 33%. Explores WREN interfaces for sustainable datacenter storage solutions.
DRust - Language-Guided Distributed Shared Memory with Fine Granularity and Full Transparency
Explores DRust, a Rust-based distributed shared memory system that leverages language ownership semantics for improved efficiency and scalability in distributed computing environments.
Beaver: Practical Partial Snapshots for Distributed Cloud Services
Innovative protocol for capturing partial snapshots in distributed cloud services, ensuring causal consistency without disrupting operations. Leverages load balancers for minimal changes and near-zero overhead.
IronSpec - Increasing the Reliability of Formal Specifications
Innovative framework for enhancing formal specification reliability through automated testing, SpecTesting Proofs, and mutation testing. Discovers bugs in real-world verified systems, strengthening software verification.
MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at Hyperscale
Intelligent global scheduling system for ML training workloads across datacenters, optimizing resource utilization and eliminating regional overload through innovative design principles.
Using Dynamically Layered Definite Releases for Verifying the RefFS File System
Explore RefFS, a groundbreaking concurrent file system with proven liveness and safety. Learn about dynamically layered definite releases and the MoLi framework for verifying concurrent systems.
Managing Memory Tiers with CXL in Virtualized Environments
Explores hardware-managed memory tiering with CXL, introducing Intel® Flat Memory Mode and Memstrata allocator to optimize performance and reduce contention in virtualized cloud environments.
Ladder: Enabling Efficient Low-Precision Deep Learning Computing through Hardware-aware Tensor Transformation
Innovative compiler for optimizing low-precision deep learning computations, bridging custom data types with hardware limitations to enhance performance without hardware modifications.
Parrot: Efficient Serving of LLM-based Applications with Semantic Variable
Discover Parrot, a system enhancing LLM-based applications with Semantic Variables. Learn how this innovation optimizes performance and enables efficient programming of AI agents and co-pilots.
Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory
Innovative system for efficient distributed transactions on disaggregated memory, improving throughput and reducing latency through multi-versioning and RDMA-based protocols.
ChameleonAPI: Automatic and Efficient Customization of Neural Networks for ML Applications
Automatic customization of neural networks for ML applications, reducing incorrect decisions by 43% compared to commercial APIs without changing application code.
ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing
Explore Meta's ServiceLab platform for detecting minute performance regressions in large-scale systems, addressing challenges in noisy cloud environments through statistical analysis and machine factor studies.
SquirrelFS - Using the Rust Compiler to Check File-System Crash Consistency
SquirrelFS: A novel approach to building crash-safe file systems using Rust's typestate pattern for compile-time enforcement, offering performance comparable to state-of-the-art alternatives.
μSlope - High Compression and Fast Search on Semi-Structured Logs
Innovative system for compressing and searching semi-structured log data, offering superior compression ratios and faster search speeds compared to existing solutions for managing large-scale log datasets.
Anvil: Verifying Liveness of Cluster Management Controllers
Innovative framework for verifying liveness in cluster management controllers, ensuring continuous reconciliation to desired states despite failures and asynchrony in cloud environments.
CyberStar - Simple, Elastic and Cost-Effective Network Functions Management in Cloud Networks
Innovative cloud-scale network function service leveraging elastic compute for massive traffic and diverse requests. Achieves 100Gbps bandwidth and scales to millions of connections within seconds.
QDSR: Accelerating Layer-7 Load Balancing by Direct Server Return with QUIC
Innovative load balancing scheme using QUIC and Direct Server Return to enhance cloud service performance, increasing request processing capacity and significantly reducing latency in high-load scenarios.
SuperBench - Improving Cloud AI Infrastructure Reliability with Proactive Validation
Proactive validation system enhancing cloud AI infrastructure reliability by mitigating hidden degradation, featuring comprehensive benchmarks and intelligent component evaluation for optimal performance.
Every Mapping Counts in Large Amounts - Folio Accounting
Innovative folio accounting technique for Linux enhances memory management, improving performance in fork and unmap operations. Demonstrates significant speedup in fork-intensive workloads like Redis.
Starburst - A Cost-aware Scheduler for Hybrid Cloud
Innovative hybrid cloud scheduler maximizing cluster utilization, reducing cloud costs by 54-91% while minimizing job completion time impact through dynamic waiting time control and configurable resource management.