Conferences · eligible papers

OSDI

2022–2026 LIVE

OSDI 公式サイト ↗

Operating & Distributed Systems

2022 · 49 papers

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

  1. 2022 · OSDI

    Alpa: Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning

    Lianmin Zheng, Zhuohan Li, Hao Zhang, Yonghao Zhuang, Zhifeng Chen, Yanping Huang, Yida Wang, Yuanzhong Xu, Danyang Zhuo, Eric P. Xing, Joseph E. Gonzalez, Ion Stoica

    Operating & Distributed Systems

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

  2. 2022 · OSDI

    Application-Informed Kernel Synchronization Primitives

    Sujin Park, Diyu Zhou, Yuchen Qian, Irina Calciu, Taesoo Kim, Sanidhya Kashyap

    Operating & Distributed Systems

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

  3. 2022 · OSDI

    Automatic Reliability Testing For Cluster Management Controllers

    Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, Tianyin Xu

    Operating & Distributed Systems

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

  4. 2022 · OSDI

    BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems

    Alexander Van't Hof, Jason Nieh

    Operating & Distributed Systems

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

  5. 2022 · OSDI

    BlockFlex: Enabling Storage Harvesting with Software-Defined Flash in Modern Cloud Platforms

    Benjamin Reidys, Jinghan Sun, Anirudh Badam, Shadi Noghabi, Jian Huang

    Operating & Distributed Systems

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

  6. 2022 · OSDI

    Blockaid: Data Access Policy Enforcement for Web Applications

    Wen Zhang, Eric Sheng, Michael Chang, Aurojit Panda, Mooly Sagiv, Scott Shenker

    Operating & Distributed Systems

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

  7. 2022 · OSDI

    CAP-VMs: Capability-Based Isolation and Sharing in the Cloud

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

    Operating & Distributed Systems

    日本大学: 東京大学

  8. 2022 · OSDI

    Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures

    Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath

    Operating & Distributed Systems

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

  9. 2022 · OSDI

    Carbink: Fault-Tolerant Far Memory

    Yang Zhou, Hassan M. G. Wassel, Sihang Liu, Jiaqi Gao, James Mickens, Minlan Yu, Chris Kennelly, Paul Turner, David E. Culler, Henry M. Levy, Amin Vahdat

    Operating & Distributed Systems

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

  10. 2022 · OSDI

    DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs

    Xinwei Fu, Dongyoon Lee, Changwoo Min

    Operating & Distributed Systems

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

  11. 2022 · OSDI

    Debugging the OmniTable Way

    Andi Quinn, Jason Flinn, Michael Cafarella, Baris Kasikci

    Operating & Distributed Systems

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

  12. 2022 · OSDI

    Demystifying and Checking Silent Semantic Violations in Large Distributed Systems

    Chang Lou, Yuzhuo Jing, Peng Huang

    Operating & Distributed Systems

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

  13. 2022 · OSDI

    Design and Verification of the Arm Confidential Compute Architecture

    Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell

    Operating & Distributed Systems

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

  14. 2022 · OSDI

    DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols

    Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

    Operating & Distributed Systems

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

  15. 2022 · OSDI

    Efficient and Scalable Graph Pattern Mining on GPUs

    Xuhao Chen, Arvind

    Operating & Distributed Systems

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

  16. 2022 · OSDI

    Ekko: A Large-Scale Deep Learning Recommender System with Low-Latency Model Update

    Chijun Sima, Yao Fu, Man-Kit Sit, Liyi Guo, Xuri Gong, Feng Lin, Junyu Wu, Yongsheng Li, Haidong Rong, Pierre-Louis Aublin, Luo Mai

    Operating & Distributed Systems

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

  17. 2022 · OSDI

    FAERY: An FPGA-accelerated Embedding-based Retrieval System

    Chaoliang Zeng, Layong Luo, Qingsong Ning, Yaodong Han, Yuhang Jiang, Ding Tang, Zilong Wang, Kai Chen, Chuanxiong Guo

    Operating & Distributed Systems

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

  18. 2022 · OSDI

    From Dynamic Loading to Extensible Transformation: An Infrastructure for Dynamic Library Transformation

    Yuxin Ren, Kang Zhou, Jianhai Luan, Yunfeng Ye, Shiyuan Hu, Xu Wu, Wenqin Zheng, Wenfeng Zhang, Xinwei Hu

    Operating & Distributed Systems

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

  19. 2022 · OSDI

    Groove: Flexible Metadata-Private Messaging

    Ludovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich

    Operating & Distributed Systems

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

  20. 2022 · OSDI

    Hubble: Performance Debugging with In-Production, Just-In-Time Method Tracing on Android

    Yu Luo, Kirk Rodrigues, Cuiqin Li, Feng Zhang, Lijin Jiang, Bing Xia, David Lion, Ding Yuan

    Operating & Distributed Systems

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

  21. 2022 · OSDI

    Immortal Threads: Multithreaded Event-driven Intermittent Computing on Ultra-Low-Power Microcontrollers

    Eren Yıldız, Lijun Chen, Kasim Sinan Yıldırım

    Operating & Distributed Systems

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

  22. 2022 · OSDI

    Jawa: Web Archival in the Era of JavaScript

    Ayush Goel, Jingyuan Zhu, Ravi Netravali, Harsha V. Madhyastha

    Operating & Distributed Systems

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

  23. 2022 · OSDI

    KSplit: Automating Device Driver Isolation

    Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev

    Operating & Distributed Systems

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

  24. 2022 · OSDI

    ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory

    Wonbae Kim, Chanyeol Park, Dongui Kim, Hyeongjun Park, Young-ri Choi, Alan Sussman, Beomseok Nam

    Operating & Distributed Systems

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

  25. 2022 · OSDI

    Looking Beyond GPUs for DNN Scheduling on Multi-Tenant Clusters

    Jayashree Mohan, Amar Phanishayee, Janardhan Kulkarni, Vijay Chidambaram

    Operating & Distributed Systems

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

  26. 2022 · OSDI

    MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime

    Chenxi Wang, Haoran Ma, Shi Liu, Yifan Qiao, Jonathan Eyolfson, Christian Navasca, Shan Lu, Guoqing Harry Xu

    Operating & Distributed Systems

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

  27. 2022 · OSDI

    Metastable Failures in the Wild

    Lexiang Huang, Matthew Magnusson, Abishek Bangalore Muralikrishna, Salman Estyak, Rebecca Isaacs, Abutalib Aghayev, Timothy Zhu, Aleksey Charapko

    Operating & Distributed Systems

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

  28. 2022 · OSDI

    Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences

    Mingcong Han, Hanze Zhang, Rong Chen, Haibo Chen

    Operating & Distributed Systems

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

  29. 2022 · OSDI

    ODINFS: Scaling PM Performance with Opportunistic Delegation

    Diyu Zhou, Yuchen Qian, Vishal Gupta, Zhifei Yang, Changwoo Min, Sanidhya Kashyap

    Operating & Distributed Systems

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

  30. 2022 · OSDI

    ORION and the Three Rights: Sizing, Bundling, and Prewarming for Serverless DAGs

    Ashraf Mahgoub, Edgardo Barsallo Yi, Karthick Shankar, Sameh Elnikety, Somali Chaterji, Saurabh Bagchi

    Operating & Distributed Systems

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

  31. 2022 · OSDI

    Occualizer: Optimistic Concurrent Search Trees From Sequential Code

    Tomer Shanny, Adam Morrison

    Operating & Distributed Systems

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

  32. 2022 · OSDI

    Operating System Support for Safe and Efficient Auxiliary Execution

    Yuzhuo Jing, Peng Huang

    Operating & Distributed Systems

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

  33. 2022 · OSDI

    Orca: A Distributed Serving System for Transformer-Based Generative Models

    Gyeong-In Yu, Joo Seong Jeong, Geon-Woo Kim, Soojeong Kim, Byung-Gon Chun

    Operating & Distributed Systems

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

  34. 2022 · OSDI

    Owl: Scale and Flexibility in Distribution of Hot Content

    Jason Flinn, Xianzheng Dou, Arushi Aggarwal, Alex Boyko, Francois Richard, Eric Sun, Wendy Tobagus, Nick Wolchko, Fang Zhou

    Operating & Distributed Systems

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

  35. 2022 · OSDI

    Practically Correct, Just-in-Time Shell Script Parallelization

    Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H.Y. Dang, Michael Greenberg, Nikos Vasilakis

    Operating & Distributed Systems

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

  36. 2022 · OSDI

    RESIN: A Holistic Service for Dealing with Memory Leaks in Production Cloud Infrastructure

    Chang Lou, Cong Chen, Peng Huang, Yingnong Dang, Si Qin, Xinsheng Yang, Xukun Li, Qingwei Lin, Murali Chintalapati

    Operating & Distributed Systems

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

  37. 2022 · OSDI

    ROLLER: Fast and Efficient Tensor Compilation for Deep Learning

    Hongyu Zhu, Ruofan Wu, Yijia Diao, Shanbin Ke, Haoyu Li, Chen Zhang, Jilong Xue, Lingxiao Ma, Yuqing Xia, Wei Cui, Fan Yang, Mao Yang, Lidong Zhou, Asaf Cidon, Gennady Pekhimenko

    Operating & Distributed Systems

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

  38. 2022 · OSDI

    SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access

    Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal

    Operating & Distributed Systems

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

  39. 2022 · OSDI

    SparTA: Deep-Learning Model Sparsity via Tensor-with-Sparsity-Attribute

    Ningxin Zheng, Bin Lin, Quanlu Zhang, Lingxiao Ma, Yuqing Yang, Fan Yang, Yang Wang, Mao Yang, Lidong Zhou

    Operating & Distributed Systems

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

  40. 2022 · OSDI

    Tiger: Disk-Adaptive Redundancy Without Placement Restrictions

    Saurabh Kadekodi, Francisco Maturana, Sanjith Athlur, Arif Merchant, K. V. Rashmi, Gregory R. Ganger

    Operating & Distributed Systems

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

  41. 2022 · OSDI

    TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs

    Guanyu Feng, Huanqi Cao, Xiaowei Zhu, Bowen Yu, Yuanwei Wang, Zixuan Ma, Shengqi Chen, Wenguang Chen

    Operating & Distributed Systems

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

  42. 2022 · OSDI

    Trinity: High-Performance Mobile Emulation through Graphics Projection

    Di Gao, Hao Lin, Zhenhua Li, Chengen Huang, Yunhao Liu, Feng Qian, Liangyi Gong, Tianyin Xu

    Operating & Distributed Systems

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

  43. 2022 · OSDI

    UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing

    Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu

    Operating & Distributed Systems

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

  44. 2022 · OSDI

    Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization

    Colin Unger, Zhihao Jia, Wei Wu, Sina Lin, Mandeep Baines, Carlos Efrain Quintero Narvaez, Vinay Ramakrishnaiah, Nirmal Prajapati, Pat McCormick, Jamaludin Mohd-Yusof, Xi Luo, Dheevatsa Mudigere, Jongsoo Park, Misha Smelyanskiy, Alex Aiken

    Operating & Distributed Systems

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

  45. 2022 · OSDI

    Verifying Hardware Security Modules with Information-Preserving Refinement

    Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich

    Operating & Distributed Systems

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

  46. 2022 · OSDI

    Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning

    Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich

    Operating & Distributed Systems

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

  47. 2022 · OSDI

    Walle: An End-to-End, General-Purpose, and Large-Scale Production System for Device-Cloud Collaborative Machine Learning

    Chengfei Lv, Chaoyue Niu, Renjie Gu, Xiaotang Jiang, Zhaode Wang, Bin Liu, Ziqi Wu, Qiulin Yao, Congyu Huang, Panos Huang, Tao Huang, Hui Shu, Jinde Song, Bin Zou, Peng Lan, Guohuan Xu, Fei Wu, Shaojie Tang, Fan Wu, Guihai Chen

    Operating & Distributed Systems

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

  48. 2022 · OSDI

    XRP: In-Kernel Storage Functions with eBPF

    Yuhong Zhong, Haoyu Li, Yu Jian Wu, Ioannis Zarkadas, Jeffrey Tao, Evan Mesterhazy, Michael Makris, Junfeng Yang, Amy Tai, Ryan Stutsman, Asaf Cidon

    Operating & Distributed Systems

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

  49. 2022 · OSDI

    zIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO

    Timothy Stamler, Deukyeon Hwang, Amanda Raybuck, Wei Zhang, Simon Peter

    Operating & Distributed Systems

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