Table of Contents

• DeepXplore: Automated Whitebox Testing of Deep Learning SystemsKexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana. 1-18 [doi]
• Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining ApproachYongle Zhang, Serguei Makarov, Xiang Ren, David Lion, Ding Yuan. 19-33 [doi]
• Canopy: An End-to-End Performance Tracing And Analysis SystemJonathan Kaldor, Jonathan Mace, Michal Bejda, Edison Gao, Wiktor Kuropatwa, Joe O'Neill, Kian Win Ong, Bill Schaller, Pingjia Shan, Brendan Viscomi, Vinod Venkataraman, Kaushik Veeraraghavan, Yee Jiun Song. 34-50 [doi]
• Algorand: Scaling Byzantine Agreements for CryptocurrenciesYossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich. 51-68 [doi]
• Scaling a file system to many cores using an operation logSrivatsa S. Bhat, Rasha Eqbal, Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich. 69-86 [doi]
• SVE: Distributed Video Processing at Facebook ScaleQi Huang, Petchean Ang, Peter Knowles, Tomasz Nykiel, Iaroslav Tverdokhlib, Amit Yajurvedi, Paul Dapolito IV, Xifan Yan, Maxim Bykov, Chuen Liang, Mohit Talwar, Abhishek Mathur, Sachin Kulkarni, Matthew Burke, Wyatt Lloyd. 87-103 [doi]
• Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency ControlJialin Li, Ellis Michael, Dan R. K. Ports. 104-120 [doi]
• NetCache: Balancing Key-Value Stores with Fast In-Network CachingXin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica. 121-136 [doi]
• KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NICBojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, Yongqiang Xiong, Andrew Putnam, Enhong Chen, Lintao Zhang. 137-152 [doi]
• Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud PlatformsEli Cortez, Anand Bonde, Alexandre Muzio, Mark Russinovich, Marcus Fontoura, Ricardo Bianchini. 153-167 [doi]
• MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS InterfaceMingzhe Hao, Huaicheng Li, Michael Hao Tong, Chrisma Pakha, Riza O. Suminto, Cesar A. Stuardo, Andrew A. Chien, Haryadi S. Gunawi. 168-183 [doi]
• Monotasks: Architecting for Performance Clarity in Data Analytics FrameworksKay Ousterhout, Christopher Canel, Sylvia Ratnasamy, Scott Shenker. 184-200 [doi]
• NEVE: Nested Virtualization Extensions for ARMJin Tack Lim, Christoffer Dall, Shih-wei Li, Jason Nieh, Marc Zyngier. 201-217 [doi]
• My VM is Lighter (and Safer) than your ContainerFilipe Manco, Costin Lupu, Florian Schmidt, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata, Costin Raiciu, Felipe Huici. 218-233 [doi]
• Multiprogramming a 64kB Computer Safely and EfficientlyAmit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Levis. 234-251 [doi]
• Hyperkernel: Push-Button Verification of an OS KernelLuke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang. 252-269 [doi]
• Verifying a high-performance crash-safe file system using a tree specificationHaogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich. 270-286 [doi]
• Komodo: Using verification to disentangle secure-enclave hardware from softwareAndrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno. 287-305 [doi]
• LITE Kernel RDMA Support for Datacenter ApplicationsShin-Yeh Tsai, Yiying Zhang. 306-324 [doi]
• ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked TasksGeorge Prekas, Marios Kogias, Edouard Bugnion. 325-341 [doi]
• ffwd: delegation is (much) faster than you thinkSepideh Roghanchi, Jakob Eriksson, Nilanjana Basu. 342-358 [doi]
• Automatically Repairing Network Control Planes Using an Abstract RepresentationAaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Harry Liu. 359-373 [doi]
• Drizzle: Fast and Adaptable Stream Processing at ScaleShivaram Venkataraman, Aurojit Panda, Kay Ousterhout, Michael Armbrust, Ali Ghodsi, Michael J. Franklin, Benjamin Recht, Ion Stoica. 374-389 [doi]
• Rocksteady: Fast Migration for Low-latency In-memory StorageChinmay Kulkarni, Aniraj Kesavan, Tian Zhang, Robert Ricci, Ryan Stutsman. 390-405 [doi]
• Atom: Horizontally Scaling Strong AnonymityAlbert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford. 406-422 [doi]
• Stadium: A Distributed Metadata-Private Messaging SystemNirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich. 423-440 [doi]
• Prochlo: Strong Privacy for Analytics in the CrowdAndrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld. 441-459 [doi]
• Strata: A Cross Media File SystemYoungjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, Thomas E. Anderson. 460-477 [doi]
• NOVA-Fortis: A Fault-Tolerant Non-Volatile Main Memory File SystemJian Xu, Lu Zhang, Amirsaman Memaripour, Akshatha Gangadharaiah, Amit Borase, Tamires Brito Da Silva, Steven Swanson, Andy Rudoff. 478-496 [doi]
• PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge TreesPandian Raju, Rohan Kadekodi, Vijay Chidambaram, Ittai Abraham. 497-514 [doi]
• WatchIT: Who Watches Your IT Guy?Noam Shalev, Idit Keidar, Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda. 515-530 [doi]
• Secure Page Fusion with VUsion: https: //www.vusec.net/projects/VUsionMarco Oliverio, Kaveh Razavi, Herbert Bos, Cristiano Giuffrida. 531-545 [doi]
• The Efficient Server Audit Problem, Deduplicated Re-execution, and the WebCheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish. 546-564 [doi]
• Log20: Fully Automated Optimal Placement of Log Printing Statements under Specified Overhead ThresholdXu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan, Yuanyuan Zhou 0001. 565-581 [doi]
• Lazy Diagnosis of In-Production Concurrency BugsBaris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu. 582-598 [doi]
• CrystalNet: Faithfully Emulating Large Production NetworksHongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan. 599-613 [doi]
• Sub-millisecond Stateful Stream Querying over Fast-evolving Linked DataYunhao Zhang, Rong Chen, Haibo Chen. 614-630 [doi]
• Optimizing Big-Data Queries Using Program SynthesisMatthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak. 631-646 [doi]
• Low-Latency Analytics on Colossal Data Streams with SummaryStoreNitin Agrawal, Ashish Vulimiri. 647-664 [doi]