OSDI 2022

49 papers

Efficient and Scalable Graph Pattern Mining on GPUs

Xuhao Chen, Arvind

FAERY: An FPGA-accelerated Embedding-based Retrieval System

Chaoliang Zeng, Layong Luo, Qingsong Ning, Yaodong Han, Yuhang Jiang

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

Chijun Sima, Yao Fu, Man-Kit Sit, Liyi Guo, Xuri Gong

Jawa: Web Archival in the Era of JavaScript

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

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

Yu Luo, Kirk Rodrigues, Cuiqin Li, Feng Zhang, Lijin Jiang

Practically Correct, Just-in-Time Shell Script Parallelization

Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H.Y. Dang

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

Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang

Groove: Flexible Metadata-Private Messaging

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

SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access

Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal

Blockaid: Data Access Policy Enforcement for Web Applications

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

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

Alexander Van't Hof, Jason Nieh

Application-Informed Kernel Synchronization Primitives

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

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

Yuxin Ren, Kang Zhou, Jianhai Luan, Yunfeng Ye, Shiyuan Hu

Operating System Support for Safe and Efficient Auxiliary Execution

Yuzhuo Jing, Peng Huang

KSplit: Automating Device Driver Isolation

Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan

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

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

Looking Beyond GPUs for DNN Scheduling on Multi-Tenant Clusters

Jayashree Mohan, Amar Phanishayee, Janardhan Kulkarni, Vijay Chidambaram

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

Lianmin Zheng, Zhuohan Li, Hao Zhang, Yonghao Zhuang, zhifeng Chen

Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences

Mingcong Han, Hanze Zhang, Rong Chen, Haibo Chen

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

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

Verifying Hardware Security Modules with Information-Preserving Refinement

Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich

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

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

Design and Verification of the Arm Confidential Compute Architecture

Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh

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

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

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

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

Tiger: Disk-Adaptive Redundancy Without Placement Restrictions

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

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

XRP: In-Kernel Storage Functions with eBPF

Yuhong Zhong, Haoyu Li, Yu Jian Wu, Ioannis Zarkadas, Jeffrey Tao

Debugging the OmniTable Way

Andrew Quinn, Jason Flinn, Michael Cafarella, Baris Kasikci

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

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

Occualizer: Optimistic Concurrent Search Trees From Sequential Code

Tomer Shanny, Adam Morrison

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

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

Trinity: High-Performance Mobile Emulation through Graphics Projection

Di Gao, Hao Lin, Zhenhua Li, Chengen Huang, Yunhao Liu

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

Colin Unger, Zhihao Jia, Wei Wu, Sina Lin, Mandeep Baines

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

ROLLER: Fast and Efficient Tensor Compilation for Deep Learning

Hongyu Zhu, Ruofan Wu, Yijia Diao, Shanbin Ke, Haoyu Li

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

Ningxin Zheng, Bin Lin, Quanlu Zhang, Lingxiao Ma, Yuqing Yang

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

Xinwei Fu, Dongyoon Lee, Changwoo Min

ODINFS: Scaling PM Performance with Opportunistic Delegation

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

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

Automatic Reliability Testing For Cluster Management Controllers

Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan

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

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

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

Chang Lou, Cong Chen, Peng Huang, Yingnong Dang, Si Qin

Demystifying and Checking Silent Semantic Violations in Large Distributed Systems

Chang Lou, Yuzhuo Jing, Peng Huang

Metastable Failures in the Wild

Lexiang Huang, Matthew Magnusson, Abishek Bangalore Muralikrishna, Salman Estyak, Rebecca Isaacs

Carbink: Fault-Tolerant Far Memory

Yang Zhou, Hassan M. G. Wassel, Sihang Liu, Jiaqi Gao, James Mickens

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

Chenxi Wang, Haoran Ma, Shi Liu, Yifan Qiao, Jonathan Eyolfson

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

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

Owl: Scale and Flexibility in Distribution of Hot Content

Jason Flinn, Xianzheng Dou, Arushi Aggarwal, Alex Boyko, Francois Richard