OSDI 2023

55 papers

Ensō: A Streaming Interface for NIC-Application Communication

Hugo Sadok, Nirav Atre, Zhipeng Zhao, Daniel S. Berger, James C. Hoe

Characterizing Off-path SmartNIC for Accelerating Distributed Systems

Xingda Wei, Rongxin Cheng, Yuhan Yang, Rong Chen, Haibo Chen

ServiceRouter: Hyperscale and Minimal Cost Service Mesh at Meta

Harshit Saokar, Soteris Demetriou, Nick Magerko, Max Kontorovich, Josh Kirstein

ShRing: Networking with Shared Receive Rings

Boris Pismenny, Adam Morrison, Dan Tsafrir

Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICs

Qiang Li, Yixiao Gao, Xiaoliang Wang, Haonan Qiu, Yanfang Le

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems

Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway

Automated Verification of Idempotence for Stateful Serverless Applications

Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen

Verifying vMVCC, a high-performance transaction library using multi-version concurrency control

Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek

Spoq: Scaling Machine-Checkable Systems Verification in Coq

Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing

Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender

AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models

Fan Lai, Wei Zhang, Rui Liu, William Tsai, Xiaohan Wei

Optimizing Dynamic Neural Networks with Brainstorm

Weihao Cui, Zhenhua Han, Lingji Ouyang, Yichuan Wang, Ningxin Zheng

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 Barker

Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters

Qinghao Hu, Zhisheng Ye, Meng Zhang, Qiaoling Chen, peng sun

EINNET: Optimizing Tensor Programs with Derivation-Based Transformations

Liyan Zheng, Haojie Wang, Jidong Zhai, Muyan Hu, Zixuan Ma

Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators

Jie Zhao, Siyuan Feng, Xiaoqiang Dan, Fei Liu, Chengke Wang

Welder: Scheduling Deep Learning Memory Access via Tile-graph

Yining Shi, Zhi Yang, Jilong Xue, Lingxiao Ma, Yuqing Xia

Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning

Chen Zhang, Lingxiao Ma, Jilong Xue, Yining Shi, Ziming Miao

AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving

Zhuohan Li, Lianmin Zheng, Yinmin Zhong, Vincent Liu, Ying Sheng

Karma: Resource Allocation for Dynamic Demands

Midhul Vuppalapati, Giannis Fikioris, Rachit Agarwal, Asaf Cidon, Anurag Khandelwal

Cilantro: Performance-Aware Resource Allocation for General Objectives via Online Feedback

Romil Bhardwaj, Kirthevasan Kandasamy, Asim Biswal, Wenshuo Guo, Benjamin Hindman

Defcon: Preventing Overload with Graceful Feature Degradation

Justin J. Meza, Thote Gowda, Ahmed Eid, Tomiwa Ijaware, Dmitry Chernyshev

Global Capacity Management With Flux

Marius Eriksen, Kaushik Veeraraghavan, Yusuf Abdulghani, Andrew Birchall, Po-Yen Chou

ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities

Vasily A. Sartakov, Lluís Vilanova, Munir Geden, David Eyers, Takahiro Shinagawa

SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory

Xuchuan Luo, Pengfei Zuo, Jiacheng Shen, Jiazhen Gu, Xin Wang

TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers

Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee

Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)

Baptiste Lepers, Willy Zwaenepoel

No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing

Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang

SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory

Chao Wang, Junliang Hu, Tsun-Yu Yang, Yuhong Liang, Ming-Chang Yang

eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs

Jaehong Min, Chenxingyu Zhao, Ming Liu, Arvind Krishnamurthy

Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction

Qing Wang, Youyou Lu, Jing Wang, Jiwu Shu

Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate

Audrey Cheng, David Chu, Terrance Li, Jason Chan, Natacha Crooks

Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction

Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su

VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity

Qianxi Zhang, Shuotao Xu, Qi Chen, Guoxin Sui, Jiadong Xie

ScaleDB: A Scalable, Asynchronous In-Memory Database

Syed Akbar Mehdi, Deukyeon Hwang, Simon Peter, Lorenzo Alvisi

Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases

Tamer Eldeeb, Xincheng Xie, Philip A. Bernstein, Asaf Cidon, Junfeng Yang

Conveyor: One-Tool-Fits-All Continuous Software Deployment at Meta

Boris Grubic, Yang Wang, Tyler Petrochko, Ran Yaniv, Brad Jones

NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall

Haonan Lu, Shuai Mu, Siddhartha Sen, Wyatt Lloyd

Hyrax: Fail-in-Place Server Operation in Cloud Platforms

Jialun Lyu, Marisa You, Celine Irvene, Mark Jung, Tyler Narmore

ExoFlow: A Universal Workflow System for Exactly-Once DAGs

Siyuan Zhuang, Stephanie Wang, Eric Liang, Yi Cheng, Ion Stoica

Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud

Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado

Security and Performance in the Delegated User-level Virtualization

Jiahao Chen, Dingji Li, Zeyu Mi, YuXuan Liu, Binyu Zang

Kerveros: Efficient and Scalable Cloud Admission Control

Sultan Mahmud Sajal, Luke Marshall, Beibin Li, Shandan Zhou, Abhisek Pan

Nimble: Rollback Protection for Confidential Cloud Services

Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau

An Extensible Orchestration and Protection Framework for Confidential Cloud Computing

Adil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca

Honeycomb: Secure and Efficient GPU Executions via Static Validation

Haohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu

LVMT: An Efficient Authenticated Storage for Blockchain

Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu

Encrypted Databases Made Secure Yet Maintainable

Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li

K9db: Privacy-Compliant Storage For Web Applications By Construction

Kinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron Jeyaraj

Accountable authentication with privacy protection: The Larch system for universal login

Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières

Relational Debugging --- Pinpointing Root Causes of Performance Problems

Xiang (Jenny) Ren, Sitao Wang, Zhuqi Jin, David Lion, Adrian Chiu

Triangulating Python Performance Issues with SCALENE

Emery D. Berger, Sam Stern, Juan Altmayer Pizzorno, Awarded Best Paper!

Userspace Bypass: Accelerating Syscall-intensive Applications

Zhe Zhou, Yanxiang Bi, Junpeng Wan, Yangfan Zhou, Zhou Li

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

Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS

Vishal Gupta, Kumar Kartikeya Dwivedi, Yugesh Kothari, Yueyang Pan, Diyu Zhou