|
Proto: A Guided Journey through Modern OS Construction
|
|
|
|
|
|
CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
|
|
|
|
Link
|
|
The Design and Implementation of a Virtual Firmware Monitor
|
|
|
|
Link
|
|
Oasis: Pooling PCIe Devices Over CXL to Boost Utilization
|
|
|
|
Link
|
|
Spirit: Fair Allocation of Interdependent Resources in Remote Memory Systems
|
|
|
|
Link
|
|
Scalable Far Memory: Balancing Faults and Evictions
|
|
|
|
Link
|
|
Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest Delegation
|
|
|
|
Link
|
|
Sailor: Automating Distributed Training over Dynamic, Heterogeneous, and Geo-distributed Clusters
|
|
|
|
Link
|
|
DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism
|
|
|
|
Link
|
|
TrainVerify: Equivalence-Based Verification for Distributed LLM Training
|
|
|
|
Link
|
|
Mitigating Application Resource Overload with Targeted Task Cancellation
|
|
|
|
Link
|
|
Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation
|
|
|
|
Link
|
|
Optimistic Recovery for High-Availability Software via Partial Process State Preservation
|
|
|
|
Link
|
|
Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks
|
|
|
|
Link
|
|
PrefillOnly: An Inference Engine for Prefill-only Workloads in Large Language Model Applications
|
|
|
|
Link
|
|
Pie: A Programmable Serving System for Emerging LLM Applications
|
|
|
|
Link
|
|
DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction
|
|
|
|
Link
|
|
Jenga: Effective Memory Management for Serving LLM with Heterogeneity
|
|
|
|
Link
|
|
cache_ext: Customizing the Page Cache with eBPF
|
|
|
|
Link
|
|
Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack
|
|
|
|
Link
|
|
Loom: Efficient Capture and Querying of High-Frequency Telemetry
|
|
|
|
Link
|
|
Pesto: Cooking up High Performance BFT Queries
|
|
|
|
Link
|
|
Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks
|
|
|
|
Link
|
|
Tempo: Compiled Dynamic Deep Learning with Symbolic Dependence Graphs
|
|
|
|
Link
|
|
HedraRAG: Co-Optimizing Generation and Retrieval for Heterogeneous RAG Workflows
|
|
|
|
Link
|
|
Coyote v2: Raising the Level of Abstraction for Data Center FPGAs
|
|
|
|
Link
|
|
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
|
|
|
|
Link
|
|
eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle
|
|
|
|
Link
|
|
WASIT: Deep and Continuous Differential Testing of WebAssembly System Interface Implementations
|
|
|
|
Link
|
|
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement
|
|
|
|
Link
|
|
Atmosphere: Practical Verified Kernels with Rust and Verus
|
|
|
|
Link
|
|
AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations
|
|
|
|
Link
|
|
ORQ: Complex Analytics on Private Data with Strong Security Guarantees
|
|
|
|
Link
|
|
TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
|
|
|
|
Link
|
|
Quilt: Resource-aware Merging of Serverless Workflows
|
|
|
|
Link
|
|
Mantle: Efficient Hierarchical Metadata Management for Cloud Object Storage Services
|
|
|
|
|
|
Unlocking True Elasticity for the Cloud-Native Era with Dandelion
|
|
|
|
Link
|
|
Managing Scalable Direct Storage Accesses for GPUs with GoFS
|
|
|
|
|
|
KTransformers: Unleashing the Full Potential of CPU/GPU Hybrid Inference for MoE Models
|
|
|
|
Link
|
|
Mercury: Unlocking Multi-GPU Operator Optimization for LLMs via Remote Memory Scheduling
|
|
|
|
Link
|
|
How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service
|
|
|
|
Link
|
|
CortenMM: Efficient Memory Management with Strong Correctness Guarantees
|
|
|
|
Link
|
|
FlexGuard: Fast Mutual Exclusion Independent of Subscription
|
|
|
|
Link
|
|
Scalable Address Spaces using Concurrent Interval Skiplist
|
|
|
|
Link
|
|
Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation
|
|
|
|
Link
|