| 2023 | 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023. Roxana Geambasu, Ed Nightingale |
| 2023 | Accountable authentication with privacy protection: The Larch system for universal login. Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières |
| 2023 | AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models. Fan Lai, Wei Zhang, Rui Liu, William Tsai, Xiaohan Wei, Yuxi Hu, Sabin Devkota, Jianyu Huang, Jongsoo Park, Xing Liu, ZeLiang Chen, Ellie Wen, Paul Rivera, Jie You, Chun-cheng Jason Chen, Mosharaf Chowdhury |
| 2023 | AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving. Zhuohan Li, Lianmin Zheng, Yinmin Zhong, Vincent Liu, Ying Sheng, Xin Jin, Yanping Huang, Zhifeng Chen, Hao Zhang, Joseph E. Gonzalez, Ion Stoica |
| 2023 | An Extensible Orchestration and Protection Framework for Confidential Cloud Computing. Adil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca |
| 2023 | Automated Verification of Idempotence for Stateful Serverless Applications. Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen |
| 2023 | BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen |
| 2023 | Characterizing Off-path SmartNIC for Accelerating Distributed Systems. Xingda Wei, Rongxin Cheng, Yuhan Yang, Rong Chen, Haibo Chen |
| 2023 | Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases. Tamer Eldeeb, Xincheng Xie, Philip A. Bernstein, Asaf Cidon, Junfeng Yang |
| 2023 | Cilantro: Performance-Aware Resource Allocation for General Objectives via Online Feedback. Romil Bhardwaj, Kirthevasan Kandasamy, Asim Biswal, Wenshuo Guo, Benjamin Hindman, Joseph Gonzalez, Michael I. Jordan, Ion Stoica |
| 2023 | Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning. Chen Zhang, Lingxiao Ma, Jilong Xue, Yining Shi, Ziming Miao, Fan Yang, Jidong Zhai, Zhi Yang, Mao Yang |
| 2023 | Conveyor: One-Tool-Fits-All Continuous Software Deployment at Meta. Boris Grubic, Yang Wang, Tyler Petrochko, Ran Yaniv, Brad Jones, David Callies, Matt Clarke-Lauer, Dan Kelley, Soteris Demetriou, Kenny Yu, Chunqiang Tang |
| 2023 | Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud. Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann |
| 2023 | Defcon: Preventing Overload with Graceful Feature Degradation. Justin 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 |
| 2023 | Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su |
| 2023 | EINNET: Optimizing Tensor Programs with Derivation-Based Transformations. Liyan Zheng, Haojie Wang, Jidong Zhai, Muyan Hu, Zixuan Ma, Tuowei Wang, Shuhong Huang, Xupeng Miao, Shizhi Tang, Kezhao Huang, Zhihao Jia |
| 2023 | Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators. Jie Zhao, Siyuan Feng, Xiaoqiang Dan, Fei Liu, Chengke Wang, Sheng Yuan, Wenyuan Lv, Qikai Xie |
| 2023 | Encrypted Databases Made Secure Yet Maintainable. Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen |
| 2023 | Ensō: A Streaming Interface for NIC-Application Communication. Hugo Sadok, Nirav Atre, Zhipeng Zhao, Daniel S. Berger, James C. Hoe, Aurojit Panda, Justine Sherry, Ren Wang |
| 2023 | ExoFlow: A Universal Workflow System for Exactly-Once DAGs. Siyuan Zhuang, Stephanie Wang, Eric Liang, Yi Cheng, Ion Stoica |
| 2023 | Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICs. Qiang Li, Yixiao Gao, Xiaoliang Wang, Haonan Qiu, Yanfang Le, Derui Liu, Qiao Xiang, Fei Feng, Peng Zhang, Bo Li, Jianbo Dong, Lingbo Tang, Hongqiang Harry Liu, Shaozong Liu, Weijie Li, Rui Miao, Yaohui Wu, Zhiwu Wu, Chao Han, Lei Yan, Zheng Cao, Zhongjie Wu, Chen Tian, Guihai Chen, Dennis Cai, Jinbo Wu, Jiaji Zhu, Jiesheng Wu, Jiwu Shu |
| 2023 | Global Capacity Management With Flux. Marius Eriksen, Kaushik Veeraraghavan, Yusuf Abdulghani, Andrew Birchall, Po-Yen Chou, Richard Cornew, Adela Kabiljo, Ranjith Kumar S., Maroo Lieuw, Justin Meza, Scott Michelson, Thomas Rohloff, Hayley Russell, Jeff Qin, Chunqiang Tang |
| 2023 | Honeycomb: Secure and Efficient GPU Executions via Static Validation. Haohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu, Mingyu Gao, Cong Wang, Huimin Cui, Xiaobing Feng, Christos Kozyrakis |
| 2023 | Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters. Qinghao Hu, Zhisheng Ye, Meng Zhang, Qiaoling Chen, Peng Sun, Yonggang Wen, Tianwei Zhang |
| 2023 | Hyrax: Fail-in-Place Server Operation in Cloud Platforms. 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 |
| 2023 | Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems). Baptiste Lepers, Willy Zwaenepoel |
| 2023 | K9db: Privacy-Compliant Storage For Web Applications By Construction. Kinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron R. Jeyaraj, Raj Paul, Artem Agvanian, Leonhard F. Spiegelberg, Malte Schwarzkopf |
| 2023 | Karma: Resource Allocation for Dynamic Demands. Midhul Vuppalapati, Giannis Fikioris, Rachit Agarwal, Asaf Cidon, Anurag Khandelwal, Éva Tardos |
| 2023 | Kerveros: Efficient and Scalable Cloud Admission Control. Sultan Mahmud Sajal, Luke Marshall, Beibin Li, Shandan Zhou, Abhisek Pan, Konstantina Mellou, Deepak Narayanan, Timothy Zhu, David Dion, Thomas Moscibroda, Ishai Menache |
| 2023 | LVMT: An Efficient Authenticated Storage for Blockchain. Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long |
| 2023 | MGG: Accelerating Graph Neural Networks with Fine-Grained Intra-Kernel Communication-Computation Pipelining on Multi-GPU Platforms. Yuke Wang, Boyuan Feng, Zheng Wang, Tong Geng, Kevin J. Barker, Ang Li, Yufei Ding |
| 2023 | NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall. Haonan Lu, Shuai Mu, Siddhartha Sen, Wyatt Lloyd |
| 2023 | Nimble: Rollback Protection for Confidential Cloud Services. Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla |
| 2023 | No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, Haibo Chen |
| 2023 | ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities. Vasily A. Sartakov, Lluís Vilanova, Munir Geden, David M. Eyers, Takahiro Shinagawa, Peter R. Pietzuch |
| 2023 | Optimizing Dynamic Neural Networks with Brainstorm. Weihao Cui, Zhenhua Han, Lingji Ouyang, Yichuan Wang, Ningxin Zheng, Lingxiao Ma, Yuqing Yang, Fan Yang, Jilong Xue, Lili Qiu, Lidong Zhou, Quan Chen, Haisheng Tan, Minyi Guo |
| 2023 | RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks. 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 |
| 2023 | Relational Debugging - Pinpointing Root Causes of Performance Problems. Xiang (Jenny) Ren, Sitao Wang, Zhuqi Jin, David Lion, Adrian Chiu, Tianyin Xu, Ding Yuan |
| 2023 | Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction. Qing Wang, Youyou Lu, Jing Wang, Jiwu Shu |
| 2023 | SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory. Chao Wang, Junliang Hu, Tsun-Yu Yang, Yuhong Liang, Ming-Chang Yang |
| 2023 | SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory. Xuchuan Luo, Pengfei Zuo, Jiacheng Shen, Jiazhen Gu, Xin Wang, Michael R. Lyu, Yangfan Zhou |
| 2023 | ScaleDB: A Scalable, Asynchronous In-Memory Database. Syed Akbar Mehdi, Deukyeon Hwang, Simon Peter, Lorenzo Alvisi |
| 2023 | Security and Performance in the Delegated User-level Virtualization. Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen |
| 2023 | ServiceRouter: Hyperscale and Minimal Cost Service Mesh at Meta. Harshit Saokar, Soteris Demetriou, Nick Magerko, Max Kontorovich, Josh Kirstein, Margot Leibold, Dimitrios Skarlatos, Hitesh Khandelwal, Chunqiang Tang |
| 2023 | ShRing: Networking with Shared Receive Rings. Boris Pismenny, Adam Morrison, Dan Tsafrir |
| 2023 | Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno |
| 2023 | Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS. Vishal Gupta, Kumar Kartikeya Dwivedi, Yugesh Kothari, Yueyang Pan, Diyu Zhou, Sanidhya Kashyap |
| 2023 | Spoq: Scaling Machine-Checkable Systems Verification in Coq. Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh |
| 2023 | TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers. Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee |
| 2023 | Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate. Audrey Cheng, David C. Y. Chu, Terrance Li, Jason Chan, Natacha Crooks, Joseph M. Hellerstein, Ion Stoica, Xiangyao Yu |
| 2023 | Triangulating Python Performance Issues with SCALENE. Emery D. Berger, Sam Stern, Juan Altmayer Pizzorno |
| 2023 | Userspace Bypass: Accelerating Syscall-intensive Applications. Zhe Zhou, Yanxiang Bi, Junpeng Wan, Yangfan Zhou, Zhou Li |
| 2023 | VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity. Qianxi Zhang, Shuotao Xu, Qi Chen, Guoxin Sui, Jiadong Xie, Zhizhen Cai, Yaoqi Chen, Yinxuan He, Yuqing Yang, Fan Yang, Mao Yang, Lidong Zhou |
| 2023 | Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2023 | Welder: Scheduling Deep Learning Memory Access via Tile-graph. Yining Shi, Zhi Yang, Jilong Xue, Lingxiao Ma, Yuqing Xia, Ziming Miao, Yuxiao Guo, Fan Yang, Lidong Zhou |
| 2023 | eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs. Jaehong Min, Chenxingyu Zhao, Ming Liu, Arvind Krishnamurthy |