OSDI

Publications

2024

Bingyang Wu, Ruidong Zhu, Zili Zhang, Peng Sun, Xuanzhe Liu, Xin Jin
dLoRA: Dynamically Orchestrating Requests and Adapters for LoRA LLM Serving. OSDI (2024)
Lei Wang, Lingxiao Ma, Shijie Cao, Quanlu Zhang, Jilong Xue, Yining Shi, Ningxin Zheng, Ziming Miao, Fan Yang, Ting Cao, Yuqing Yang, Mao Yang
Ladder: Enabling Efficient Low-Precision Deep Learning Computing through Hardware-aware Tensor Transformation. OSDI (2024)
Athinagoras Skiadopoulos, Zhiqiang Xie, Mark Zhao, Qizhe Cai, Saksham Agarwal, Jacob Adelmann, David Ahern, Carlo Contavalli, Michael D. Goldflam, Vitaly Mayatskikh, Raghu Raja, Daniel Walton, Rachit Agarwal, Shrijeet Mukherjee, Christos Kozyrakis
High-throughput and Flexible Host Networking for Accelerated Computing. OSDI (2024)
Mo Zou, Dong Du, Mingkai Dong, Haibo Chen
Using Dynamically Layered Definite Releases for Verifying the RefFS File System. OSDI (2024)
Zhongyu Wang, Yaheng Song, Erci Xu, Haonan Wu, Guangxun Tong, Shizhuo Sun, Haoran Li, Jincheng Liu, Lijun Ding, Rong Liu, Jiaji Zhu, Jiesheng Wu
Ransom Access Memories: Achieving Practical Ransomware Protection in Cloud with DeftPunk. OSDI (2024)
Shujian Qian, Ashvin Goel
Massively Parallel Multi-Versioned Transaction Processing. OSDI (2024)
Sudipta Saha Shubha, Haiying Shen, Anand Iyer
USHER: Holistic Interference Avoidance for Resource Optimized ML Inference. OSDI (2024)
Hanze Zhang, Ke Cheng, Rong Chen, Haibo Chen
Fast and Scalable In-network Lock Management Using Lock Fission. OSDI (2024)
Yao Fu, Leyang Xue, Yeqi Huang, Andrei-Octavian Brabete, Dmitrii Ustiugov, Yuvraj Patel, Luo Mai
ServerlessLLM: Low-Latency Serverless Inference for Large Language Models. OSDI (2024)
Hao Sun, Zhendong Su
Validating the eBPF Verifier via State Embedding. OSDI (2024)
Zu-Ming Jiang, Zhendong Su
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. OSDI (2024)
Yi Zhai, Sijia Yang, Keyu Pan, Renwei Zhang, Shuo Liu, Chao Liu, Zichun Ye, Jianmin Ji, Jie Zhao, Yu Zhang, Yanyong Zhang
Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning. OSDI (2024)
Ying Sheng, Shiyi Cao, Dacheng Li, Banghua Zhu, Zhuohan Li, Danyang Zhuo, Joseph E. Gonzalez, Ion Stoica
Fairness in Serving Large Language Models. OSDI (2024)
Yuhong Zhong, Daniel S. Berger, Carl A. Waldspurger, Ryan Wee, Ishwar Agarwal, Rajat Agarwal, Frank Hady, Karthik Kumar, Mark D. Hill, Mosharaf Chowdhury, Asaf Cidon
Managing Memory Tiers with CXL in Virtualized Environments. OSDI (2024)
Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos
IronSpec: Increasing the Reliability of Formal Specifications. OSDI (2024)
Biao Sun, Ziming Huang, Hanyu Zhao, Wencong Xiao, Xinyi Zhang, Yong Li, Wei Lin
Llumnix: Dynamic Scheduling for Large Language Model Serving. OSDI (2024)
Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram
SquirrelFS: using the Rust compiler to check file-system crash consistency. OSDI (2024)
Zhihong Luo, Sam Son, Sylvia Ratnasamy, Scott Shenker
Harvesting Memory-bound CPU Stall Cycles in Software with MSH. OSDI (2024)
Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, Shan Lu, Michael Maire
ChameleonAPI: Automatic and Efficient Customization of Neural Networks for ML Applications. OSDI (2024)
Arnab Choudhury, Yang Wang, Tuomas Pelkonen, Kutta Srinivasan, Abha Jain, Shenghao Lin, Delia David, Siavash Soleimanifard, Michael Chen, Abhishek Yadav, Ritesh Tijoriwala, Denis Samoylov, Chunqiang Tang
MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at Hyperscale. OSDI (2024)
Martina Camaioni, Rachid Guerraoui, Matteo Monti, Pierre-Louis Roman, Manuel Vidigueira, Gauthier Voron
Chop Chop: Byzantine Atomic Broadcast to the Network Limit. OSDI (2024)
Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. OSDI (2024)
Darya Kaviani, Sijun Tan, Pravein Govindan Kannan, Raluca Ada Popa
Flock: A Framework for Deploying On-Demand Distributed Trust. OSDI (2024)
Jiacheng Ma, Rishabh R. Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea
Performance Interfaces for Hardware Accelerators. OSDI (2024)
Neeraj Kumar, Pol Mauri Ruiz, Vijay Menon, Igor Kabiljo, Mayank Pundir, Andrew Newell, Daniel Lee, Liyuan Wang, Chunqiang Tang
Optimizing Resource Allocation in Hyperscale Datacenters: Scalability, Usability, and Experiences. OSDI (2024)
Junyi Shu, Kun Qian, Ennan Zhai, Xuanzhe Liu, Xin Jin
Burstable Cloud Block Storage with Data Processing Units. OSDI (2024)
Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu
Anvil: Verifying Liveness of Cluster Management Controllers. OSDI (2024)
Haoran Ma, Yifan Qiao, Shi Liu, Shan Yu, Yuanjiang Ni, Qingda Lu, Jiesheng Wu, Yiying Zhang, Miryung Kim, Harry Xu
DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency. OSDI (2024)
Nikita Lazarev, Varun Gohil, James Tsai, Andy Anderson, Bhushan Chitlur, Zhiru Zhang, Christina Delimitrou
Sabre: Hardware-Accelerated Snapshot Compression for Serverless MicroVMs. OSDI (2024)
Marcos K. Aguilera, Clément Burgelin, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, Igor Zablotchi
DSig: Breaking the Barrier of Signatures in Data Centers. OSDI (2024)
Graeme Connell, Vivian Fang, Rolfe Schmidt, Emma Dauterman, Raluca Ada Popa
Secret Key Recovery in a Global-Scale End-to-End Encryption System. OSDI (2024)
Rui Wang, Devin Gibson, Kirk Rodrigues, Yu Luo, Yun Zhang, Kaibo Wang, Yupeng Fu, Ting Chen, Ding Yuan
μSlope: High Compression and Fast Search on Semi-Structured Logs. OSDI (2024)
18th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2024, Santa Clara, CA, USA, July 10-12, 2024. OSDI (2024)
Yilun Wu, Byounguk Min, Mohannad Ismail, Wenjie Xiong, Changhee Jung, Dongyoon Lee
IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing. OSDI (2024)
Donglin Zhuang, Zhen Zheng, Haojun Xia, Xiafei Qiu, Junjie Bai, Wei Lin, Shuaiwen Leon Song
MonoNN: Enabling a New Monolithic Optimization Space for Neural Network Inference Tasks on Modern GPU-Centric Architectures. OSDI (2024)
Abdullah Bin Faisal, Noah Martin, Hafiz Mohsin Bashir, Swaminathan Lamelas, Fahad R. Dogar
When will my ML Job finish? Toward providing Completion Time Estimates through Predictability-Centric Scheduling. OSDI (2024)
Liangcheng Yu, Xiao Zhang, Haoran Zhang, John Sonchack, Dan R. K. Ports, Vincent Liu
Beaver: Practical Partial Snapshots for Distributed Cloud Services. OSDI (2024)
Ming Zhang, Yu Hua, Zhijun Yang
Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory. OSDI (2024)
Yinmin Zhong, Shengyu Liu, Junda Chen, Jianbo Hu, Yibo Zhu, Xuanzhe Liu, Xin Jin, Hao Zhang
DistServe: Disaggregating Prefill and Decoding for Goodput-optimized Large Language Model Serving. OSDI (2024)
Qizheng Zhang, Ali Imran, Enkeleda Bardhi, Tushar Swamy, Nathan Zhang, Muhammad Shahbaz, Kunle Olukotun
Caravan: Practical Online Learning of In-Network ML Models with Labeling Agents. OSDI (2024)
Sara McAllister, Yucong Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, Gregory R. Ganger
FairyWREN: A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces. OSDI (2024)
Ao Li, Ning Zhang
Data-flow Availability: Achieving Timing Assurance in Autonomous Systems. OSDI (2024)
Wonbeom Lee, Jungi Lee, Junghwan Seo, Jaewoong Sim
InfiniGen: Efficient Generative Inference of Large Language Models with Dynamic KV Cache Management. OSDI (2024)
Mike Chow, Yang Wang, William Wang, Ayichew Hailu, Rohan Bopardikar, Bin Zhang, Jialiang Qu, David Meisner, Santosh Sonawane, Yunqi Zhang, Rodrigo Paim, Mack Ward, Ivor Huang, Matt McNally, Daniel Hodges, Zoltan Farkas, Caner Gocmen, Elvis Huang, Chunqiang Tang
ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing. OSDI (2024)
Rishabh R. Iyer, Katerina J. Argyraki, George Candea
Automatically Reasoning About How Systems Code Uses the CPU Cache. OSDI (2024)
Amey Agrawal, Nitin Kedia, Ashish Panwar, Jayashree Mohan, Nipun Kwatra, Bhargav S. Gulavani, Alexey Tumanov, Ramachandran Ramjee
Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve. OSDI (2024)
Haibo Chen, Xie Miao, Ning Jia, Nan Wang, Yu Li, Nian Liu, Yutao Liu, Fei Wang, Qiang Huang, Kun Li, Hongyang Yang, Hui Wang, Jie Yin, Yu Peng, Fengwei Xu
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. OSDI (2024)
Minwoo Ahn, Jeongmin Han, Youngjin Kwon, Jinkyu Jeong
Identifying On-/Off-CPU Bottlenecks Together with Blocked Samples. OSDI (2024)
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
VeriSMo: A Verified Security Module for Confidential VMs. OSDI (2024)
Zhenhao He, Dario Korolija, Yu Zhu, Benjamin Ramhorst, Tristan Laan, Lucian Petrica, Michaela Blott, Gustavo Alonso
ACCL+: an FPGA-Based Collective Engine for Distributed Applications. OSDI (2024)