| Spoq: Scaling Machine-Checkable Systems Verification in Coq | OSDI '23 | Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh |
| AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving | OSDI '23 | Zhuohan Li, Lianmin Zheng, Yinmin Zhong, Vincent Liu, Ying Sheng, Xin Jin, Yanping Huang, Zhifeng Chen, Hao Zhang, Joseph E. Gonzalez, Ion Stoica |
| RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks | OSDI '23 | Shiwu Lo, Han-Ting Lin, Yao-Hung Hsieh, Chao-Ting Lin, Yu-Hsueh Fang, Ching-Shen Lin, Ching-Chun (Jim) Huang, Kam Yiu Lam, Yuan-Hao Chang |
| NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall | OSDI '23 | Haonan Lu, Shuai Mu, Siddhartha Sen, Wyatt Lloyd |
| SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory | OSDI '23 | Xuchuan Luo, Pengfei Zuo, Jiacheng Shen, Jiazhen Gu, Xin Wang, Michael R. Lyu, Yangfan Zhou |
| Hyrax: Fail-in-Place Server Operation in Cloud Platforms | OSDI '23 | Jialun Lyu, Marisa You, Celine Irvene, Mark Jung, Tyler Narmore, Jacob Shapiro, Luke Marshall, Savyasachi Samal, Ioannis Manousakis, Lisa Hsu, Preetha Subbarayalu, Ashish Raniwala, Brijesh Warrier, Ricardo Bianchini, Bianca Schroeder, Daniel S. Berger |
| Honeycomb: Secure and Efficient GPU Executions via Static Validation | OSDI '23 | Haohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu, Mingyu Gao, Cong Wang, Huimin Cui, Xiaobing Feng, Christos Kozyrakis |
| ScaleDB: A Scalable, Asynchronous In-Memory Database | OSDI '23 | Syed Akbar Mehdi, Deukyeon Hwang, Simon Peter, Lorenzo Alvisi |
| Defcon: Preventing Overload with Graceful Feature Degradation | OSDI '23 | Justin J. Meza, Thote Gowda, Ahmed Eid, Tomiwa Ijaware, Dmitry Chernyshev, Yi Yu, Md Nazim Uddin, Rohan Das, Chad Nachiappan, Sari Tran, Shuyang Shi, Tina Luo, David Ke Hong, Sankaralingam Panneerselvam, Hans Ragas, Svetlin Manavski, Weidong Wang, Francois Richard |
| Userspace Bypass: Accelerating Syscall-intensive Applications | OSDI '23 | Zhe Zhou, Yanxiang Bi, Junpeng Wan, Yangfan Zhou, Zhou Li |
| Relational Debugging --- Pinpointing Root Causes of Performance Problems | OSDI '23 | Xiang (Jenny) Ren, Sitao Wang, Zhuqi Jin, David Lion, Adrian Chiu, Tianyin Xu, Ding Yuan |
| Kerveros: Efficient and Scalable Cloud Admission Control | OSDI '23 | Sultan Mahmud Sajal, Luke Marshall, Beibin Li, Shandan Zhou, Abhisek Pan, Konstantina Mellou, Deepak Narayanan, Timothy Zhu, David Dion, Thomas Moscibroda, Ishai Menache |
| Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud | OSDI '23 | Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann |
| ExoFlow: A Universal Workflow System for Exactly-Once DAGs | OSDI '23 | Siyuan Zhuang, Stephanie Wang, Eric Liang, Yi Cheng, Ion Stoica |
| VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity | OSDI '23 | Qianxi Zhang, Shuotao Xu, Qi Chen, Guoxin Sui, Jiadong Xie, Zhizhen Cai, Yaoqi Chen, Yinxuan He, Yuqing Yang, Fan Yang, Mao Yang, Lidong Zhou |
| Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction | OSDI '23 | Qing Wang, Youyou Lu, Jing Wang, Jiwu Shu |
| eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs | OSDI '23 | Jaehong Min, Chenxingyu Zhao, Ming Liu, Arvind Krishnamurthy |
| SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory | OSDI '23 | Chao Wang, Junliang Hu, Tsun-Yu Yang, Yuhong Liang, Ming-Chang Yang |
| No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing | OSDI '23 | Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, Haibo Chen |
| TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers | OSDI '23 | Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee |
| ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities | OSDI '23 | Vasily A. Sartakov, Lluís Vilanova, Munir Geden, David Eyers, Takahiro Shinagawa, Peter Pietzuch |
| Karma: Resource Allocation for Dynamic Demands | OSDI '23 | Midhul Vuppalapati, Giannis Fikioris, Rachit Agarwal, Asaf Cidon, Anurag Khandelwal, Éva Tardos |
| Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning | OSDI '23 | Chen Zhang, Lingxiao Ma, Jilong Xue, Yining Shi, Ziming Miao, Fan Yang, Jidong Zhai, Zhi Yang, Mao Yang |
| Welder: Scheduling Deep Learning Memory Access via Tile-graph | OSDI '23 | Yining Shi, Zhi Yang, Jilong Xue, Lingxiao Ma, Yuqing Xia, Ziming Miao, Yuxiao Guo, Fan Yang, Lidong Zhou |
| Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators | OSDI '23 | Jie Zhao, Siyuan Feng, Xiaoqiang Dan, Fei Liu, Chengke Wang, Sheng Yuan, Wenyuan Lv, Qikai Xie |
