Boki: Stateful Serverless Computing with Shared Logs
|
|
|
|
GitHub
|
Summary
|
Understanding and Detecting Software Upgrade Failures in Distributed Systems
|
|
|
|
GitHub
Jupyter Notebook
VM Image
Additional Resources
Additional Resources
|
Summary
|
Gradient Compression Supercharged High-Performance Data Parallel DNN Training
|
|
|
|
GitHub
|
Summary
|
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
|
|
|
|
GitHub
Proofs
Additional Resources
Additional Resources
|
Summary
|
iGUARD: In-GPU Advanced Race Detection
|
|
|
|
GitHub
|
Summary
|
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
|
|
|
|
GitHub
|
Summary
|
Crash Consistent Non-Volatile Memory Express
|
|
|
|
GitHub
|
Summary
|
LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism
|
|
|
|
GitHub
|
Summary
|
When Idling is Ideal: Optimizing Tail-Latency for Highly-Dispersed Datacenter Workloads with Perséphone
|
|
|
|
GitHub
Jupyter Notebook
|
Summary
|
Exploiting Nil-Externality for Fast Replicated Storage
|
|
|
|
Bitbucket
Data
|
Summary
|
Rabia: Simplifying State-Machine Replication Through Randomization
|
|
|
|
GitHub
CloudLab Profile
|
Summary
|
Coeus: A system for oblivious document ranking and retrieval
|
|
|
|
GitHub
|
Summary
|
FragPicker: A New Defragmentation Tool for Modern Storage Devices
|
|
|
|
GitHub
|
Summary
|
J-NVM: Off-heap Persistent Objects in Java
|
|
|
|
GitHub
|
Summary
|
Basil: Breaking up BFT with ACID (transactions)
|
|
|
|
GitHub
CloudLab Profile
|
Summary
|
Scale and Performance in a Filesystem Semi-Microkernel
|
|
|
|
Web
GitHub
|
Summary
|
HeMem: Scalable Tiered Memory Management for Big Data Applications and Real NVM
|
|
|
|
Bitbucket
|
Summary
|
IODA: A Host/Device Co-Design for Strong Predictability Contract on Modern Flash Storage
|
|
|
|
Bitbucket
Additional Resources
|
Summary
|
BIDL: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks
|
|
|
|
GitHub
|
Summary
|
Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale
|
|
|
|
Distinguished Artifact
GitHub
|
Summary
|
MIND: In-Network Memory Management for Disaggregated Data Centers
|
|
|
|
GitHub
|
Summary
|
Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy
|
|
|
|
GitHub
|
Summary
|
Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP
|
|
|
|
GitHub
|
Summary
|
Snoopy: Surpassing the Scalability Bottleneck of Oblivious Storage
|
|
|
|
GitHub
|
Summary
|
WineFS: a hugepage-aware file system for persistent memory that ages gracefully
|
|
|
|
GitHub
|
Summary
|
Caracal: Contention Management with Deterministic Concurrency Control
|
|
|
|
GitHub
Additional Resources
|
Summary
|
dSpace: Composable Abstractions for Smart Spaces
|
|
|
|
GitHub
|
Summary
|
The Aurora Single Level Store Operating System
|
|
|
|
Web
GitHub
Scripts
Additional Resources
|
Summary
|
HEALER: Relation Learning Guided Kernel Fuzzing
|
|
|
|
GitHub
|
Summary
|
Random Walks on Huge Graphs at Cache Efficiency
|
|
|
|
GitHub
|
Summary
|
Geometric Partitioning: Explore the Boundary of Optimal Erasure Code Repair
|
|
|
|
GitHub
|
Summary
|
Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
|
|
|
|
GitHub
|
Summary
|
Kangaroo: Caching Billions of Tiny Objects on Flash
|
|
|
|
GitHub
Additional Resources
|
Summary
|
Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores
|
|
|
|
GitHub
|
Summary
|
PACTree: A High Performance Persistent Range Index Using PAC Guidelines
|
|
|
|
GitHub
|
Summary
|
Automated SmartNIC Offloading Insights for Network Functions
|
|
|
|
GitHub
|
Summary
|
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis
|
|
|
|
GitHub
|
Summary
|
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems
|
|
|
|
|
Summary
|
Regular Sequential Serializability and Regular Sequential Consistency
|
|
|
|
GitHub
Additional Resources
|
Summary
|
The Demikernel Library OS Architecture for Microsecond, Kernel-Bypass Datacenter Systems
|
|
|
|
GitHub
CloudLab Profile
Additional Resources
Additional Resources
|
Summary
|