default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th 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, Ittai Abraham, Lorenzo Alvisi, Natacha Crooks:
Autobahn: Seamless high speed BFT. 1-23 - Antoine Murat, Clément Burgelin, Athanasios Xygkis, Igor Zablotchi, Marcos Kawazoe Aguilera, Rachid Guerraoui:
SWARM: Replicating Shared Disaggregated-Memory Data in No Time. 24-45 - Jia Pan, Haoze Wu, Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang:
Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection. 46-62 - Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu, Jonathan Mace, Madanlal Musuvathi, Suman Nath:
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, Rachit Agarwal:
Tiered Memory Management: Access Latency is the Key! 79-94 - Benny Rubin, Saksham Agarwal, Qizhe Cai, Rachit Agarwal:
Fast & Safe IO Memory Protection. 95-109 - Xuchuan Luo, Jiacheng Shen, Pengfei Zuo, Xin Wang, Michael R. Lyu, Yangfan Zhou:
CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory. 110-126 - Zhisheng Hu, Pengfei Zuo, Yizou Chen, Chao Wang, Junliang Hu, Ming-Chang Yang:
Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value Stores. 127-143 - Jae-Won Chung, Yile Gu, Insu Jang, Luoxi Meng, Nikhil Bansal, Mosharaf Chowdhury:
Reducing Energy Bloat in Large Model Training. 144-159 - Siran Liu, Chengxiang Qi, Ying Cao, Chao Yang, Weifang Hu, Xuanhua Shi, Fan Yang, Mao Yang:
Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor. 160-177 - Hao Ge, Fangcheng Fu, Haoyang Li, Xuanyu Wang, Sheng Lin, Yujie Wang, Xiaonan Nie, Hailin Zhang, Xupeng Miao, Bin Cui:
Enabling Parallelism Hot Switching for Efficient Training of Large Language Models. 178-194 - Marcel Wagenländer, Guo Li, Bo Zhao, Luo Mai, Peter R. Pietzuch:
Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor Collections. 195-210 - Swapnil Gandhi, Mark Zhao, Athinagoras Skiadopoulos, Christos Kozyrakis:
ReCycle: Resilient Training of Large DNNs using Pipeline Adaptation. 211-228 - Dae R. Jeong, Yewon Choi, Byoungyoung Lee, Insik Shin, Youngjin Kwon:
OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering. 229-248 - Kumar Kartikeya Dwivedi, Rishabh R. Iyer, Sanidhya Kashyap:
Fast, Flexible, and Practical Kernel Extensions. 249-264 - Yuekai Jia, Kaifu Tian, Yuyang You, Yu Chen, Kang Chen:
Skyloft: A General High-Efficient Scheduling Framework in User Space. 265-279 - Jiazhen Lin, Youmin Chen, Shiwei Gao, Youyou Lu:
Fast Core Scheduling with Userspace Process Abstraction. 280-295 - Xuhao Luo, Shreesha G. Bhat, Jiyu Hu, Ramnatthan Alagappan, Aishwarya Ganesan:
LazyLog: A New Shared Log Abstraction for Low-Latency Applications. 296-312 - Shushu Yi, Shaocong Sun, Li Peng, Yingbo Sun, Ming-Chang Yang, Zhichao Cao, Qiao Li, Myoungsoo Jung, Ke Zhou, Jie Zhang:
BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and Performance. 313-329 - Timothy Kim, Sanjith Athlur, Saurabh Kadekodi, Francisco Maturana, Dax Delvira, Arif Merchant, Gregory R. Ganger, K. V. Rashmi:
Morph: Efficient File-Lifetime Redundancy Management for Cluster File Systems. 330-346 - Hojin Park, Ziyue Qiu, Gregory R. Ganger, George Amvrosiadis:
Reducing Cross-Cloud/Region Costs with the Auto-Configuring MACARON Cache. 347-368 - Lazar Cvetkovic, François Costa, Mihajlo Djokic, Michal Friedman, Ana Klimovic:
Dirigent: Lightweight Serverless Orchestration. 369-384 - Ariel Szekely, Adam Belay, Robert Morris, M. Frans Kaashoek:
Unifying serverless and microservice workloads with SigmaOS. 385-402 - Viktor Urban Gsteiger, Pin Hong (Daniel) Long, Yiran (Jerry) Sun, Parshan Javanrood, Mohammad Shahrad:
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, 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:
Verus: A Practical Foundation for Systems Verification. 438-454 - Can Cebeci, Yong-Hao Zou, Diyu Zhou, George Candea, Clément Pit-Claudel:
Practical Verification of System-Software Components Written in Standard C. 455-472 - Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan:
Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution. 473-487 - Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R. Govindarajan, Uday Bondhugula:
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference. 488-504 - Yiqi Liu, Yuqi Xue, Yu Cheng, Lingxiao Ma, Ziming Miao, Jilong Xue, Jian Huang:
Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10. 505-521 - 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:
FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring. 522-540 - Kaijie Guo, Dingji Li, Ben Luo, Yibin Shen, Kaihuan Peng, Ning Luo, Shengdong Dai, Chen Liang, Jianming Song, Hang Yang, Xiantao Zhang, Zeyu Mi:
VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds. 541-557 - Jiaxing Qiu, Zijie Zhou, Yang Li, Zhenhua Li, Feng Qian, Hao Lin, Di Gao, Haitao Su, Xin Miao, Yunhao Liu, Tianyin Xu:
vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware. 558-573 - Yiming Qiu, Patrick Tser Jern Kon, Ryan Beckett, Ang Chen:
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs. 574-589 - Yixin Song, Zeyu Mi, Haotong Xie, Haibo Chen:
PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. 590-606 - Yinwei Dai, Rui Pan, Anand P. Iyer, Kai Li, Ravi Netravali:
Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving. 607-623 - Anand Padmanabha Iyer, Mingyu Guan, Yinwei Dai, Rui Pan, Swapnil Gandhi, Ravi Netravali:
Improving DNN Inference Throughput Using Practical, Per-Input Compute Adaptation. 624-639 - Bingyang Wu, Shengyu Liu, Yinmin Zhong, Peng Sun, Xuanzhe Liu, Xin Jin:
LoongServe: Efficiently Serving Long-Context Large Language Models with Elastic Sequence Parallelism. 640-654 - Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich:
Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. 655-672 - Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish:
NOPE: Strengthening domain authentication with succinct proofs. 673-692 - Pierre Tholoniat, Kelly Kostopoulou, Peter McNeely, Prabhpreet Singh Sodhi, Anirudh Varanasi, Benjamin Case, Asaf Cidon, Roxana Geambasu, Mathias Lécuyer:
Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement Systems. 693-708 - Kinan Dak Albab, Artem Agvanian, Allen Aby, Corinn Tiffany, Alexander Portland, Sarah Ridley, Malte Schwarzkopf:
Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions. 709-725 - Huayi Duan, Jihye Kim, Marc Wyss, Adrian Perrig:
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-02-20 19:34 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:
