venue: SOSP
year: 2024
source: dblp
count: 44
papers:
- title: 'Verus: A Practical Foundation for Systems Verification'
  authors:
  - Andrea Lattuada 0001
  - Travis Hance
  - Jay Bosamiya
  - Matthias Brun 0002
  - Chanhee Cho
  - Hayley LeBlanc
  - Pranav Srinivasan
  - Reto Achermann
  - Tej Chajed
  - Chris Hawblitzel
  - Jon Howell
  - Jacob R. Lorch
  - Oded Padon
  - Bryan Parno
  year: '2024'
  doi: 10.1145/3694715.3695952
  url: https://doi.org/10.1145/3694715.3695952
  dblp_key: conf/sosp/0001HB0CLSACHHL24
  venue_name: SOSP
  pages: 438-454
- title: 'Sesame: Practical End-to-End Privacy Compliance with Policy Containers and
    Privacy Regions'
  authors:
  - Kinan Dak Albab
  - Artem Agvanian
  - Allen Aby
  - Corinn Tiffany
  - Alexander Portland
  - Sarah Ridley
  - Malte Schwarzkopf
  year: '2024'
  doi: 10.1145/3694715.3695984
  url: https://doi.org/10.1145/3694715.3695984
  dblp_key: conf/sosp/AlbabAATPRS24
  venue_name: SOSP
  pages: 709-725
- title: 'Modular Verification of Secure and Leakage-Free Systems: From Application
    Specification to Circuit-Level Implementation'
  authors:
  - Anish Athalye
  - Henry Corrigan-Gibbs
  - M. Frans Kaashoek
  - Joseph Tassarotti
  - Nickolai Zeldovich
  year: '2024'
  doi: 10.1145/3694715.3695956
  url: https://doi.org/10.1145/3694715.3695956
  dblp_key: conf/sosp/AthalyeCKTZ24
  venue_name: SOSP
  pages: 655-672
- title: Practical Verification of System-Software Components Written in Standard
    C
  authors:
  - Can Cebeci
  - Yong-Hao Zou
  - Diyu Zhou
  - George Candea
  - Clément Pit-Claudel
  year: '2024'
  doi: 10.1145/3694715.3695980
  url: https://doi.org/10.1145/3694715.3695980
  dblp_key: conf/sosp/CebeciZZCP24
  venue_name: SOSP
  pages: 455-472
- title: Reducing Energy Bloat in Large Model Training
  authors:
  - Jae-Won Chung
  - Yile Gu
  - Insu Jang
  - Luoxi Meng
  - Nikhil Bansal 0001
  - Mosharaf Chowdhury
  year: '2024'
  doi: 10.1145/3694715.3695970
  url: https://doi.org/10.1145/3694715.3695970
  dblp_key: conf/sosp/ChungGJM0C24
  venue_name: SOSP
  pages: 144-159
- title: 'Dirigent: Lightweight Serverless Orchestration'
  authors:
  - Lazar Cvetkovic
  - François Costa
  - Mihajlo Djokic
  - Michal Friedman 0001
  - Ana Klimovic
  year: '2024'
  doi: 10.1145/3694715.3695966
  url: https://doi.org/10.1145/3694715.3695966
  dblp_key: conf/sosp/CvetkovicCD0K24
  venue_name: SOSP
  pages: 369-384
- title: 'Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in
    ML Serving'
  authors:
  - Yinwei Dai
  - Rui Pan 0003
  - Anand P. Iyer
  - Kai Li 0001
  - Ravi Netravali
  year: '2024'
  doi: 10.1145/3694715.3695963
  url: https://doi.org/10.1145/3694715.3695963
  dblp_key: conf/sosp/DaiPILN24
  venue_name: SOSP
  pages: 607-623
- title: 'NOPE: Strengthening domain authentication with succinct proofs'
  authors:
  - Zachary DeStefano
  - Jeff J. Ma
  - Joseph Bonneau
  - Michael Walfish
  year: '2024'
  doi: 10.1145/3694715.3695962
  url: https://doi.org/10.1145/3694715.3695962
  dblp_key: conf/sosp/DeStefanoMBW24
  venue_name: SOSP
  pages: 673-692
- title: DNS Congestion Control in Adversarial Settings
  authors:
  - Huayi Duan
  - Jihye Kim 0008
  - Marc Wyss
  - Adrian Perrig
  year: '2024'
  doi: 10.1145/3694715.3695982
  url: https://doi.org/10.1145/3694715.3695982
  dblp_key: conf/sosp/DuanKWP24
  venue_name: SOSP
  pages: 726-747
- title: Fast, Flexible, and Practical Kernel Extensions
  authors:
  - Kumar Kartikeya Dwivedi
  - Rishabh R. Iyer
  - Sanidhya Kashyap
  year: '2024'
  doi: 10.1145/3694715.3695950
  url: https://doi.org/10.1145/3694715.3695950
  dblp_key: conf/sosp/DwivediIK24
  venue_name: SOSP
  pages: 249-264
- title: 'ReCycle: Resilient Training of Large DNNs using Pipeline Adaptation'
  authors:
  - Swapnil Gandhi
  - Mark Zhao
  - Athinagoras Skiadopoulos
  - Christos Kozyrakis
  year: '2024'
  doi: 10.1145/3694715.3695960
  url: https://doi.org/10.1145/3694715.3695960
  dblp_key: conf/sosp/GandhiZSK24
  venue_name: SOSP
  pages: 211-228
- title: Enabling Parallelism Hot Switching for Efficient Training of Large Language
    Models
  authors:
  - Hao Ge
  - Fangcheng Fu
  - Haoyang Li 0017
  - Xuanyu Wang
  - Sheng Lin
  - Yujie Wang
  - Xiaonan Nie
  - Hailin Zhang 0004
  - Xupeng Miao
  - Bin Cui 0001
  year: '2024'
  doi: 10.1145/3694715.3695969
  url: https://doi.org/10.1145/3694715.3695969
  dblp_key: conf/sosp/GeFLWLWN0M024
  venue_name: SOSP
  pages: 178-194
- title: 'Autobahn: Seamless high speed BFT'
  authors:
  - Neil Giridharan
  - Florian Suri-Payer
  - Ittai Abraham
  - Lorenzo Alvisi
  - Natacha Crooks
  year: '2024'
  doi: 10.1145/3694715.3695942
  url: https://doi.org/10.1145/3694715.3695942
  dblp_key: conf/sosp/GiridharanSAAC24
  venue_name: SOSP
  pages: 1-23
- title: 'Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for
    Sustainability'
  authors:
  - Viktor Urban Gsteiger
  - Pin Hong (Daniel) Long
  - Yiran (Jerry) Sun
  - Parshan Javanrood
  - Mohammad Shahrad
  year: '2024'
  doi: 10.1145/3694715.3695954
  url: https://doi.org/10.1145/3694715.3695954
  dblp_key: conf/sosp/GsteigerLSJS24
  venue_name: SOSP
  pages: 403-420
- title: 'VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design
    for IaaS Clouds'
  authors:
  - Kaijie Guo
  - Dingji Li
  - Ben Luo
  - Yibin Shen
  - Kaihuan Peng
  - Ning Luo 0003
  - Shengdong Dai
  - Chen Liang
  - Jianming Song
  - Hang Yang
  - Xiantao Zhang
  - Zeyu Mi
  year: '2024'
  doi: 10.1145/3694715.3695957
  url: https://doi.org/10.1145/3694715.3695957
  dblp_key: conf/sosp/GuoLLSPLDLSYZM24
  venue_name: SOSP
  pages: 541-557
- title: 'Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value
    Stores'
  authors:
  - Zhisheng Hu
  - Pengfei Zuo
  - Yizou Chen
  - Chao Wang 0125
  - Junliang Hu
  - Ming-Chang Yang
  year: '2024'
  doi: 10.1145/3694715.3695951
  url: https://doi.org/10.1145/3694715.3695951
  dblp_key: conf/sosp/HuZCWHY24
  venue_name: SOSP
  pages: 127-143
- title: 'TrEnv: Transparently Share Serverless Execution Environments Across Different
    Functions and Nodes'
  authors:
  - Jialiang Huang
  - Mingxing Zhang
  - Teng Ma 0006
  - Zheng Liu
  - Sixing Lin
  - Kang Chen
  - Jinlei Jiang
  - Xia Liao
  - Yingdi Shan
  - Ning Zhang
  - Mengting Lu
  - Tao Ma 0006
  - Haifeng Gong
  - YongWei Wu 0001
  year: '2024'
  doi: 10.1145/3694715.3695967
  url: https://doi.org/10.1145/3694715.3695967
  dblp_key: conf/sosp/HuangZMLLCJLSZL24
  venue_name: SOSP
  pages: 421-437
- title: Improving DNN Inference Throughput Using Practical, Per-Input Compute Adaptation
  authors:
  - Anand Padmanabha Iyer
  - Mingyu Guan
  - Yinwei Dai
  - Rui Pan 0003
  - Swapnil Gandhi
  - Ravi Netravali
  year: '2024'
  doi: 10.1145/3694715.3695978
  url: https://doi.org/10.1145/3694715.3695978
  dblp_key: conf/sosp/IyerGDPGN24
  venue_name: SOSP
  pages: 624-639
- title: 'OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory
    Access Reordering'
  authors:
  - Dae R. Jeong
  - Yewon Choi
  - Byoungyoung Lee
  - Insik Shin
  - Youngjin Kwon
  year: '2024'
  doi: 10.1145/3694715.3695944
  url: https://doi.org/10.1145/3694715.3695944
  dblp_key: conf/sosp/JeongCLSK24
  venue_name: SOSP
  pages: 229-248
- title: 'Skyloft: A General High-Efficient Scheduling Framework in User Space'
  authors:
  - Yuekai Jia
  - Kaifu Tian
  - Yuyang You
  - Yu Chen 0004
  - Kang Chen
  year: '2024'
  doi: 10.1145/3694715.3695973
  url: https://doi.org/10.1145/3694715.3695973
  dblp_key: conf/sosp/JiaTY0C24
  venue_name: SOSP
  pages: 265-279
- title: 'Morph: Efficient File-Lifetime Redundancy Management for Cluster File Systems'
  authors:
  - Timothy Kim
  - Sanjith Athlur
  - Saurabh Kadekodi
  - Francisco Maturana
  - Dax Delvira
  - Arif Merchant
  - Gregory R. Ganger
  - K. V. Rashmi
  year: '2024'
  doi: 10.1145/3694715.3695981
  url: https://doi.org/10.1145/3694715.3695981
  dblp_key: conf/sosp/KimAKMDMGR24
  venue_name: SOSP
  pages: 330-346
- title: Fast Core Scheduling with Userspace Process Abstraction
  authors:
  - Jiazhen Lin
  - Youmin Chen
  - Shiwei Gao
  - Youyou Lu
  year: '2024'
  doi: 10.1145/3694715.3695976
  url: https://doi.org/10.1145/3694715.3695976
  dblp_key: conf/sosp/LinCGL24
  venue_name: SOSP
  pages: 280-295
- title: Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with
    FractalTensor
  authors:
  - Siran Liu
  - Chengxiang Qi
  - Ying Cao
  - Chao Yang 0002
  - Weifang Hu
  - Xuanhua Shi
  - Fan Yang 0024
  - Mao Yang 0004
  year: '2024'
  doi: 10.1145/3694715.3695961
  url: https://doi.org/10.1145/3694715.3695961
  dblp_key: conf/sosp/LiuQC0HS0Y24
  venue_name: SOSP
  pages: 160-177
- title: Scaling Deep Learning Computation over the Inter-Core Connected Intelligence
    Processor with T10
  authors:
  - Yiqi Liu
  - Yuqi Xue
  - Yu Cheng
  - Lingxiao Ma
  - Ziming Miao
  - Jilong Xue
  - Jian Huang 0006
  year: '2024'
  doi: 10.1145/3694715.3695955
  url: https://doi.org/10.1145/3694715.3695955
  dblp_key: conf/sosp/LiuXCMMX024
  venue_name: SOSP
  pages: 505-521
- title: 'LazyLog: A New Shared Log Abstraction for Low-Latency Applications'
  authors:
  - Xuhao Luo
  - Shreesha G. Bhat
  - Jiyu Hu
  - Ramnatthan Alagappan
  - Aishwarya Ganesan
  year: '2024'
  doi: 10.1145/3694715.3695983
  url: https://doi.org/10.1145/3694715.3695983
  dblp_key: conf/sosp/LuoBHAG24
  venue_name: SOSP
  pages: 296-312
- title: 'CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated
    Memory'
  authors:
  - Xuchuan Luo
  - Jiacheng Shen
  - Pengfei Zuo
  - Xin Wang 0002
  - Michael R. Lyu
  - Yangfan Zhou 0002
  year: '2024'
  doi: 10.1145/3694715.3695959
  url: https://doi.org/10.1145/3694715.3695959
  dblp_key: conf/sosp/LuoSZ0LZ24
  venue_name: SOSP
  pages: 110-126
- title: 'SWARM: Replicating Shared Disaggregated-Memory Data in No Time'
  authors:
  - Antoine Murat
  - Clément Burgelin
  - Athanasios Xygkis
  - Igor Zablotchi
  - Marcos Kawazoe Aguilera
  - Rachid Guerraoui
  year: '2024'
  doi: 10.1145/3694715.3695945
  url: https://doi.org/10.1145/3694715.3695945
  dblp_key: conf/sosp/MuratBXZAG24
  venue_name: SOSP
  pages: 24-45
- title: Efficient Reproduction of Fault-Induced Failures in Distributed Systems with
    Feedback-Driven Fault Injection
  authors:
  - Jia Pan
  - Haoze Wu
  - Tanakorn Leesatapornwongsa
  - Suman Nath
  - Peng Huang 0005
  year: '2024'
  doi: 10.1145/3694715.3695979
  url: https://doi.org/10.1145/3694715.3695979
  dblp_key: conf/sosp/PanWLN024
  venue_name: SOSP
  pages: 46-62
- title: Reducing Cross-Cloud/Region Costs with the Auto-Configuring MACARON Cache
  authors:
  - Hojin Park
  - Ziyue Qiu
  - Gregory R. Ganger
  - George Amvrosiadis
  year: '2024'
  doi: 10.1145/3694715.3695972
  url: https://doi.org/10.1145/3694715.3695972
  dblp_key: conf/sosp/ParkQGA24
  venue_name: SOSP
  pages: 347-368
- title: 'SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference'
  authors:
  - Ashwin Prasad
  - Sampath Rajendra
  - Kaushik Rajan
  - R. Govindarajan
  - Uday Bondhugula
  year: '2024'
  doi: 10.1145/3694715.3695958
  url: https://doi.org/10.1145/3694715.3695958
  dblp_key: conf/sosp/PrasadRRGB24
  venue_name: SOSP
  pages: 488-504
- title: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  authors:
  - Yiming Qiu 0001
  - Patrick Tser Jern Kon
  - Ryan Beckett
  - Ang Chen 0001
  year: '2024'
  doi: 10.1145/3694715.3695974
  url: https://doi.org/10.1145/3694715.3695974
  dblp_key: conf/sosp/QiuKB024
  venue_name: SOSP
  pages: 574-589
- title: 'vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware'
  authors:
  - Jiaxing Qiu
  - Zijie Zhou
  - Yang Li 0092
  - Zhenhua Li 0001
  - Feng Qian 0001
  - Hao Lin 0005
  - Di Gao
  - Haitao Su
  - Xin Miao
  - Yunhao Liu 0001
  - Tianyin Xu
  year: '2024'
  doi: 10.1145/3694715.3695946
  url: https://doi.org/10.1145/3694715.3695946
  dblp_key: conf/sosp/QiuZL00LGSMLX24
  venue_name: SOSP
  pages: 558-573
- title: Fast & Safe IO Memory Protection
  authors:
  - Benny Rubin
  - Saksham Agarwal
  - Qizhe Cai
  - Rachit Agarwal 0001
  year: '2024'
  doi: 10.1145/3694715.3695943
  url: https://doi.org/10.1145/3694715.3695943
  dblp_key: conf/sosp/RubinAC024
  venue_name: SOSP
  pages: 95-109
- title: 'Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution'
  authors:
  - Naomi Smith
  - Abhishek Sharma 0017
  - John Renner
  - David Thien
  - Fraser Brown
  - Hovav Shacham
  - Ranjit Jhala
  - Deian Stefan
  year: '2024'
  doi: 10.1145/3694715.3695949
  url: https://doi.org/10.1145/3694715.3695949
  dblp_key: conf/sosp/SmithSRTBSJS24
  venue_name: SOSP
  pages: 473-487
- title: 'PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU'
  authors:
  - Yixin Song
  - Zeyu Mi
  - Haotong Xie
  - Haibo Chen 0001
  year: '2024'
  doi: 10.1145/3694715.3695964
  url: https://doi.org/10.1145/3694715.3695964
  dblp_key: conf/sosp/SongMX024
  venue_name: SOSP
  pages: 590-606
- title: If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed
    Tooling for Detecting Retry Bugs in Software Systems
  authors:
  - Bogdan Alexandru Stoica
  - Utsav Sethi
  - Yiming Su
  - Cyrus Zhou
  - Shan Lu 0001
  - Jonathan Mace
  - Madanlal Musuvathi
  - Suman Nath
  year: '2024'
  doi: 10.1145/3694715.3695971
  url: https://doi.org/10.1145/3694715.3695971
  dblp_key: conf/sosp/StoicaSSZ0MMN24
  venue_name: SOSP
  pages: 63-78
- title: Unifying serverless and microservice workloads with SigmaOS
  authors:
  - Ariel Szekely
  - Adam Belay
  - Robert Morris 0005
  - M. Frans Kaashoek
  year: '2024'
  doi: 10.1145/3694715.3695947
  url: https://doi.org/10.1145/3694715.3695947
  dblp_key: conf/sosp/SzekelyBMK24
  venue_name: SOSP
  pages: 385-402
- title: 'Cookie Monster: Efficient On-Device Budgeting for Differentially-Private
    Ad-Measurement Systems'
  authors:
  - Pierre Tholoniat
  - Kelly Kostopoulou
  - Peter McNeely
  - Prabhpreet Singh Sodhi
  - Anirudh Varanasi
  - Benjamin Case
  - Asaf Cidon
  - Roxana Geambasu
  - Mathias Lécuyer
  year: '2024'
  doi: 10.1145/3694715.3695965
  url: https://doi.org/10.1145/3694715.3695965
  dblp_key: conf/sosp/TholoniatKMSVCC24
  venue_name: SOSP
  pages: 693-708
- title: 'Tiered Memory Management: Access Latency is the Key!'
  authors:
  - Midhul Vuppalapati
  - Rachit Agarwal 0001
  year: '2024'
  doi: 10.1145/3694715.3695968
  url: https://doi.org/10.1145/3694715.3695968
  dblp_key: conf/sosp/Vuppalapati024
  venue_name: SOSP
  pages: 79-94
- title: 'Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor
    Collections'
  authors:
  - Marcel Wagenländer
  - Guo Li
  - Bo Zhao 0019
  - Luo Mai
  - Peter R. Pietzuch
  year: '2024'
  doi: 10.1145/3694715.3695975
  url: https://doi.org/10.1145/3694715.3695975
  dblp_key: conf/sosp/WagenlanderL0MP24
  venue_name: SOSP
  pages: 195-210
- title: 'LoongServe: Efficiently Serving Long-Context Large Language Models with
    Elastic Sequence Parallelism'
  authors:
  - Bingyang Wu
  - Shengyu Liu
  - Yinmin Zhong
  - Peng Sun 0006
  - Xuanzhe Liu
  - Xin Jin 0008
  year: '2024'
  doi: 10.1145/3694715.3695948
  url: https://doi.org/10.1145/3694715.3695948
  dblp_key: conf/sosp/WuLZ0L024
  venue_name: SOSP
  pages: 640-654
- title: 'BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and
    Performance'
  authors:
  - Shushu Yi
  - Shaocong Sun
  - Li Peng
  - Yingbo Sun
  - Ming-Chang Yang
  - Zhichao Cao 0002
  - Qiao Li 0001
  - Myoungsoo Jung
  - Ke Zhou 0001
  - Jie Zhang 0048
  year: '2024'
  doi: 10.1145/3694715.3695953
  url: https://doi.org/10.1145/3694715.3695953
  dblp_key: conf/sosp/YiSPSYCLJZ024
  venue_name: SOSP
  pages: 313-329
- title: 'FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production
    Monitoring'
  authors:
  - Dong Young Yoon
  - Yang Wang 0009
  - Miao Yu 0023
  - 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
  year: '2024'
  doi: 10.1145/3694715.3695977
  url: https://doi.org/10.1145/3694715.3695977
  dblp_key: conf/sosp/Yoon0YHJKKWGCLH24
  venue_name: SOSP
  pages: 522-540
- title: Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles,
    SOSP 2024, Austin, TX, USA, November 4-6, 2024
  authors:
  - Emmett Witchel
  - Christopher J. Rossbach
  - Andrea C. Arpaci-Dusseau
  - Kimberly Keeton
  year: '2024'
  doi: 10.1145/3694715
  url: https://doi.org/10.1145/3694715
  dblp_key: conf/sosp/2024
  venue_name: SOSP
  pages: null