Table of Contents

• Theseus: an Experiment in Operating System Structure and State ManagementKevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong 0001. 1-19 [doi]
• RedLeaf: Isolation and Communication in a Safe Operating SystemVikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev. 21-39 [doi]
• Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernelLuke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang 0005. 41-61 [doi]
• Cobra: Making Transactional Key-Value Stores Verifiably SerializableCheng Tan 0005, Changgeng Zhao, Shuai Mu 0001, Michael Walfish. 63-80 [doi]
• Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation LayerYun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang 0001, Hsiang-Shang Ko, Yu-Fang Chen. 81-97 [doi]
• Storage Systems are Distributed Systems (So Verify Them That Way!)Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno. 99-115 [doi]
• Fast RDMA-based Ordered Key-Value Store using Remote Learned CacheXingda Wei, Rong Chen 0001, Haibo Chen 0001. 117-135 [doi]
• CrossFS: A Cross-layered Direct-Access File SystemYujie Ren, Changwoo Min, Sudarsun Kannan. 137-154 [doi]
• From WiscKey to Bourbon: A Learned Index for Log-Structured Merge TreesYifan Dai, Yien Xu, Aishwarya Ganesan, Ramnatthan Alagappan, Brian Kroth, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 155-171 [doi]
• LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural NetworkMingzhe Hao, Levent Toksoz, Nanqinqin Li, Edward Edberg Halim, Henry Hoffmann, Haryadi S. Gunawi. 173-190 [doi]
• A large scale analysis of hundreds of in-memory cache clusters at TwitterJuncheng Yang, Yao Yue, K. V. Rashmi. 191-208 [doi]
• Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data QueriesPartho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar. 209-224 [doi]
• A Simpler and Faster NIC Driver Model for Network FunctionsSolal Pirelli, George Candea. 225-241 [doi]
• PANIC: A High-Performance Programmable NIC for Multi-tenant NetworksJiaxin Lin, Kiran Patel, Brent E. Stephens, Anirudh Sivaraman, Aditya Akella. 243-259 [doi]
• Semeru: A Memory-Disaggregated Managed RuntimeChenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen 0001, Michael D. Bond, Ravi Netravali 0001, Miryung Kim, Guoqing Harry Xu. 261-280 [doi]
• Caladan: Mitigating Interference at Microsecond TimescalesJoshua Fried, Zhenyuan Ruan, Amy Ousterhout, Adam Belay. 281-297 [doi]
• Overload Control for µs-scale RPCs with BreakwaterInho Cho, Ahmed Saeed 0001, Joshua Fried, Seo Jin Park, Mohammad Alizadeh, Adam Belay. 299-314 [doi]
• AIFM: High-Performance, Application-Integrated Far MemoryZhenyuan Ruan, Malte Schwarzkopf, Marcos K. Aguilera, Adam Belay. 315-332 [doi]
• Performance-Optimal Read-Only TransactionsHaonan Lu, Siddhartha Sen 0001, Wyatt Lloyd. 333-349 [doi]
• Toward a Generic Fault Tolerance Technique for Partial Network PartitioningMohammed Alfatafta, Basil Alkhatib, Ahmed Alquraan, Samer Al-Kiswany. 351-368 [doi]
• PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancySaurabh Kadekodi, Francisco Maturana, Suhas Jayaram Subramanya, Juncheng Yang, K. V. Rashmi, Gregory R. Ganger. 369-385 [doi]
• Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence DirectoriesJialin Li, Jacob Nelson, Ellis Michael, Xin Jin 0008, Dan R. K. Ports. 387-406 [doi]
• FlightTracker: Consistency across Read-Optimized Online Stores at FacebookXiao Shi, Scott Pruett, Kevin Doherty, Jinyu Han, Dmitri Petrov, Jim Carrig, John Hugg, Nathan Bronson. 407-423 [doi]
• Kvell+: Snapshot Isolation without SnapshotsBaptiste Lepers, Oana Balmau, Karan Gupta, Willy Zwaenepoel. 425-441 [doi]
• Serving DNNs like Clockwork: Performance Predictability from the Bottom UpArpan Gujarati, Reza Karimi, Safya Alzayat, Wei Hao, Antoine Kaufmann, Ymir Vigfusson, Jonathan Mace. 443-462 [doi]
• A Unified Architecture for Accelerating Distributed DNN Training in Heterogeneous GPU/CPU ClustersYimin Jiang, Yibo Zhu, Chang Lan, Bairen Yi, Yong Cui 0001, Chuanxiong Guo. 463-479 [doi]
• Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning WorkloadsDeepak Narayanan, Keshav Santhanam, Fiodar Kazhamiaka, Amar Phanishayee, Matei Zaharia. 481-498 [doi]
• PipeSwitch: Fast Pipelined Context Switching for Deep Learning ApplicationsZhihao Bai, Zhen Zhang, Yibo Zhu, Xin Jin 0008. 499-514 [doi]
• HiveD: Sharing a GPU Cluster for Deep Learning with GuaranteesHanyu Zhao, Zhenhua Han, Zhi Yang 0001, Quanlu Zhang, Fan Yang, Lidong Zhou, Mao Yang, Francis C. M. Lau 0001, Yuqi Wang, Yifan Xiong, Bin Wang. 515-532 [doi]
• AntMan: Dynamic Scaling on GPU Clusters for Deep LearningWencong Xiao, Shiru Ren, Yong Li, Yang Zhang, Pengyang Hou, Zhi Li, Yihui Feng, Wei Lin, Yangqing Jia. 533-548 [doi]
• Write Dependency Disentanglement with HORAEXiaojian Liao, Youyou Lu, Erci Xu, Jiwu Shu. 549-565 [doi]
• Blockene: A High-throughput Blockchain Over Mobile DevicesSambhav Satija, Apurv Mehra, Sudheesh Singanamalla, Karan Grover, Muthian Sivathanu, Nishanth Chandran, Divya Gupta 0001, Satya Lokam. 567-582 [doi]
• Tolerating Slowdowns in Replicated State Machines using CopilotsKhiem Ngo, Siddhartha Sen 0001, Wyatt Lloyd. 583-598 [doi]
• Microsecond Consensus for Microsecond ApplicationsMarcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Athanasios Xygkis, Igor Zablotchi. 599-616 [doi]
• Virtual Consensus in DelosMahesh Balakrishnan 0001, Jason Flinn, Chen Shen, Mihir Dharamshi, Ahmed Jafri, Xiao Shi, Santosh Ghosh, Hazem Hassan, Aaryaman Sagar, Rhed Shi, Jingming Liu, Filip Gruszczynski, Xianan Zhang, Huy Hoang, Ahmed Yossef, Francois Richard, Yee Jiun Song. 617-632 [doi]
• Byzantine Ordered Consensus without Byzantine OligarchyYunhao Zhang, Srinath T. V. Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi. 633-649 [doi]
• From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded ProcessesFlorian Rommel, Christian Dietrich 0001, Daniel Friesel, Marcel Köppen, Christoph Borchert, Michael Müller 0009, Olaf Spinczyk, Daniel Lohmann. 651-666 [doi]
• Testing Database Engines via Pivoted Query SynthesisManuel Rigger, Zhendong Su. 667-682 [doi]
• Gauntlet: Finding Bugs in Compilers for Programmable Packet ProcessingFabian Ruffy, Tao Wang, Anirudh Sivaraman. 683-699 [doi]
• Aragog: Scalable Runtime Verification of Shardable Networked SystemsNofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu. 701-718 [doi]
• Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic ExecutionYigong Hu, Gongqi Huang, Peng Huang 0005. 719-734 [doi]
• Providing SLOs for Resource-Harvesting VMs in Cloud PlatformsPradeep Ambati, Iñigo Goiri, Felipe Vieira Frujeri, Alper Gun, Ke Wang, Brian Dolan, Brian Corell, Sekhar Pasupuleti, Thomas Moscibroda, Sameh Elnikety, Marcus Fontoura, Ricardo Bianchini. 735-751 [doi]
• Testing Configuration Changes in Context to Prevent Production FailuresXudong Sun 0013, Runxiang Cheng, Jianyan Chen, Elaine Ang, Owolabi Legunsen, Tianyin Xu. 735-751 [doi]
• The CacheLib Caching Engine: Design and Experiences at ScaleBenjamin Berg, Daniel S. Berger, Sara McAllister, Isaac Grosof, Sathya Gunasekar, Jimmy Lu, Michael Uhlar, Jim Carrig, Nathan Beckmann, Mor Harchol-Balter, Gregory R. Ganger. 753-768 [doi]
• Twine: A Unified Cluster Management System for Shared InfrastructureChunqiang Tang, Kenny Yu, Kaushik Veeraraghavan, Jonathan Kaldor, Scott Michelson, Thawan Kooburat, Aravind Anbudurai, Matthew Clark, Kabir Gogia, Long Cheng, Ben Christensen, Alex Gartrell, Maxim Khutornenko, Sachin Kulkarni, Marcin Pawlowski 0003, Tuomas Pelkonen, Andre Rodrigues, Rounak Tibrewal, Vaishnavi Venkatesan, Peter Zhang. 787-803 [doi]
• FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-Oriented MicroservicesHaoran Qiu, Subho S. Banerjee, Saurabh Jha, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer. 805-825 [doi]
• Building Scalable and Flexible Cluster Managers Using Declarative ProgrammingLalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch. 827-844 [doi]
• Protean: VM Allocation Service at ScaleOri Hadary, Luke Marshall, Ishai Menache, Abhisek Pan, Esaias E. Greeff, David Dion, Star Dorminey, Shailesh Joshi, Yang Chen, Mark Russinovich, Thomas Moscibroda. 845-861 [doi]
• Ansor: Generating High-Performance Tensor Programs for Deep LearningLianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj Ali, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph E. Gonzalez, Ion Stoica. 863-879 [doi]
• Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasksLingxiao Ma, Zhiqiang Xie, Zhi Yang 0001, Jilong Xue, Youshan Miao, Wei Cui, Wenxiang Hu, Fan Yang, Lintao Zhang, Lidong Zhou. 881-897 [doi]
• A Tensor Compiler for Unified Machine Learning Prediction ServingSupun Nakandala, Karla Saur, Gyeong-In Yu, Konstantinos Karanasos, Carlo Curino, Markus Weimer, Matteo Interlandi. 899-917 [doi]
• Retiarii: A Deep Learning Exploratory-Training FrameworkQuanlu Zhang, Zhenhua Han, Fan Yang, Yuge Zhang, Zhe Liu, Mao Yang, Lidong Zhou. 919-936 [doi]
• KungFu: Making Training in Distributed Machine Learning AdaptiveLuo Mai, Guo Li, Marcel Wagenländer, Konstantinos Fertakis, Andrei-Octavian Brabete, Peter R. Pietzuch. 937-954 [doi]
• FVM: FPGA-assisted Virtual Device Emulation for Fast, Scalable, and Flexible Storage VirtualizationDongup Kwon, Junehyuk Boo, Dongryeong Kim, Jangwoo Kim. 955-971 [doi]
• hXDP: Efficient Software Packet Processing on FPGA NICsMarco Spaziani Brunella, Giacomo Belocchi, Marco Bonola, Salvatore Pontarelli, Giuseppe Siracusano, Giuseppe Bianchi 0001, Aniello Cammarano, Alessandro Palumbo, Luca Petrucci, Roberto Bifulco. 973-990 [doi]
• Do OS abstractions make sense on FPGAs?Dario Korolija, Timothy Roscoe, Gustavo Alonso. 991-1010 [doi]
• Assise: Performance and Availability via Client-local NVM in a Distributed File SystemThomas E. Anderson, Marco Canini, Jongyul Kim, Dejan Kostic, Youngjin Kwon, Simon Peter, Waleed Reda, Henry N. Schuh, Emmett Witchel. 1011-1027 [doi]
• Persistent State Machines for Recoverable In-memory Storage Systems with NVRamWen Zhang, Scott Shenker, Irene Zhang. 1029-1046 [doi]
• AGAMOTTO: How Persistent is your Persistent Memory Application?Ian Neal, Ben Reeves, Ben Stoler, Andrew Quinn 0001, Youngjin Kwon, Simon Peter, Baris Kasikci. 1047-1064 [doi]
• Orchard: Differentially Private Analytics at ScaleEdo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce. 1065-1081 [doi]
• Achieving 100Gbps Intrusion Prevention on a Single ServerZhipeng Zhao, Hugo Sadok, Nirav Atre, James C. Hoe, Vyas Sekar, Justine Sherry. 1083-1100 [doi]
• DORY: An Encrypted Search System with Distributed TrustEmma Dauterman, Eric Feng, Ellen Luo, Raluca Ada Popa, Ion Stoica. 1101-1119 [doi]
• SafetyPin: Encrypted Backups with Human-Memorable SecretsEmma Dauterman, Henry Corrigan-Gibbs, David Mazières. 1121-1138 [doi]
• Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation ContractJonathan Behrens, Anton Cao, Cel Skeggs, Adam Belay, M. Frans Kaashoek, Nickolai Zeldovich. 1139-1154 [doi]
• Predictive and Adaptive Failure Mitigation to Avert Production Cloud VM InterruptionsSebastien Levy, Randolph Yao, Youjiang Wu, Yingnong Dang, Peng Huang 0005, Zheng Mu, Pu Zhao, Tarun Ramani, Naga Govindaraju, Xukun Li, Qingwei Lin, Gil Lapid Shafriri, Murali Chintalapati. 1155-1170 [doi]
• Sundial: Fault-tolerant Clock Synchronization for DatacentersYuliang Li, Gautam Kumar, Hema Hariharan, Hassan M. G. Wassel, Peter Hochschild, Dave Platt, Simon L. Sabato, Minlan Yu, Nandita Dukkipati, Prashant Chandra, Amin Vahdat. 1171-1186 [doi]
• Fault-tolerant and transactional stateful serverless workflowsHaoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, Vincent Liu. 1187-1204 [doi]
• Unearthing inter-job dependencies for better cluster schedulingAndrew Chung, Subru Krishnan, Konstantinos Karanasos, Carlo Curino, Gregory R. Ganger. 1205-1223 [doi]
• RackSched: A Microsecond-Scale Scheduler for Rack-Scale ComputersHang Zhu, Kostis Kaffes, Zixu Chen, Zhenming Liu, Christos Kozyrakis, Ion Stoica, Xin Jin 0008. 1225-1240 [doi]
• Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at ScaleShaohong Li, Xi Wang, Xiao Zhang, Vasileios Kontorinis, Sreekumar Kodakara, David Lo 0003, Parthasarathy Ranganathan. 1241-1255 [doi]