Conferences · eligible papers

OSDI

2022–2026 LIVE

OSDI 公式サイト ↗

Operating & Distributed Systems

2023 · 55 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

  1. 2023 · OSDI

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

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  2. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  3. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  4. 2023 · OSDI

    An Extensible Orchestration and Protection Framework for Confidential Cloud Computing

    Adil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  5. 2023 · OSDI

    Automated Verification of Idempotence for Stateful Serverless Applications

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  6. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  7. 2023 · OSDI

    Characterizing Off-path SmartNIC for Accelerating Distributed Systems

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  8. 2023 · OSDI

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

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  9. 2023 · OSDI

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

    Romil Bhardwaj, Kirthevasan Kandasamy, Asim Biswal, Wenshuo Guo, Benjamin Hindman, Joseph Gonzalez, Michael Jordan, Ion Stoica

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  10. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  11. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  12. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  13. 2023 · OSDI

    Defcon: Preventing Overload with Graceful Feature Degradation

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  14. 2023 · OSDI

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

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  15. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  16. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  17. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  18. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  19. 2023 · OSDI

    ExoFlow: A Universal Workflow System for Exactly-Once DAGs

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  20. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  21. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  22. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  23. 2023 · OSDI

    Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters

    Qinghao Hu, Zhisheng Ye, Meng Zhang, Qiaoling Chen, Peng Sun, Yonggang Wen, Tianwei Zhang

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  24. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  25. 2023 · OSDI

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

    Baptiste Lepers, Willy Zwaenepoel

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  26. 2023 · OSDI

    K9db: Privacy-Compliant Storage For Web Applications By Construction

    Kinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron Jeyaraj, Raj Paul, Artem Agvanian, Leonhard Spiegelberg, Malte Schwarzkopf

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  27. 2023 · OSDI

    Karma: Resource Allocation for Dynamic Demands

    Midhul Vuppalapati, Giannis Fikioris, Rachit Agarwal, Asaf Cidon, Anurag Khandelwal, Éva Tardos

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  28. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  29. 2023 · OSDI

    LVMT: An Efficient Authenticated Storage for Blockchain

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  30. 2023 · OSDI

    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, Ang Li, Yufei Ding

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  31. 2023 · OSDI

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

    Haonan Lu, Shuai Mu, Siddhartha Sen, Wyatt Lloyd

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  32. 2023 · OSDI

    Nimble: Rollback Protection for Confidential Cloud Services

    Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath Setty, Sudheesh Singanamalla

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  33. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  34. 2023 · OSDI

    ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities

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

    Operating & Distributed Systems

    日本大学: 東京大学

  35. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  36. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  37. 2023 · OSDI

    Relational Debugging --- Pinpointing Root Causes of Performance Problems

    Xiang (Jenny) Ren, Sitao Wang, Zhuqi Jin, David Lion, Adrian Chiu, Tianyin Xu, Ding Yuan

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  38. 2023 · OSDI

    Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction

    Qing Wang, Youyou Lu, Jing Wang, Jiwu Shu

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  39. 2023 · OSDI

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

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  40. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  41. 2023 · OSDI

    ScaleDB: A Scalable, Asynchronous In-Memory Database

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  42. 2023 · OSDI

    Security and Performance in the Delegated User-level Virtualization

    Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  43. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  44. 2023 · OSDI

    ShRing: Networking with Shared Receive Rings

    Boris Pismenny, Adam Morrison, Dan Tsafrir

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  45. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  46. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  47. 2023 · OSDI

    Spoq: Scaling Machine-Checkable Systems Verification in Coq

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  48. 2023 · OSDI

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

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  49. 2023 · OSDI

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

    Audrey Cheng, David Chu, Terrance Li, Jason Chan, Natacha Crooks, Joseph M. Hellerstein, Ion Stoica, Xiangyao Yu

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  50. 2023 · OSDI

    Triangulating Python Performance Issues with SCALENE

    Emery D. Berger, Sam Stern, Juan Altmayer Pizzorno

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  51. 2023 · OSDI

    Userspace Bypass: Accelerating Syscall-intensive Applications

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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  52. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  53. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  54. 2023 · OSDI

    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

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)

  55. 2023 · OSDI

    eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs

    Jaehong Min, Chenxingyu Zhao, Ming Liu, Arvind Krishnamurthy

    Operating & Distributed Systems

    日本大学: 関与なし(対象大学)