Table of Contents

• Owl: Scale and Flexibility in Distribution of Hot ContentJason Flinn, Xianzheng Dou, Arushi Aggarwal, Alex Boyko, Francois Richard, Eric Sun, Wendy Tobagus, Nick Wolchko, Fang Zhou. 1-15 [doi]
• BlockFlex: Enabling Storage Harvesting with Software-Defined Flash in Modern Cloud PlatformsBenjamin Reidys, Jinghan Sun, Anirudh Badam, Shadi Noghabi, Jian Huang 0006. 17-33 [doi]
• MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly RuntimeChenxi Wang, Haoran Ma, Shi Liu, Yifan Qiao, Jonathan Eyolfson, Christian Navasca, Shan Lu 0001, Guoqing Harry Xu. 35-53 [doi]
• Carbink: Fault-Tolerant Far MemoryYang Zhou 0008, Hassan M. G. Wassel, Sihang Liu 0001, Jiaqi Gao, James Mickens, Minlan Yu, Chris Kennelly, Paul Turner, David E. Culler, Henry M. Levy, Amin Vahdat. 55-71 [doi]
• Metastable Failures in the WildLexiang Huang, Matthew Magnusson, Abishek Bangalore Muralikrishna, Salman Estyak, Rebecca Isaacs, Abutalib Aghayev, Timothy Zhu, Aleksey Charapko. 73-90 [doi]
• Demystifying and Checking Silent Semantic Violations in Large Distributed SystemsChang Lou, Yuzhuo Jing, Peng Huang 0005. 91-107 [doi]
• RESIN: A Holistic Service for Dealing with Memory Leaks in Production Cloud InfrastructureChang Lou, Cong Chen, Peng Huang 0005, Yingnong Dang, Si-qin, Xinsheng Yang, Xukun Li, Qingwei Lin, Murali Chintalapati. 109-125 [doi]
• Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and FailuresUtsav Sethi, Haochen Pan, Shan Lu 0001, Madanlal Musuvathi, Suman Nath. 127-141 [doi]
• Automatic Reliability Testing For Cluster Management ControllersXudong Sun 0013, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, Tianyin Xu. 143-159 [doi]
• ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent MemoryWonbae Kim, Chanyeol Park, Dongui Kim, Hyeongjun Park, Young-ri Choi, Alan Sussman, Beomseok Nam. 161-177 [doi]
• ODINFS: Scaling PM Performance with Opportunistic DelegationDiyu Zhou, Yuchen Qian, Vishal Gupta, Zhifei Yang, Changwoo Min, Sanidhya Kashyap. 179-193 [doi]
• DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability BugsXinwei Fu, Dongyoon Lee, Changwoo Min. 195-211 [doi]
• SparTA: Deep-Learning Model Sparsity via Tensor-with-Sparsity-AttributeNingxin Zheng, Bin Lin, Quanlu Zhang, Lingxiao Ma, YuQing Yang, Fan Yang 0024, Yang Wang, Mao Yang, Lidong Zhou. 213-232 [doi]
• ROLLER: Fast and Efficient Tensor Compilation for Deep LearningHongyu Zhu, Ruofan Wu, Yijia Diao, Shanbin Ke, Haoyu Li, Chen Zhang, Jilong Xue, Lingxiao Ma, Yuqing Xia, Wei Cui, Fan Yang 0024, Mao Yang, Lidong Zhou, Asaf Cidon, Gennady Pekhimenko. 233-248 [doi]
• Walle: An End-to-End, General-Purpose, and Large-Scale Production System for Device-Cloud Collaborative Machine LearningChengfei 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 0006, Guihai Chen. 249-265 [doi]
• Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and ParallelizationColin Unger, Zhihao Jia, Wei Wu 0016, 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. 267-284 [doi]
• Trinity: High-Performance Mobile Emulation through Graphics ProjectionDi Gao, Hao Lin 0005, Zhenhua Li 0001, Chengen Huang, Yunhao Liu, Feng Qian 0001, Liangyi Gong, Tianyin Xu. 285-301 [doi]
• ORION and the Three Rights: Sizing, Bundling, and Prewarming for Serverless DAGsAshraf Mahgoub, Edgardo Barsallo Yi, Karthick Shankar, Sameh Elnikety, Somali Chaterji, Saurabh Bagchi. 303-320 [doi]
• Occualizer: Optimistic Concurrent Search Trees From Sequential CodeTomer Shanny, Adam Morrison 0001. 321-337 [doi]
• Immortal Threads: Multithreaded Event-driven Intermittent Computing on Ultra-Low-Power MicrocontrollersEren Yildiz, Lijun Chen, Kasim Sinan Yildirim. 339-355 [doi]
• Debugging the OmniTable WayAndrew Quinn 0001, Jason Flinn, Michael J. Cafarella, Baris Kasikci. 357-373 [doi]
• XRP: In-Kernel Storage Functions with eBPFYuhong Zhong, Haoyu Li, Yu Jian Wu, Ioannis Zarkadas, Jeffrey Tao, Evan Mesterhazy, Michael Makris, Junfeng Yang, Amy Tai, Ryan Stutsman, Asaf Cidon. 375-393 [doi]
• TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory ProgramsGuanyu Feng, Huanqi Cao, Xiaowei Zhu, Bowen Yu 0003, Yuanwei Wang, Zixuan Ma, Shengqi Chen 0001, Wenguang Chen. 395-411 [doi]
• Tiger: Disk-Adaptive Redundancy Without Placement RestrictionsSaurabh Kadekodi, Francisco Maturana, Sanjith Athlur, Arif Merchant, K. V. Rashmi, Gregory R. Ganger. 413-429 [doi]
• zIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IOTimothy Stamler, Deukyeon Hwang, Amanda Raybuck, Wei Zhang, Simon Peter. 431-445 [doi]
• Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoningTej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich. 447-463 [doi]
• Design and Verification of the Arm Confidential Compute ArchitectureXupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell. 465-484 [doi]
• DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed ProtocolsJianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh. 485-501 [doi]
• Verifying Hardware Security Modules with Information-Preserving RefinementAnish Athalye, M. Frans Kaashoek, Nickolai Zeldovich. 503-519 [doi]
• Orca: A Distributed Serving System for Transformer-Based Generative ModelsGyeong-In Yu, Joo Seong Jeong, Geon Woo Kim, Soojeong Kim, Byung-Gon Chun. 521-538 [doi]
• Microsecond-scale Preemption for Concurrent GPU-accelerated DNN InferencesMingcong Han, Hanze Zhang, Rong Chen 0001, Haibo Chen 0001. 539-558 [doi]
• Alpa: Automating Inter- and Intra-Operator Parallelism for Distributed Deep LearningLianmin 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. 559-578 [doi]
• Looking Beyond GPUs for DNN Scheduling on Multi-Tenant ClustersJayashree Mohan, Amar Phanishayee, Janardhan Kulkarni, Vijay Chidambaram. 579-596 [doi]
• CAP-VMs: Capability-Based Isolation and Sharing in the CloudVasily A. Sartakov, Lluís Vilanova, David M. Eyers, Takahiro Shinagawa, Peter R. Pietzuch. 597-612 [doi]
• KSplit: Automating Device Driver IsolationYongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev. 613-631 [doi]
• Operating System Support for Safe and Efficient Auxiliary ExecutionYuzhuo Jing, Peng Huang 0005. 633-648 [doi]
• From Dynamic Loading to Extensible Transformation: An Infrastructure for Dynamic Library TransformationYuxin Ren, Kang Zhou, Jianhai Luan, Yunfeng Ye, Shiyuan Hu, Xu Wu, Wenqin Zheng, Wenfeng Zhang, Xinwei Hu. 649-666 [doi]
• Application-Informed Kernel Synchronization PrimitivesSujin Park, Diyu Zhou, Yuchen Qian, Irina Calciu, Taesoo Kim, Sanidhya Kashyap. 667-682 [doi]
• BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating SystemsAlexander Van't Hof, Jason Nieh. 683-700 [doi]
• Blockaid: Data Access Policy Enforcement for Web ApplicationsWen Zhang, Eric Sheng, Michael Alan Chang, Aurojit Panda, Mooly Sagiv, Scott Shenker. 701-718 [doi]
• SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data AccessMidhul Vuppalapati, Kushal Babel, Anurag Khandelwal, Rachit Agarwal 0001. 719-734 [doi]
• Groove: Flexible Metadata-Private MessagingLudovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich. 735-750 [doi]
• UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware TracingYaniv David, Xudong Sun 0013, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo 0002, Guoqing Harry Xu, Jason Nieh, Ronghui Gu. 751-767 [doi]
• Practically Correct, Just-in-Time Shell Script ParallelizationKonstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg 0002, Nikos Vasilakis. 769-785 [doi]
• Hubble: Performance Debugging with In-Production, Just-In-Time Method Tracing on AndroidYu Luo, Kirk Rodrigues, Cuiqin Li, Feng Zhang, Lijin Jiang, Bing Xia, David Lion, Ding Yuan. 787-803 [doi]
• Jawa: Web Archival in the Era of JavaScriptAyush Goel, Jingyuan Zhu, Ravi Netravali, Harsha V. Madhyastha. 805-820 [doi]
• Ekko: A Large-Scale Deep Learning Recommender System with Low-Latency Model UpdateChijun Sima, Yao Fu, Man-Kit Sit, Liyi Guo, Xuri Gong, Feng Lin, Junyu Wu, Yongsheng Li, Haidong Rong, Pierre-Louis Aublin, Luo Mai. 821-839 [doi]
• FAERY: An FPGA-accelerated Embedding-based Retrieval SystemChaoliang Zeng, Layong Luo, Qingsong Ning, Yaodong Han, Yuhang Jiang, Ding Tang, Zilong Wang, Kai Chen 0005, Chuanxiong Guo. 841-856 [doi]
• Efficient and Scalable Graph Pattern Mining on GPUsXuhao Chen 0001, Arvind. 857-877 [doi]