default search action
30th SOSP 2024: Austin, TX, USA
- Emmett Witchel, Christopher J. Rossbach, Andrea C. Arpaci-Dusseau, Kimberly Keeton:
Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, SOSP 2024, Austin, TX, USA, November 4-6, 2024. ACM 2024, ISBN 979-8-4007-1251-7 - Neil Giridharan
, Florian Suri-Payer
Autobahn: Seamless high speed BFT. 1-23 - Antoine Murat
SWARM: Replicating Shared Disaggregated-Memory Data in No Time. 24-45 - Jia Pan
Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection. 46-62 - Bogdan Alexandru Stoica
If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems. 63-78 - Midhul Vuppalapati
Tiered Memory Management: Access Latency is the Key! 79-94 - Benny Rubin
Fast & Safe IO Memory Protection. 95-109 - Xuchuan Luo
CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory. 110-126 - Zhisheng Hu
Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value Stores. 127-143 - Jae-Won Chung
Reducing Energy Bloat in Large Model Training. 144-159 - Siran Liu
Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor. 160-177 - Hao Ge
Enabling Parallelism Hot Switching for Efficient Training of Large Language Models. 178-194 - Marcel Wagenländer
Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor Collections. 195-210 - Swapnil Gandhi
ReCycle: Resilient Training of Large DNNs using Pipeline Adaptation. 211-228 - Dae R. Jeong
OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering. 229-248 - Kumar Kartikeya Dwivedi
Fast, Flexible, and Practical Kernel Extensions. 249-264 - Yuekai Jia
Skyloft: A General High-Efficient Scheduling Framework in User Space. 265-279 - Jiazhen Lin
Fast Core Scheduling with Userspace Process Abstraction. 280-295 - Xuhao Luo
LazyLog: A New Shared Log Abstraction for Low-Latency Applications. 296-312 - Shushu Yi
BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and Performance. 313-329 - Timothy Kim
Morph: Efficient File-Lifetime Redundancy Management for Cluster File Systems. 330-346 - Hojin Park
Reducing Cross-Cloud/Region Costs with the Auto-Configuring MACARON Cache. 347-368 - Lazar Cvetkovic
Dirigent: Lightweight Serverless Orchestration. 369-384 - Ariel Szekely
Unifying serverless and microservice workloads with SigmaOS. 385-402 - Viktor Urban Gsteiger
Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for Sustainability. 403-420 - Jialiang Huang, Mingxing Zhang, Teng Ma, Zheng Liu, Sixing Lin, Kang Chen, Jinlei Jiang, Xia Liao, Yingdi Shan, Ning Zhang, Mengting Lu, Tao Ma, Haifeng Gong, YongWei Wu:
TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and Nodes. 421-437 - Andrea Lattuada
Verus: A Practical Foundation for Systems Verification. 438-454 - Can Cebeci
Practical Verification of System-Software Components Written in Standard C. 455-472 - Naomi Smith
Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution. 473-487 - Ashwin Prasad
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference. 488-504 - Yiqi Liu
Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10. 505-521 - Dong Young Yoon
FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring. 522-540 - Kaijie Guo
VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds. 541-557 - Jiaxing Qiu
vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware. 558-573 - Yiming Qiu
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs. 574-589 - Yixin Song
PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. 590-606 - Yinwei Dai
Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving. 607-623 - Anand Padmanabha Iyer
Improving DNN Inference Throughput Using Practical, Per-Input Compute Adaptation. 624-639 - Bingyang Wu
LoongServe: Efficiently Serving Long-Context Large Language Models with Elastic Sequence Parallelism. 640-654 - Anish Athalye
Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. 655-672 - Zachary DeStefano
NOPE: Strengthening domain authentication with succinct proofs. 673-692 - Pierre Tholoniat
Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement Systems. 693-708 - Kinan Dak Albab
Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions. 709-725 - Huayi Duan
DNS Congestion Control in Adversarial Settings. 726-747
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-03 23:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: