---
title: "SOSP 2024 — all accepted papers with summaries and citations"
description: "All 43 papers of SOSP 2024, the most cited first; those with our summary link to it. Among them: PowerInfer: Fast Large Language Model…"
canonical: "https://research.elamur.ai/free/en/venues/acm-sigops-symposium-on-operating-systems-principles-sosp/2024/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/acm-sigops-symposium-on-operating-systems-principles-sosp/2024/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [SOSP](https://md.research.elamur.ai/free/en/venues/acm-sigops-symposium-on-operating-systems-principles-sosp/) / [2024](https://md.research.elamur.ai/free/en/venues/acm-sigops-symposium-on-operating-systems-principles-sosp/2024/) / papers

# SOSP 2024: all accepted papers

43 papers · the most cited first · [← SOSP 2024](https://md.research.elamur.ai/free/en/venues/acm-sigops-symposium-on-operating-systems-principles-sosp/2024/)

1. **[PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU](https://md.research.elamur.ai/free/en/papers/song-2023-powerinfer-fast-large-language-model/)**Yixin Song, Zeyu Mi, Haotong Xie et al.*133 citations · our summary*
2. **[LoongServe: Efficiently Serving Long-Context Large Language Models with Elastic Sequence Parallelism](https://md.research.elamur.ai/free/en/papers/wu-2024-loongserve-efficiently-serving-long-context/)**Bingyang Wu, Shengyu Liu, Yinmin Zhong et al.*58 citations · our summary*
3. **[Verus: A Practical Foundation for Systems Verification ↗](https://doi.org/10.1145/3694715.3695952)**Andrea Lattuada, Travis Hance, Jay Bosamiya et al.*39 citations*
4. **[Tiered Memory Management: Access Latency is the Key! ↗](https://doi.org/10.1145/3694715.3695968)**Midhul Vuppalapati, Rachit Agarwal*29 citations*
5. **[Reducing Energy Bloat in Large Model Training ↗](https://doi.org/10.1145/3694715.3695970)**Jae-Won Chung, Yile Gu, Insu Jang et al.*22 citations*
6. **[Autobahn: Seamless high speed BFT ↗](https://doi.org/10.1145/3694715.3695942)**Neil Giridharan, Florian Suri-Payer, Ittai Abraham et al.*20 citations*
7. **[TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and Nodes ↗](https://doi.org/10.1145/3694715.3695967)**Jianda Huang, Mingxing Zhang, Teng Ma et al.*19 citations*
8. **[ReCycle: Resilient Training of Large DNNs using Pipeline Adaptation ↗](https://doi.org/10.1145/3694715.3695960)**Swapnil Gandhi, Mark Zhao, Athinagoras Skiadopoulos et al.*18 citations*
9. **[Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution ↗](http://dx.doi.org/10.1145/3694715.3695949)**Naomi Smith, Abhishek Sharma, John Renner et al.*17 citations*
10. **[Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for Sustainability ↗](https://doi.org/10.1145/3694715.3695954)**Viktor Gsteiger, Pin Hong Long, Yiran Sun et al.*16 citations*
11. **[CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory ↗](https://doi.org/10.1145/3694715.3695959)**Xuchuan Luo, Jiacheng Shen, Pengfei Zuo et al.*15 citations*
12. **[Unifying serverless and microservice workloads with SigmaOS ↗](https://doi.org/10.1145/3694715.3695947)**Ariel Szekely, Adam Belay, Robert Morris et al.*14 citations*
13. **[Dirigent: Lightweight Serverless Orchestration ↗](https://doi.org/10.1145/3694715.3695966)**Lazar Cvetković, François Costa, Mihajlo Djokic et al.*13 citations*
14. **[BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and Performance ↗](https://doi.org/10.1145/3694715.3695953)**Shushu Yi, Senfeng Sun, Li Peng et al.*12 citations*
15. **[Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor Collections ↗](https://doi.org/10.1145/3694715.3695975)**Marcel Wagenländer, Guo Li, Bo Zhao et al.*12 citations*
16. **[Fast, Flexible, and Practical Kernel Extensions ↗](https://doi.org/10.1145/3694715.3695950)**Kumar Kartikeya Dwivedi, Rishabh Iyer, Sanidhya Kashyap*11 citations*
17. **[Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving ↗](https://doi.org/10.1145/3694715.3695963)**Yinwei Dai, Rui Pan, Anand Padmanabha Iyer et al.*9 citations*
18. **[If At First You Don’t Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems ↗](https://doi.org/10.1145/3694715.3695971)**Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su et al.*8 citations*
19. **[LazyLog: A New Shared Log Abstraction for Low-Latency Applications ↗](https://doi.org/10.1145/3694715.3695983)**Xuhao Luo, Shreesha G. Bhat, Jiyu Hu et al.*8 citations*
20. **[Morph: Efficient File-Lifetime Redundancy Management for Cluster File Systems ↗](https://doi.org/10.1145/3694715.3695981)**Timothy Kim, Sanjith Athlur, Saurabh Kadekodi et al.*8 citations*
21. **[Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10 ↗](https://doi.org/10.1145/3694715.3695955)**Yiqi Liu, Yuqi Xue, Yu Cheng et al.*8 citations*
22. **[Skyloft: A General High-Efficient Scheduling Framework in User Space ↗](https://doi.org/10.1145/3694715.3695973)**Yuekai Jia, Kaifu Tian, Yuyang You et al.*7 citations*
23. **[Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs ↗](https://doi.org/10.1145/3694715.3695974)**Yiming Qiu, Patrick Tser Jern Kon, Ryan Beckett et al.*7 citations*
24. **[Enabling Parallelism Hot Switching for Efficient Training of Large Language Models ↗](https://doi.org/10.1145/3694715.3695969)**Houyang Ge, Fangcheng Fu, Haoyang Li et al.*6 citations*
25. **[FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring ↗](https://doi.org/10.1145/3694715.3695977)**Dong Young Yoon, Yang Wang, Miao Yu et al.*6 citations*
26. **[Fast Core Scheduling with Userspace Process Abstraction ↗](https://doi.org/10.1145/3694715.3695976)**Jiazhen Lin, Youmin Chen, Shiwei Gao et al.*6 citations*
27. **[SWARM: Replicating Shared Disaggregated-Memory Data in No Time ↗](https://doi.org/10.1145/3694715.3695945)**Antoine Murat, Clément Burgelin, Athanasios Xygkis et al.*6 citations*
28. **[SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference ↗](https://doi.org/10.1145/3694715.3695958)**Ashwin Prasad, Sampath Rajendra, Kaushik Rajan et al.*6 citations*
29. **[Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection ↗](https://doi.org/10.1145/3694715.3695979)**Jia Pan, Haoze Wu, Tanakorn Leesatapornwongsa et al.*5 citations*
30. **[Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation ↗](https://doi.org/10.1145/3694715.3695956)**Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek et al.*5 citations*
31. **[OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering ↗](https://doi.org/10.1145/3694715.3695944)**Dae R. Jeong, Yewon Choi, Byoungyoung Lee et al.*5 citations*
32. **[Reducing Cross-Cloud/Region Costs with the Auto-Configuring MACARON Cache ↗](https://doi.org/10.1145/3694715.3695972)**Hojin Park, Ziyue Qiu, Gregory R. Ganger et al.*5 citations*
33. **[vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware ↗](https://doi.org/10.1145/3694715.3695946)**Jiaxing Qiu, Zijie Zhou, Yang Li et al.*5 citations*
34. **[Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value Stores ↗](https://doi.org/10.1145/3694715.3695951)**Zhisheng Hu, Pengfei Zuo, Yizou Chen et al.*4 citations*
35. **[DNS Congestion Control in Adversarial Settings ↗](https://doi.org/10.1145/3694715.3695982)**Huayi Duan, Jihye Kim, Marc Wyss et al.*4 citations*
36. **[Practical Verification of System-Software Components Written in Standard C ↗](https://doi.org/10.1145/3694715.3695980)**Can Cebeci, Yong-Hao Zou, Diyu Zhou et al.*4 citations*
37. **[Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions ↗](https://doi.org/10.1145/3694715.3695984)**Kinan Dak Albab, Artem Agvanian, Allen Aby et al.*3 citations*
38. **[Fast & Safe IO Memory Protection ↗](https://doi.org/10.1145/3694715.3695943)**Benny Rubin, Saksham Agarwal, Qizhe Cai et al.*2 citations*
39. **[Improving DNN Inference Throughput Using Practical, Per-Input Compute Adaptation ↗](https://doi.org/10.1145/3694715.3695978)**Anand Padmanabha Iyer, Mingyu Guan, Yinwei Dai et al.*2 citations*
40. **[NOPE: Strengthening domain authentication with succinct proofs ↗](https://doi.org/10.1145/3694715.3695962)**Zachary DeStefano, J. Jeff, Joseph Bonneau et al.*2 citations*
41. **[Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor ↗](https://doi.org/10.1145/3694715.3695961)**Siran Liu, Chengxiang Qi, Ying Cao et al.*2 citations*
42. **[VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds ↗](https://doi.org/10.1145/3694715.3695957)**Kaijie Guo, Dingji Li, Bangping Luo et al.*1 citation*
43. **[Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement Systems ↗](https://doi.org/10.1145/3694715.3695965)**Pierre Tholoniat, Kelly Kostopoulou, Peter McNeely et al.
- [← back to](https://md.research.elamur.ai/free/en/venues/acm-sigops-symposium-on-operating-systems-principles-sosp/2024/) — SOSP 2024