PPaperPicks
← All conferences
Editions202620252024

SOSP 2024

A*

ACM Symposium on Operating Systems Principles

Official site ↗
44
accepted papers
269
authors
November 4 - 6, 2024
dates
USA
location

44 / 44 papers

  1. 1
    Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value Stores
    Zhisheng Hu
    ,
    Pengfei Zuo
    ,
    Yizou Chen
    ,
    Chao Wang
    ,
    Junliang Hu
    ,
    Ming-Chang Yang
  2. 2
    Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving
    Yinwei Dai
    ,
    Rui Pan
    ,
    Anand P. Iyer
    ,
    Kai Li
    ,
    Ravi Netravali
  3. 3
    Autobahn: Seamless high speed BFT
    Neil Giridharan
    ,
    Florian Suri-Payer
    ,
    Ittai Abraham
    ,
    Lorenzo Alvisi
    ,
    Natacha Crooks
  4. 4
    BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and Performance
    Shushu Yi
    ,
    Shaocong Sun
    ,
    Li Peng
    ,
    Yingbo Sun
    ,
    Ming-Chang Yang
    ,
    Zhichao Cao
    ,
    Qiao Li
    ,
    Myoungsoo Jung
    ,
    Ke Zhou
    ,
    Jie Zhang
  5. 5
    Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for Sustainability
    Viktor Urban Gsteiger
    ,
    Pin Hong (Daniel) Long
    ,
    Yiran (Jerry) Sun
    ,
    Parshan Javanrood
    ,
    Mohammad Shahrad
  6. 6
    CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory
    Xuchuan Luo
    ,
    Jiacheng Shen
    ,
    Pengfei Zuo
    ,
    Xin Wang
    ,
    Michael R. Lyu
    ,
    Yangfan Zhou
  7. 7
    Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement Systems
    Pierre Tholoniat
    ,
    Kelly Kostopoulou
    ,
    Peter McNeely
    ,
    Prabhpreet Singh Sodhi
    ,
    Anirudh Varanasi
    ,
    Benjamin Case
    ,
    Asaf Cidon
    ,
    Roxana Geambasu
    ,
    Mathias Lécuyer
  8. 8
    Dirigent: Lightweight Serverless Orchestration
    Lazar Cvetkovic
    ,
    François Costa
    ,
    Mihajlo Djokic
    ,
    Michal Friedman
    ,
    Ana Klimovic
  9. 9
    DNS Congestion Control in Adversarial Settings
    Huayi Duan
    ,
    Jihye Kim
    ,
    Marc Wyss
    ,
    Adrian Perrig
  10. 10
    Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection
    Jia Pan
    ,
    Haoze Wu
    ,
    Tanakorn Leesatapornwongsa
    ,
    Suman Nath
    ,
    Peng Huang
  11. 11
    Enabling Parallelism Hot Switching for Efficient Training of Large Language Models
    Hao Ge
    ,
    Fangcheng Fu
    ,
    Haoyang Li
    ,
    Xuanyu Wang
    ,
    Sheng Lin
    ,
    Yujie Wang
    ,
    Xiaonan Nie
    ,
    Hailin Zhang
    ,
    Xupeng Miao
    ,
    Bin Cui
  12. 12
    Fast & Safe IO Memory Protection
    Benny Rubin
    ,
    Saksham Agarwal
    ,
    Qizhe Cai
    ,
    Rachit Agarwal
  13. 13
    Fast Core Scheduling with Userspace Process Abstraction
    Jiazhen Lin
    ,
    Youmin Chen
    ,
    Shiwei Gao
    ,
    Youyou Lu
  14. 14
    Fast, Flexible, and Practical Kernel Extensions
    Kumar Kartikeya Dwivedi
    ,
    Rishabh R. Iyer
    ,
    Sanidhya Kashyap
  15. 15
    FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring
    Dong Young Yoon
    ,
    Yang Wang
    ,
    Miao Yu
    ,
    Elvis Huang
    ,
    Juan Ignacio Jones
    ,
    Abhinay Kukkadapu
    ,
    Osman Kocas
    ,
    Jonathan Wiepert
    ,
    Kapil Goenka
    ,
    Sherry Chen
    ,
    Yanjun Lin
    ,
    Zhihui Huang
    ,
    Jocelyn Kong
    ,
    Michael Chow
    ,
    Chunqiang Tang
  16. 16
    Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution
    Naomi Smith
    ,
    Abhishek Sharma
    ,
    John Renner
    ,
    David Thien
    ,
    Fraser Brown
    ,
    Hovav Shacham
    ,
    Ranjit Jhala
    ,
    Deian Stefan
  17. 17
    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
    ,
    Cyrus Zhou
    ,
    Shan Lu
    ,
    Jonathan Mace
    ,
    Madanlal Musuvathi
    ,
    Suman Nath
  18. 18
    Improving DNN Inference Throughput Using Practical, Per-Input Compute Adaptation
    Anand Padmanabha Iyer
    ,
    Mingyu Guan
    ,
    Yinwei Dai
    ,
    Rui Pan
    ,
    Swapnil Gandhi
    ,
    Ravi Netravali
  19. 19
    LazyLog: A New Shared Log Abstraction for Low-Latency Applications
    Xuhao Luo
    ,
    Shreesha G. Bhat
    ,
    Jiyu Hu
    ,
    Ramnatthan Alagappan
    ,
    Aishwarya Ganesan
  20. 20
    LoongServe: Efficiently Serving Long-Context Large Language Models with Elastic Sequence Parallelism
    Bingyang Wu
    ,
    Shengyu Liu
    ,
    Yinmin Zhong
    ,
    Peng Sun
    ,
    Xuanzhe Liu
    ,
    Xin Jin
  21. 21
    Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
    Anish Athalye
    ,
    Henry Corrigan-Gibbs
    ,
    M. Frans Kaashoek
    ,
    Joseph Tassarotti
    ,
    Nickolai Zeldovich
  22. 22
    Morph: Efficient File-Lifetime Redundancy Management for Cluster File Systems
    Timothy Kim
    ,
    Sanjith Athlur
    ,
    Saurabh Kadekodi
    ,
    Francisco Maturana
    ,
    Dax Delvira
    ,
    Arif Merchant
    ,
    Gregory R. Ganger
    ,
    K. V. Rashmi
  23. 23
    NOPE: Strengthening domain authentication with succinct proofs
    Zachary DeStefano
    ,
    Jeff J. Ma
    ,
    Joseph Bonneau
    ,
    Michael Walfish
  24. 24
    OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
    Dae R. Jeong
    ,
    Yewon Choi
    ,
    Byoungyoung Lee
    ,
    Insik Shin
    ,
    Youngjin Kwon
  25. 25
    PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU
    Yixin Song
    ,
    Zeyu Mi
    ,
    Haotong Xie
    ,
    Haibo Chen
  26. 26
    Practical Verification of System-Software Components Written in Standard C
    Can Cebeci
    ,
    Yonghao Zou
    ,
    Diyu Zhou
    ,
    George Candea
    ,
    Clément Pit-Claudel
  27. 27
    Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, SOSP 2024, Austin, TX, USA, November 4-6, 2024
    Emmett Witchel
    ,
    Christopher J. Rossbach
    ,
    Andrea C. Arpaci-Dusseau
    ,
    Kimberly Keeton
  28. 28
    ReCycle: Resilient Training of Large DNNs using Pipeline Adaptation
    Swapnil Gandhi
    ,
    Mark Zhao
    ,
    Athinagoras Skiadopoulos
    ,
    Christos Kozyrakis
  29. 29
    Reducing Cross-Cloud/Region Costs with the Auto-Configuring MACARON Cache
    Hojin Park
    ,
    Ziyue Qiu
    ,
    Gregory R. Ganger
    ,
    George Amvrosiadis
  30. 30
    Reducing Energy Bloat in Large Model Training
    Jae-Won Chung
    ,
    Yile Gu
    ,
    Insu Jang
    ,
    Luoxi Meng
    ,
    Nikhil Bansal
    ,
    Mosharaf Chowdhury
  31. 31
    Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10
    Yiqi Liu
    ,
    Yuqi Xue
    ,
    Yu Cheng
    ,
    Lingxiao Ma
    ,
    Ziming Miao
    ,
    Jilong Xue
    ,
    Jian Huang
  32. 32
    Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions
    Kinan Dak Albab
    ,
    Artem Agvanian
    ,
    Allen Aby
    ,
    Corinn Tiffany
    ,
    Alexander Portland
    ,
    Sarah Ridley
    ,
    Malte Schwarzkopf
  33. 33
    SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
    Ashwin Prasad
    ,
    Sampath Rajendra
    ,
    Kaushik Rajan
    ,
    R. Govindarajan
    ,
    Uday Bondhugula
  34. 34
    Skyloft: A General High-Efficient Scheduling Framework in User Space
    Yuekai Jia
    ,
    Kaifu Tian
    ,
    Yuyang You
    ,
    Yu Chen
    ,
    Kang Chen
  35. 35
    SWARM: Replicating Shared Disaggregated-Memory Data in No Time
    Antoine Murat
    ,
    Clément Burgelin
    ,
    Athanasios Xygkis
    ,
    Igor Zablotchi
    ,
    Marcos Kawazoe Aguilera
    ,
    Rachid Guerraoui
  36. 36
    Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor Collections
    Marcel Wagenländer
    ,
    Guo Li
    ,
    Bo Zhao
    ,
    Luo Mai
    ,
    Peter R. Pietzuch
  37. 37
    Tiered Memory Management: Access Latency is the Key!
    Midhul Vuppalapati
    ,
    Rachit Agarwal
  38. 38
    TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and Nodes
    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
  39. 39
    Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor
    Siran Liu
    ,
    Chengxiang Qi
    ,
    Ying Cao
    ,
    Chao Yang
    ,
    Weifang Hu
    ,
    Xuanhua Shi
    ,
    Fan Yang
    ,
    Mao Yang
  40. 40
    Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
    Yiming Qiu
    ,
    Patrick Tser Jern Kon
    ,
    Ryan Beckett
    ,
    Ang Chen
  41. 41
    Unifying serverless and microservice workloads with SigmaOS
    Ariel Szekely
    ,
    Adam Belay
    ,
    Robert Morris
    ,
    M. Frans Kaashoek
  42. 42
    Verus: A Practical Foundation for Systems Verification
    Andrea Lattuada
    ,
    Travis Hance
    ,
    Jay Bosamiya
    ,
    Matthias Brun
    ,
    Chanhee Cho
    ,
    Hayley LeBlanc
    ,
    Pranav Srinivasan
    ,
    Reto Achermann
    ,
    Tej Chajed
    ,
    Chris Hawblitzel
    ,
    Jon Howell
    ,
    Jacob R. Lorch
    ,
    Oded Padon
    ,
    Bryan Parno
  43. 43
    VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds
    Kaijie Guo
    ,
    Dingji Li
    ,
    Ben Luo
    ,
    Yibin Shen
    ,
    Kaihuan Peng
    ,
    Ning Luo
    ,
    Shengdong Dai
    ,
    Chen Liang
    ,
    Jianming Song
    ,
    Hang Yang
    ,
    Xiantao Zhang
    ,
    Zeyu Mi
  44. 44
    vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware
    Jiaxing Qiu
    ,
    Zijie Zhou
    ,
    Yang Li
    ,
    Zhenhua Li
    ,
    Feng Qian
    ,
    Hao Lin
    ,
    Di Gao
    ,
    Haitao Su
    ,
    Xin Miao
    ,
    Yunhao Liu
    ,
    Tianyin Xu