OSDI

Keyphrases

Publications

2023

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