Table of Contents

• Push-Button Verification of File Systems via Crash RefinementHelgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang. 1-16 [doi]
• Intermittent Computation without Hardware Support or Programmer InterventionJoel van der Woude, Matthew Hicks. 17-32 [doi]
• Machine-Aware Atomic Broadcast Trees for MulticoresStefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe. 33-48 [doi]
• Light-Weight Contexts: An OS Abstraction for Safety and PerformanceJames Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg 0001, Bobby Bhattacharjee, Peter Druschel. 49-64 [doi]
• Altruistic Scheduling in Multi-Resource ClustersRobert Grandl, Mosharaf Chowdhury, Aditya Akella, Ganesh Ananthanarayanan. 65-80 [doi]
• GRAPHENE: Packing and Dependency-Aware Scheduling for Data-Parallel ClustersRobert Grandl, Srikanth Kandula, Sriram Rao, Aditya Akella, Janardhan Kulkarni. 81-97 [doi]
• Firmament: Fast, Centralized Cluster Scheduling at ScaleIonel Gog, Malte Schwarzkopf, Adam Gleave, Robert N. M. Watson, Steven Hand. 99-115 [doi]
• Morpheus: Towards Automated SLOs for Enterprise ClustersSangeetha Abdu Jyothi, Carlo Curino, Ishai Menache, Shravan Matthur Narayanamurthy, Alexey Tumanov, Jonathan Yaniv, Ruslan Mavlyutov, Iñigo Goiri, Subru Krishnan, Janardhan Kulkarni, Sriram Rao. 117-134 [doi]
• The SNOW Theorem and Latency-Optimal Read-Only TransactionsHaonan Lu, Christopher Hodsdon, Khiem Ngo, Shuai Mu, Wyatt Lloyd. 135-150 [doi]
• Correlated Crash VulnerabilitiesRamnatthan Alagappan, Aishwarya Ganesan, Yuvraj Patel, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 151-167 [doi]
• Incremental Consistency Guarantees for Replicated ObjectsRachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi. 169-184 [doi]
• FaSST: Fast, Scalable and Simple Distributed Transactions with Two-Sided (RDMA) Datagram RPCsAnuj Kalia, Michael Kaminsky, David G. Andersen. 185-201 [doi]
• NetBricks: Taking the V out of NFVAurojit Panda, Sangjin Han, Keon Jang, Melvin Walls, Sylvia Ratnasamy, Scott Shenker. 203-216 [doi]
• Efficient Network Reachability Analysis Using a Succinct Control Plane RepresentationSeyed K. Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese. 217-232 [doi]
• Simplifying Datacenter Network Debugging with PathDumpPraveen Tammana, Rachit Agarwal 0001, Myungjin Lee. 233-248 [doi]
• Network Requirements for Resource DisaggregationPeter Xiang Gao, Akshay Narayan, Sagar Karandikar, Joao Carreira, Sangjin Han, Rachit Agarwal 0001, Sylvia Ratnasamy, Scott Shenker. 249-264 [doi]
• TensorFlow: A System for Large-Scale Machine LearningMartín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zheng. 265-283 [doi]
• Exploring the Hidden Dimension in Graph ProcessingMingxing Zhang, Yongwei Wu, Kang Chen, Xuehai Qian, Xue Li, Weimin Zheng. 285-300 [doi]
• Gemini: A Computation-Centric Distributed Graph Processing SystemXiaowei Zhu, Wenguang Chen, Weimin Zheng, Xiaosong Ma. 301-316 [doi]
• Fast and Concurrent RDF Queries with RDMA-Based Distributed Graph ExplorationJiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen, Feifei Li. 317-332 [doi]
• REX: A Development Platform and Online Learning Approach for Runtime Emergent Software SystemsBarry Porter, Matthew Grieves, Roberto Vito Rodrigues Filho, David Leslie. 333-348 [doi]
• Yak: A High-Performance Big-Data-Friendly Garbage CollectorKhanh Nguyen, Lu Fang, Guoqing (Harry) Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu. 349-365 [doi]
• Shuffler: Fast and Deployable Continuous Code Re-RandomizationDavid Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, XinHao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello. 367-382 [doi]
• Don't Get Caught in the Cold, Warm-up Your JVM: Understand and Eliminate JVM Warm-up Overhead in Data-Parallel SystemsDavid Lion, Adrian Chiu, Hailong Sun, Xin Zhuang, Nikola Grcevski, Ding Yuan. 383-400 [doi]
• EC-Cache: Load-Balanced, Low-Latency Cluster Caching with Online Erasure CodingK. V. Rashmi, Mosharaf Chowdhury, Jack Kosaian, Ion Stoica, Kannan Ramchandran. 401-417 [doi]
• To Waffinity and Beyond: A Scalable Architecture for Incremental Parallelization of File System CodeMatthew Curtis-Maury, Vinay Devadas, Vania Fang, Aditya Kulkarni. 419-434 [doi]
• CLARINET: WAN-Aware Optimization for Analytics QueriesRaajay Viswanathan, Ganesh Ananthanarayanan, Aditya Akella. 435-450 [doi]
• JetStream: Cluster-Scale Parallelization of Information Flow QueriesAndrew Quinn, David Devecsery, Peter M. Chen, Jason Flinn. 451-466 [doi]
• Just Say NO to Paxos Overhead: Replacing Consensus with Network OrderingJialin Li, Michael Ellis, Naveen Kr. Sharma, Adriana Szekeres, Dan R. K. Ports. 467-483 [doi]
• XFT: Practical Fault Tolerance beyond CrashesShengyun Liu, Paolo Viotti, Christian Cachin, Vivien Quéma, Marko Vukolic. 485-500 [doi]
• Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with IntentSrinath T. V. Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren. 501-516 [doi]
• Consolidating Concurrency Control and Consensus for Commits under ConflictsShuai Mu, Lamont Nelson, Wyatt Lloyd, Jinyang Li. 517-532 [doi]
• Ryoan: A Distributed Sandbox for Untrusted Computation on Secret DataTyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, Emmett Witchel. 533-549 [doi]
• Unobservable Communication over Fully Untrusted InfrastructureSebastian Angel, Srinath T. V. Setty. 551-569 [doi]
• Alpenhorn: Bootstrapping Secure Communication without Leaking MetadataDavid Lazar, Nickolai Zeldovich. 571-586 [doi]
• Big Data Analytics over Encrypted Datasets with SeabedAntonis Papadimitriou, Ranjita Bhagwan, Nishanth Chandran, Ramachandran Ramjee, Andreas Haeberlen, Harmeet Singh, Abhishek Modi, Saikrishna Badrinarayanan. 587-602 [doi]
• Non-Intrusive Performance Profiling for Entire Software Stacks Based on the Flow Reconstruction PrincipleXu Zhao, Kirk Rodrigues, Yu Luo, Ding Yuan, Michael Stumm. 603-618 [doi]
• Early Detection of Configuration Errors to Reduce Failure DamageTianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, Shankar Pasupathy. 619-634 [doi]
• Kraken: Leveraging Live Traffic Tests to Identify and Resolve Resource Utilization Bottlenecks in Large Scale Web ServicesKaushik Veeraraghavan, Justin Meza, David Chou, Wonho Kim, Sonia Margulis, Scott Michelson, Rajesh Nishtala, Daniel Obenshain, Dmitri Perelman, Yee Jiun Song. 635-651 [doi]
• CertiKOS: An Extensible Architecture for Building Certified Concurrent OS KernelsRonghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo. 653-669 [doi]
• EbbRT: A Framework for Building Per-Application Library Operating SystemsDan Schatzberg, James Cadden, Han Dong, Orran Krieger, Jonathan Appavoo. 671-688 [doi]
• SCONE: Secure Linux Containers with Intel SGXSergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, Andre Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, Mark L. Stillwell, David Goltzsche, Dave Eyers, Rüdiger Kapitza, Peter Pietzuch, Christof Fetzer. 689-703 [doi]
• Coordinated and Efficient Huge Page Management with IngensYoungjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, Emmett Witchel. 705-721 [doi]
• Diamond: Automating Data Management and Storage for Wide-Area, Reactive ApplicationsIrene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, Henry M. Levy. 723-738 [doi]
• Slicer: Auto-Sharding for Datacenter ApplicationsAtul Adya, Daniel Myers, Jon Howell, Jeremy Elson, Colin Meek, Vishesh Khemani, Stefan Fulger, Pan Gu, Lakshminath Bhuvanagiri, Jason Hunter, Roberto Peon, Larry Kai, Alexander Shraer, Arif Merchant, Kfir Lev-Ari. 739-753 [doi]
• History-Based Harvesting of Spare Cycles and Storage in Large-Scale DatacentersYunqi Zhang, George Prekas, Giovanni Matteo Fumarola, Marcus Fontoura, Iñigo Goiri, Ricardo Bianchini. 755-770 [doi]
• DQBarge: Improving Data-Quality Tradeoffs in Large-Scale Internet ServicesMichael Chow, Kaushik Veeraraghavan, Michael J. Cafarella, Jason Flinn. 771-786 [doi]