default search action
17th OSDI 2023: Boston, MA, USA
- Roxana Geambasu, Ed Nightingale:
17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023. USENIX Association 2023
Make Your Bits Go Faster
- 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. 1-16 - 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. 17-31 - Zhe Zhou, Yanxiang Bi, Junpeng Wan, Yangfan Zhou, Zhou Li
:
Userspace Bypass: Accelerating Syscall-intensive Applications. 33-49 - Emery D. Berger
Triangulating Python Performance Issues with SCALENE. 51-64 - Xiang (Jenny) Ren, Sitao Wang, Zhuqi Jin, David Lion, Adrian Chiu, Tianyin Xu, Ding Yuan:
Relational Debugging - Pinpointing Root Causes of Performance Problems. 65-80
Secure Your Bits I
- Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières:
Accountable authentication with privacy protection: The Larch system for universal login. 81-98 - 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. 99-116 - Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen:
Encrypted Databases Made Secure Yet Maintainable. 117-133 - Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long:
LVMT: An Efficient Authenticated Storage for Blockchain. 135-153 - 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. 155-172
Secure Your Bits II
- Adil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca:
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing. 173-191 - Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla:
Nimble: Rollback Protection for Confidential Cloud Services. 193-208 - Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen:
Security and Performance in the Delegated User-level Virtualization. 209-226 - 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. 227-245 - 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. 247-267
Expanding, Hardening, and Deploying Your Bits
- Siyuan Zhuang, Stephanie Wang, Eric Liang, Yi Cheng, Ion Stoica:
ExoFlow: A Universal Workflow System for Exactly-Once DAGs. 269-286 - 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. 287-304 - Haonan Lu, Shuai Mu, Siddhartha Sen, Wyatt Lloyd:
NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall. 305-323 - 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. 325-342
Query Your Bits
- Tamer Eldeeb, Xincheng Xie, Philip A. Bernstein, Asaf Cidon, Junfeng Yang:
Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases. 343-360 - Syed Akbar Mehdi, Deukyeon Hwang, Simon Peter, Lorenzo Alvisi:
ScaleDB: A Scalable, Asynchronous In-Memory Database. 361-376 - 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. 377-395 - Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su:
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. 397-417 - Audrey Cheng, David C. Y. 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. 419-439
Store Your Bits
- Qing Wang, Youyou Lu, Jing Wang, Jiwu Shu:
Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction. 441-459 - Jaehong Min, Chenxingyu Zhao, Ming Liu, Arvind Krishnamurthy:
eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs. 461-477 - Chao Wang, Junliang Hu, Tsun-Yu Yang, Yuhong Liang, Ming-Chang Yang:
SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory. 479-495 - 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. 497-517
Manage Your Bits I
- Baptiste Lepers, Willy Zwaenepoel:
Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems). 519-534 - Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee:
TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers. 535-552 - 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. 553-571 - 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. 573-587
Manage Your Bits II
- 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:
Global Capacity Management With Flux. 589-606 - 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. 607-622 - 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. 623-643 - Midhul Vuppalapati, Giannis Fikioris, Rachit Agarwal, Asaf Cidon, Anurag Khandelwal, Éva Tardos:
Karma: Resource Allocation for Dynamic Demands. 645-662
Train Your Bits I
- Zhuohan Li, Lianmin Zheng, Yinmin Zhong, Vincent Liu, Ying Sheng, Xin Jin, Yanping Huang, Zhifeng Chen, Hao Zhang, Joseph E. Gonzalez, Ion Stoica:
AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving. 663-679 - 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. 681-699 - 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. 701-718 - 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. 719-737
Train Your Bits II
- 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. 739-755 - Qinghao Hu, Zhisheng Ye, Meng Zhang, Qiaoling Chen, Peng Sun, Yonggang Wen, Tianwei Zhang:
Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters. 757-777 - 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. 779-795 - 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. 797-815 - 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. 817-831
Verify Your Bits
- 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. 833-850 - Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh:
Spoq: Scaling Machine-Checkable Systems Verification in Coq. 851-869 - Yun-Sheng Chang, Ralf Jung
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. 871-886 - Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen:
Automated Verification of Idempotence for Stateful Serverless Applications. 887-910 - 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. 911-929
Transfer Your Bits
- 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:
Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICs. 931-948 - Boris Pismenny, Adam Morrison, Dan Tsafrir:
ShRing: Networking with Shared Receive Rings. 949-968 - 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. 969-985 - Xingda Wei, Rongxin Chen, Yuhan Yang, Rong Chen, Haibo Chen:
Characterizing Off-path SmartNIC for Accelerating Distributed Systems. 987-1004 - 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. 1005-1025
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: