![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
16th OSDI 2022: Carlsbad, CA, USA
- Marcos K. Aguilera, Hakim Weatherspoon:
16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022. USENIX Association 2022, ISBN 978-1-939133-28-1
OSDI '22 and USENIX ATC '22 Joint Keynote Address
- David L. Tennenhouse:
Surprise-Inspired Networking.
Distributed Storage and Far Memory
- Jason Flinn, Xianzheng Dou, Arushi Aggarwal, Alex Boyko, Francois Richard, Eric Sun, Wendy Tobagus, Nick Wolchko, Fang Zhou:
Owl: Scale and Flexibility in Distribution of Hot Content. 1-15 - Benjamin Reidys, Jinghan Sun, Anirudh Badam, Shadi A. Noghabi, Jian Huang:
BlockFlex: Enabling Storage Harvesting with Software-Defined Flash in Modern Cloud Platforms. 17-33 - Chenxi Wang, Haoran Ma, Shi Liu, Yifan Qiao, Jonathan Eyolfson, Christian Navasca, Shan Lu, Guoqing Harry Xu:
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime. 35-53 - 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:
Carbink: Fault-Tolerant Far Memory. 55-71
Bugs
- Lexiang Huang, Matthew Magnusson, Abishek Bangalore Muralikrishna, Salman Estyak, Rebecca Isaacs, Abutalib Aghayev, Timothy Zhu, Aleksey Charapko:
Metastable Failures in the Wild. 73-90 - Chang Lou, Yuzhuo Jing, Peng Huang:
Demystifying and Checking Silent Semantic Violations in Large Distributed Systems. 91-107 - Chang Lou, Cong Chen, Peng Huang, Yingnong Dang, Si Qin, Xinsheng Yang, Xukun Li, Qingwei Lin, Murali Chintalapati:
RESIN: A Holistic Service for Dealing with Memory Leaks in Production Cloud Infrastructure. 109-125 - Utsav Sethi, Haochen Pan, Shan Lu, Madanlal Musuvathi, Suman Nath:
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures. 127-141 - Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, Tianyin Xu:
Automatic Reliability Testing For Cluster Management Controllers. 143-159
Persistent Memory
- Wonbae Kim, Chanyeol Park, Dongui Kim, Hyeongjun Park, Young-ri Choi, Alan Sussman, Beomseok Nam:
ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory. 161-177 - Diyu Zhou, Yuchen Qian, Vishal Gupta, Zhifei Yang, Changwoo Min, Sanidhya Kashyap:
ODINFS: Scaling PM Performance with Opportunistic Delegation. 179-193 - Xinwei Fu, Dongyoon Lee, Changwoo Min:
DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs. 195-211
Machine Learning 1
- Ningxin Zheng, Bin Lin, Quanlu Zhang, Lingxiao Ma, Yuqing Yang, Fan Yang, Yang Wang, Mao Yang, Lidong Zhou:
SparTA: Deep-Learning Model Sparsity via Tensor-with-Sparsity-Attribute. 213-232 - 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:
ROLLER: Fast and Efficient Tensor Compilation for Deep Learning. 233-248 - 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:
Walle: An End-to-End, General-Purpose, and Large-Scale Production System for Device-Cloud Collaborative Machine Learning. 249-265 - Colin Unger, Zhihao Jia, Wei Wu, Sina Lin, Mandeep Baines, Carlos Efrain Quintero Narvaez, Vinay Ramakrishnaiah, Nirmal Prajapati, Patrick S. McCormick, Jamaludin Mohd-Yusof, Xi Luo, Dheevatsa Mudigere, Jongsoo Park, Misha Smelyanskiy, Alex Aiken:
Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization. 267-284
OSDI '22 and USENIX ATC '22 Joint Keynote Address
- Eric A. Brewer:
Eric Brewer, VP Infrastructure, Google Fellow and Professor Emeritus, UC Berkeley.
Potpourri
- Di Gao, Hao Lin, Zhenhua Li, Chengen Huang, Yunhao Liu, Feng Qian, Liangyi Gong, Tianyin Xu:
Trinity: High-Performance Mobile Emulation through Graphics Projection. 285-301 - Ashraf Mahgoub, Edgardo Barsallo Yi, Karthick Shankar, Sameh Elnikety, Somali Chaterji, Saurabh Bagchi:
ORION and the Three Rights: Sizing, Bundling, and Prewarming for Serverless DAGs. 303-320 - Tomer Shanny, Adam Morrison:
Occualizer: Optimistic Concurrent Search Trees From Sequential Code. 321-337 - Eren Yildiz, Lijun Chen, Kasim Sinan Yildirim:
Immortal Threads: Multithreaded Event-driven Intermittent Computing on Ultra-Low-Power Microcontrollers. 339-355 - Andrew Quinn, Jason Flinn, Michael J. Cafarella, Baris Kasikci:
Debugging the OmniTable Way. 357-373
Storage
- Yuhong Zhong, Haoyu Li, Yu Jian Wu, Ioannis Zarkadas, Jeffrey Tao, Evan Mesterhazy, Michael Makris, Junfeng Yang, Amy Tai, Ryan Stutsman, Asaf Cidon:
XRP: In-Kernel Storage Functions with eBPF. 375-393 - Guanyu Feng, Huanqi Cao, Xiaowei Zhu, Bowen Yu, Yuanwei Wang, Zixuan Ma, Shengqi Chen, Wenguang Chen:
TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs. 395-411 - Saurabh Kadekodi, Francisco Maturana, Sanjith Athlur, Arif Merchant, K. V. Rashmi, Gregory R. Ganger:
Tiger: Disk-Adaptive Redundancy Without Placement Restrictions. 413-429 - Timothy Stamler, Deukyeon Hwang, Amanda Raybuck, Wei Zhang, Simon Peter:
zIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO. 431-445
Formal Verification
- Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich:
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. 447-463 - Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell:
Design and Verification of the Arm Confidential Compute Architecture. 465-484 - Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh:
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. 485-501 - Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich:
Verifying Hardware Security Modules with Information-Preserving Refinement. 503-519
Machine Learning 2
- Gyeong-In Yu, Joo Seong Jeong, Geon-Woo Kim, Soojeong Kim, Byung-Gon Chun:
Orca: A Distributed Serving System for Transformer-Based Generative Models. 521-538 - Mingcong Han, Hanze Zhang, Rong Chen, Haibo Chen:
Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. 539-558 - 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:
Alpa: Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning. 559-578 - Jayashree Mohan, Amar Phanishayee, Janardhan Kulkarni, Vijay Chidambaram:
Looking Beyond GPUs for DNN Scheduling on Multi-Tenant Clusters. 579-596
OSDI '22 and USENIX ATC '22 Joint Keynote Address
- Margaret Martonosi:
Margaret Martonosi, National Science Foundation.
Isolation and OS Services
- Vasily A. Sartakov, Lluís Vilanova, David M. Eyers, Takahiro Shinagawa, Peter R. Pietzuch:
CAP-VMs: Capability-Based Isolation and Sharing in the Cloud. 597-612 - Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang
, Gang Tan, Trent Jaeger, Anton Burtsev:
KSplit: Automating Device Driver Isolation. 613-631 - Yuzhuo Jing, Peng Huang:
Operating System Support for Safe and Efficient Auxiliary Execution. 633-648 - Yuxin Ren, Kang Zhou, Jianhai Luan, Yunfeng Ye, Shiyuan Hu, Xu Wu, Wenqin Zheng, Wenfeng Zhang, Xinwei Hu:
From Dynamic Loading to Extensible Transformation: An Infrastructure for Dynamic Library Transformation. 649-666 - Sujin Park, Diyu Zhou, Yuchen Qian, Irina Calciu, Taesoo Kim, Sanidhya Kashyap:
Application-Informed Kernel Synchronization Primitives. 667-682
Security and Private Messaging
- Alexander Van't Hof, Jason Nieh:
BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems. 683-700 - Wen Zhang, Eric Sheng, Michael Alan Chang, Aurojit Panda, Mooly Sagiv, Scott Shenker:
Blockaid: Data Access Policy Enforcement for Web Applications. 701-718 - Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal:
SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access. 719-734 - Ludovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich:
Groove: Flexible Metadata-Private Messaging. 735-750
Managed Languages
- Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu:
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. 751-767 - Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg
, Nikos Vasilakis:
Practically Correct, Just-in-Time Shell Script Parallelization. 769-785 - Yu Luo, Kirk Rodrigues, Cuiqin Li, Feng Zhang, Lijin Jiang, Bing Xia, David Lion, Ding Yuan:
Hubble: Performance Debugging with In-Production, Just-In-Time Method Tracing on Android. 787-803 - Ayush Goel, Jingyuan Zhu, Ravi Netravali, Harsha V. Madhyastha:
Jawa: Web Archival in the Era of JavaScript. 805-820
Recommenders and Pattern Mining
- Chijun Sima, Yao Fu, Man-Kit Sit, Liyi Guo, Xuri Gong, Feng Lin, Junyu Wu, Yongsheng Li, Haidong Rong, Pierre-Louis Aublin, Luo Mai:
Ekko: A Large-Scale Deep Learning Recommender System with Low-Latency Model Update. 821-839 - Chaoliang Zeng, Layong Luo, Qingsong Ning, Yaodong Han, Yuhang Jiang, Ding Tang, Zilong Wang, Kai Chen, Chuanxiong Guo:
FAERY: An FPGA-accelerated Embedding-based Retrieval System. 841-856 - Xuhao Chen, Arvind:
Efficient and Scalable Graph Pattern Mining on GPUs. 857-877
![](https://dblp.org/img/cog.dark.24x24.png)
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.