Table of Contents

• Differential Energy Profiling: Energy Optimization via Diffing Similar Apps [doi]
• Capturing and Enhancing In Situ System Observability for Failure DetectionPeng Huang, Chuanxiong Guo, Jacob R. Lorch, Lidong Zhou, Yingnong Dang. 1-16 [doi]
• REPT: Reverse Debugging of Failures in Deployed SoftwareWeidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang 0011, Insu Yun. 17-32 [doi]
• Finding Crash-Consistency Bugs with Bounded Black-Box Crash TestingJayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli, Pandian Raju, Vijay Chidambaram. 33-50 [doi]
• An Analysis of Network-Partitioning Failures in Cloud SystemsAhmed Alquraan, Hatem Takruri, Mohammed Alfatafta, Samer Al-Kiswany. 51-68 [doi]
• LegoOS: A Disseminated, Distributed OS for Hardware Resource DisaggregationYizhou Shan, Yutong Huang, Yilun Chen, Yiying Zhang. 69-87 [doi]
• The benefits and costs of writing a POSIX kernel in a high-level languageCody Cutler, M. Frans Kaashoek, Robert Tappan Morris. 89-105 [doi]
• Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOSAhmed Khawaja, Joshua Landgraf, Rohith Prakash, Michael Wei, Eric Schkufza, Christopher J. Rossbach. 107-127 [doi]
• Adaptive Dynamic Checkpointing for Safe Efficient Intermittent ComputingKiwan Maeng, Brandon Lucia. 129-144 [doi]
• Arachne: Core-Aware Thread ManagementHenry Qin, Qian Li, Jacqueline Speiser, Peter Kraft, John K. Ousterhout. 145-160 [doi]
• Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture ModelsSuli Yang, Jing Liu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 161-176 [doi]
• µTune: Auto-Tuned Threading for OLDI MicroservicesAkshitha Sriraman, Thomas F. Wenisch. 177-194 [doi]
• RobinHood: Tail Latency Aware Caching - Dynamic Reallocation from Cache-Rich to Cache-PoorDaniel S. Berger, Benjamin Berg, Timothy Zhu, Siddhartha Sen 0001, Mor Harchol-Balter. 195-212 [doi]
• Noria: dynamic, partially-stateful data-flow for high-performance web applicationsJon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Tappan Morris. 213-231 [doi]
• Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better!Xingda Wei, Zhiyuan Dong, Rong Chen 0001, Haibo Chen. 233-251 [doi]
• Dynamic Query Re-Planning using QOOPKshiteej Mahajan, Mosharaf Chowdhury, Aditya Akella, Shuchi Chawla 0001. 253-267 [doi]
• Focus: Querying Large Video Datasets with Low Latency and Low CostKevin Hsieh, Ganesh Ananthanarayanan, Peter Bodík, Shivaram Venkataraman, Paramvir Bahl, Matthai Philipose, Phillip B. Gibbons, Onur Mutlu. 269-286 [doi]
• Nickel: A Framework for Design and Verification of Information Flow Control SystemsHelgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang. 287-305 [doi]
• Verifying concurrent software using movers in CSPECTej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich. 306-322 [doi]
• Proving confidentiality in a file system using DiskSecAtalay Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich. 323-338 [doi]
• Proving the correct execution of concurrent services in zero-knowledgeSrinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee. 339-356 [doi]
• The FuzzyLog: A Partially Ordered Shared LogJoshua Lockerman, Jose M. Faleiro, Juno Kim, Soham Sankaran, Daniel J. Abadi, James Aspnes, Siddhartha Sen 0001, Mahesh Balakrishnan 0001. 357-372 [doi]
• Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and EfficientlyKaushik Veeraraghavan, Justin Meza, Scott Michelson, Sankaralingam Panneerselvam, Alex Gyori, David Chou, Sonia Margulis, Daniel Obenshain, Shruti Padmanabha, Ashish Shah, Yee Jiun Song, Tianyin Xu. 373-389 [doi]
• Fault-Tolerance, Fast and Slow: Exploiting Failure Asynchrony in Distributed SystemsRamnatthan Alagappan, Aishwarya Ganesan, Jing Liu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 390-408 [doi]
• Taming Performance VariabilityAleksander Maricq, Dmitry Duplyakin, Ivo Jimenez, Carlos Maltzahn, Ryan Stutsman, Robert Ricci, Ana Klimovic. 409-425 [doi]
• Pocket: Elastic Ephemeral Storage for Serverless AnalyticsAna Klimovic, Yawen Wang, Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle, Christos Kozyrakis. 427-444 [doi]
• Sharding the Shards: Managing Datastore Locality at Scale with AkkioMuthukaruppan Annamalai, Kaushik Ravichandran, Harish Srinivas, Igor Zinkovsky, Luning Pan, Tony Savor, David Nagle, Michael Stumm. 445-460 [doi]
• Write-Optimized and High-Performance Hashing Index Scheme for Persistent MemoryPengfei Zuo, Yu Hua 0001, Jie Wu. 461-476 [doi]
• FlashShare: Punching Through Server Storage Stack from Kernel to Firmware for Ultra-Low Latency SSDsJie Zhang 0048, Miryeong Kwon, Donghyun Gouk, Sungjoon Koh, Changlim Lee, Mohammad Alian, Myoungjun Chun, Mahmut Taylan Kandemir, Nam Sung Kim, Jihong Kim, Myoungsoo Jung. 477-492 [doi]
• Orca: Differential Bug Localization in Large-Scale ServicesRanjita Bhagwan, Rahul Kumar, Chandra Shekhar Maddila, Adithya Abraham Philip. 493-509 [doi]
• wPerf: Generic Off-CPU Analysis to Identify Bottleneck Waiting EventsFang Zhou, Yifan Gan, Sixiang Ma, Yang Wang. 527-543 [doi]
• Sledgehammer: Cluster-Fueled DebuggingAndrew Quinn, Jason Flinn, Michael J. Cafarella. 545-560 [doi]
• Ray: A Distributed Framework for Emerging AI ApplicationsPhilipp Moritz, Robert Nishihara, Stephanie Wang, Alexey Tumanov, Richard Liaw, Eric Liang, Melih Elibol, Zongheng Yang, William Paul, Michael I. Jordan, Ion Stoica. 561-577 [doi]
• TVM: An Automated End-to-End Optimizing Compiler for Deep LearningTianQi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Q. Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, Arvind Krishnamurthy. 578-594 [doi]
• Gandiva: Introspective Cluster Scheduling for Deep LearningWencong Xiao, Romil Bhardwaj, Ramachandran Ramjee, Muthian Sivathanu, Nipun Kwatra, Zhenhua Han, Pratyush Patel, Xuan Peng, Hanyu Zhao, Quanlu Zhang, Fan Yang, Lidong Zhou. 595-610 [doi]
• PRETZEL: Opening the Black Box of Machine Learning Prediction Serving SystemsYunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer, Matteo Interlandi. 611-626 [doi]
• Splinter: Bare-Metal Extensions for Multi-Tenant Low-Latency StorageChinmay Kulkarni, Sara Moore, Mazhar Naqvi, Tian Zhang, Robert Ricci, Ryan Stutsman. 627-643 [doi]
• Neural Adaptive Content-aware Internet Video DeliveryHyunho Yeo, Youngmok Jung, Jaehong Kim, Jinwoo Shin, Dongsu Han. 645-661 [doi]
• Floem: A Programming System for NIC-Accelerated Network ApplicationsPhitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodík, Thomas E. Anderson. 663-679 [doi]
• Graviton: Trusted Execution Environments on GPUsStavros Volos, Kapil Vaswani, Rodrigo Bruno. 681-696 [doi]
• ZebRAM: Comprehensive and Compatible Software Protection Against Rowhammer AttacksRadhesh Krishnan Konoth, Marco Oliverio, Andrei Tatar, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida, Kaveh Razavi. 697-710 [doi]
• Karaoke: Distributed Private Messaging Immune to Passive Traffic AnalysisDavid Lazar, Yossi Gilad, Nickolai Zeldovich. 711-725 [doi]
• Obladi: Oblivious Serializable Transactions in the CloudNatacha Crooks, Matthew Burke 0001, Ethan Cecchetti, Sitar Harel, Rachit Agarwal 0001, Lorenzo Alvisi. 727-743 [doi]
• ASAP: Fast, Approximate Graph Pattern Mining at ScaleAnand Padmanabha Iyer, Zaoxing Liu, Xin Jin 0008, Shivaram Venkataraman, Vladimir Braverman, Ion Stoica. 745-761 [doi]
• RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single MachineKai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, Guoqing Harry Xu. 763-782 [doi]
• Three steps is all you need: fast, accurate, automatic scaling decisions for distributed streaming dataflowsVasiliki Kalavri, John Liagouris, Moritz Hoffmann, Desislava C. Dimitrova, Matthew Forshaw, Timothy Roscoe. 783-798 [doi]
• Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size DataGrégory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf. 799-815 [doi]