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