Table of Contents

• Basil: Breaking up BFT with ACID (transactions)Florian Suri-Payer, Matthew Burke 0001, Zheng Wang, Yunhao Zhang, Lorenzo Alvisi, Natacha Crooks. 1-17 [doi]
• Bidl: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter NetworksJi Qi, Xusheng Chen, Yunpeng Jiang, Jianyu Jiang, Tianxiang Shen, Shixiong Zhao, Sen Wang, Gong Zhang, Li Chen, Man Ho Au, Heming Cui. 18-34 [doi]
• Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and AggregationRay Neiheiser, Miguel Matos, Luís E. T. Rodrigues. 35-48 [doi]
• iGUARD: In-GPU Advanced Race DetectionAditya K. Kamath, Arkaprava Basu. 49-65 [doi]
• Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication AnalysisSishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis. 66-83 [doi]
• Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem ScaleYechan Bae, Youngsuk Kim, Ammar Askar, Jungwon Lim, Taesoo Kim. 84-99 [doi]
• Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value StoresXinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Dongyoon Lee, Changwoo Min. 100-115 [doi]
• Understanding and Detecting Software Upgrade Failures in Distributed SystemsYongle Zhang, Junwen Yang, Zhuqi Jin, Utsav Sethi, Kirk Rodrigues, Shan Lu 0001, Ding Yuan. 116-131 [doi]
• Crash Consistent Non-Volatile Memory ExpressXiaojian Liao, Youyou Lu, Zhe Yang, Jiwu Shu. 132-146 [doi]
• Cuckoo Trie: Exploiting Memory-Level Parallelism for Efficient DRAM IndexingAdar Zeitak, Adam Morrison 0001. 147-162 [doi]
• Regular Sequential Serializability and Regular Sequential ConsistencyJeffrey Helt, Matthew Burke 0001, Amit Levy, Wyatt Lloyd. 163-179 [doi]
• Caracal: Contention Management with Deterministic Concurrency ControlDai Qin, Angela Demke Brown, Ashvin Goel. 180-194 [doi]
• The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter SystemsIrene Zhang, Amanda Raybuck, Pratyush Patel, Kirk Olynyk, Jacob Nelson, Omar S. Navarro Leija, Ashlie Martinez, Jing Liu, Anna Kornfeld Simpson, Sujay Jayakar, Pedro Henrique Penna, Max Demoulin, Piali Choudhury, Anirudh Badam. 195-211 [doi]
• Birds of a Feather Flock Together: Scaling RDMA RPCs with FlockSumit Kumar Monga, Sanidhya Kashyap, Changwoo Min. 212-227 [doi]
• PRISM: Rethinking the RDMA Interface for Distributed SystemsMatthew Burke 0001, Sowmya Dharanipragada, Shannon Joyner, Adriana Szekeres, Jacob Nelson, Irene Zhang, Dan R. K. Ports. 228-242 [doi]
• Kangaroo: Caching Billions of Tiny Objects on FlashSara McAllister, Benjamin Berg, Julian Tutuncu-Macias, Juncheng Yang, Sathya Gunasekar, Jimmy Lu, Daniel S. Berger, Nathan Beckmann, Gregory R. Ganger. 243-262 [doi]
• lODA: A Host/Device Co-Design for Strong Predictability Contract on Modern Flash StorageHuaicheng Li, Martin L. Putra, Ronald Shi, Xing Lin, Gregory R. Ganger, Haryadi S. Gunawi. 263-279 [doi]
• FragPicker: A New Defragmentation Tool for Modern Storage DevicesJonggyu Park, Young Ik Eom. 280-294 [doi]
• dSpace: Composable Abstractions for Smart SpacesSilvery Fu, Sylvia Ratnasamy. 295-310 [doi]
• Random Walks on Huge Graphs at Cache EfficiencyKe Yang, Xiaosong Ma, Saravanan Thirumuruganathan, Kang Chen, Yongwei Wu. 311-326 [doi]
• Mycelium: Large-Scale Distributed Graph Queries with Differential PrivacyEdo Roth, Karan Newatia, Yiping Ma, Ke Zhong, Sebastian Angel, Andreas Haeberlen. 327-343 [doi]
• HEALER: Relation Learning Guided Kernel FuzzingHao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui. 344-358 [doi]
• Gradient Compression Supercharged High-Performance Data Parallel DNN TrainingYouhui Bai, Cheng Li, Quan Zhou, Jun Yi, Ping Gong, Feng Yan 0001, Ruichuan Chen, Yinlong Xu. 359-375 [doi]
• Generating Complex, Realistic Cloud Workloads using Recurrent Neural NetworksShane Bergsma, Timothy Zeyl, Arik Senderovich, J. Christopher Beck. 376-391 [doi]
• HeMem: Scalable Tiered Memory Management for Big Data Applications and Real NVMAmanda Raybuck, Tim Stamler, Wei Zhang, Mattan Erez, Simon Peter. 392-407 [doi]
• J-NVM: Off-heap Persistent Objects in JavaAnatole Lefort, Yohan Pipereau, Kwabena Amponsem, Pierre Sutra, Gaël Thomas 0001. 408-423 [doi]
• PACTree: A High Performance Persistent Range Index Using PAC GuidelinesWook-Hee Kim, Madhava Krishnan Ramanathan, Xinwei Fu, Sanidhya Kashyap, Changwoo Min. 424-439 [doi]
• Exploiting Nil-Externality for Fast Replicated StorageAishwarya Ganesan, Ramnatthan Alagappan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 440-456 [doi]
• Geometric Partitioning: Explore the Boundary of Optimal Erasure Code RepairYingdi Shan, Kang Chen, Tuoyu Gong, Lidong Zhou, Tai Zhou, Yongwei Wu. 457-471 [doi]
• Rabia: Simplifying State-Machine Replication Through RandomizationHaochen Pan, Jesse Tuglu, Neo Zhou, Tianshu Wang, Yicheng Shen, Xiong Zheng, Joseph Tassarotti, Lewis Tseng, Roberto Palmieri. 472-487 [doi]
• MIND: In-Network Memory Management for Disaggregated Data CentersSeung-Seob Lee, Yanpeng Yu, Yupeng Tang, Anurag Khandelwal, Lin Zhong, Abhishek Bhattacharjee. 488-504 [doi]
• RAS: Continuously Optimized Region-Wide Datacenter Resource AllocationAndrew Newell, Dimitrios Skarlatos, Jingyuan Fan, Pavan Kumar, Maxim Khutornenko, Mayank Pundir, Yirui Zhang, Mingjun Zhang, Yuanlai Liu, Linh Le, Brendon Daugherty, Apurva Samudra, Prashasti Baid, James Kneeland, Igor Kabiljo, Dmitry Shchukin, Andre Rodrigues, Scott Michelson, Ben Christensen, Kaushik Veeraraghavan, Chunqiang Tang. 505-520 [doi]
• Solving Large-Scale Granular Resource Allocation Problems Efficiently with POPDeepak Narayanan, Fiodar Kazhamiaka, Firas Abuzaid, Peter Kraft, Akshay Agrawal, Srikanth Kandula, Stephen Boyd, Matei Zaharia. 521-537 [doi]
• Log-structured Protocols in DelosMahesh Balakrishnan 0001, Chen Shen, Ahmed Jafri, Suyog Mapara, David Geraghty, Jason Flinn, Vidhya Venkat, Ivailo Nedelchev, Santosh Ghosh, Mihir Dharamshi, Jingming Liu, Filip Gruszczynski, Jun Li, Rounak Tibrewal, Ali Zaveri, Rajeev Nagar, Ahmed Yossef, Francois Richard, Yee Jiun Song. 538-552 [doi]
• Shard Manager: A Generic Shard Management Framework for Geo-distributed ApplicationsSangmin Lee, Zhenhua Guo, Omer Sunercan, Jun Ying, Thawan Kooburat, Suryadeep Biswal, Jun Chen, Kun Huang, Yatpang Cheung, Yiding Zhou, Kaushik Veeraraghavan, Biren Damani, Pol Mauri Ruiz, Vikas Mehta, Chunqiang Tang. 553-569 [doi]
• Forerunner: Constraint-based Speculative Transaction Execution for EthereumYang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang. 570-587 [doi]
• ghOSt: Fast & Flexible User-Space Delegation of Linux SchedulingJack Tigar Humphries, Neel Natu, Ashwin Chaugule, Ofir Weisse, Barret Rhoden, Josh Don, Luigi Rizzo, Oleg Rombakh, Paul Turner, Christos Kozyrakis. 588-604 [doi]
• Syrup: User-Defined Scheduling Across the StackKostis Kaffes, Jack Tigar Humphries, David Mazières, Christos Kozyrakis. 605-620 [doi]
• When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with PerséphoneHenri Maxime Demoulin, Joshua Fried, Isaac Pedisich, Marios Kogias, Boon Thau Loo, Linh Thi Xuan Phan, Irene Zhang. 621-637 [doi]
• TwinVisor: Hardware-isolated Confidential Virtual Machines for ARMDingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan. 638-654 [doi]
• Snoopy: Surpassing the Scalability Bottleneck of Oblivious StorageEmma Dauterman, Vivian Fang, Ioannis Demertzis, Natacha Crooks, Raluca Ada Popa. 655-671 [doi]
• Coeus: A System for Oblivious Document Ranking and RetrievalIshtiyaque Ahmad, Laboni Sarker, Divyakant Agrawal, Amr El Abbadi, Trinabh Gupta. 672-690 [doi]
• Boki: Stateful Serverless Computing with Shared LogsZhipeng Jia, Emmett Witchel. 691-707 [doi]
• Bladerunner: Stream Processing at Scale for a Live View of Backend Data Mutations at the EdgeJeff Barber, Ximing Yu, Laney Kuenzel Zamore, Jerry Lin, Vahid Jazayeri, Shie Erlich, Tony Savor, Michael Stumm. 708-723 [doi]
• Faster and Cheaper Serverless Computing on Harvested ResourcesYanqi Zhang, Iñigo Goiri, Gohar Irfan Chaudhry, Rodrigo Fonseca, Sameh Elnikety, Christina Delimitrou, Ricardo Bianchini. 724-739 [doi]
• Xenic: SmartNIC-Accelerated Distributed TransactionsHenry N. Schuh, Weihao Liang, Ming Liu 0027, Jacob Nelson, Arvind Krishnamurthy. 740-755 [doi]
• LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline ParallelismJongyul Kim, Insu Jang, Waleed Reda, Jaeseong Im, Marco Canini, Dejan Kostic, Youngjin Kwon, Simon Peter, Emmett Witchel. 756-771 [doi]
• Automated SmartNIC Offloading Insights for Network FunctionsYiming Qiu, Jiarong Xing, Kuo-Feng Hsu, Qiao Kang, Ming Liu, Srinivas Narayana, Ang Chen. 772-787 [doi]
• The Aurora Single Level Store Operating SystemEmil Tsalapatis, Ryan Hancock, Tavian Barnes, Ali José Mashtizadeh. 788-803 [doi]
• WineFS: a hugepage-aware file system for persistent memory that ages gracefullyRohan Kadekodi, Saurabh Kadekodi, Soujanya Ponnapalli, Harshad Shirwadkar, Gregory R. Ganger, Aasheesh Kolli, Vijay Chidambaram. 804-818 [doi]
• Scale and Performance in a Filesystem Semi-MicrokernelJing Liu, Anthony Rebello, Yifan Dai, Chenhao Ye, Sudarsun Kannan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseauu. 819-835 [doi]
• Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield. 836-850 [doi]
• CLoF: A Compositional Lock Framework for Multi-level NUMA SystemsRafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen 0001. 851-865 [doi]
• Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory HardwareRunzhou Tao, Jianan Yao, Xupeng Li, Shih-wei Li, Jason Nieh, Ronghui Gu. 866-881 [doi]