List of Accepted Posters
Poster Session and Reception I | Poster Session and Reception II
Poster Session and Reception I: Wednesday, November 2, 2016
Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata
David Lazar and Nickolai Zeldovich, MIT CSAIL
Altruistic Scheduling in Multi-Resource Clusters
Robert Grandl, University of Wisconsin—Madison; Mosharaf Chowdhury, University of Michigan; Aditya Akella, University of Wisconsin—Madison; Ganesh Ananthanarayanan, Microsoft
Big Data Analytics over Encrypted Datasets with Seabed
Antonis Papadimitriou, University of Pennsylvania and Microsoft Research India; Ranjita Bhagwan, Nishanth Chandran, and Ramachandran Ramjee, Microsoft Research India; Andreas Haeberlen, University of Pennsylvania; Harmeet Singh and Abhishek Modi, Microsoft Research India; Saikrishna Badrinarayanan, University of California, Los Angeles and Microsoft Research India
Correlated Crash Vulnerabilities
Ramnatthan Alagappan, Aishwarya Ganesan, Yuvraj Patel, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, University of Wisconsin—Madison
CPU Cache Partitioning for Networked Systems
Thomas Kim, Sol Boucher, Hyeontaek Lim, and David G. Andersen, Carnegie Mellon University; Michael Kaminsky, Intel Labs
Distributed Object Capabilities
Simon Gerber and Timothy Roscoe, ETH Zurich
Early Detection of Configuration Errors to Reduce Failure Damage
Tianyin Xu, Xinxin Jin, Peng Huang, and Yuanyuan Zhou, University of California, San Diego; Shan Lu, University of Chicago; Long Jin, University of California, San Diego; Shankar Pasupathy, NetApp, Inc.
EC-Cache: Load-Balanced, Low-Latency Cluster Caching with Online Erasure Coding
K. V. Rashmi, University of California, Berkeley; Mosharaf Chowdhury and Jack Kosaian, University of Michigan; Ion Stoica and Kannan Ramchandran, University of California, Berkeley
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation
Seyed K. Fayaz and Tushar Sharma, Carnegie Mellon University; Ari Fogel, Intentionet; Ratul Mahajan, Microsoft Research; Todd Millstein, University of California, Los Angeles; Vyas Sekar, Carnegie Mellon University; George Varghese, University of California, Los Angeles
FaSST: Fast, Scalable and Simple Distributed Transactions with Two-Sided (RDMA) Datagram RPCs
Anuj Kalia, Carnegie Mellon University; Michael Kaminsky, Intel Labs; David G. Andersen, Carnegie Mellon University
Firmament: Fast, Centralized Cluster Scheduling at Scale
Ionel Gog, University of Cambridge; Malte Schwarzkopf, MIT CSAIL; Adam Gleave, University of Cambridge; Robert N. M. Watson, University of Cambridge; Steven Hand, Google
GRAPHENE: Packing and Dependency-Aware Scheduling for Data-Parallel Clusters
Robert Grandl, Microsoft and University of Wisconsin—Madison; Srikanth Kandula and Sriram Rao, Microsoft; Aditya Akella, Microsoft and University of Wisconsin—Madison; Janardhan Kulkarni, Microsoft
Incremental Consistency Guarantees for Replicated Objects
Rachid Guerraoui, Matej Pavlovic, and Dragos-Adrian Seredinschi, École Polytechnique Fédérale de Lausanne (EPFL)
Intermittent Computation without Hardware Support or Programmer Intervention
Joel Van Der Woude, Sandia National Laboratories; Matthew Hicks, University of Michigan
JamaisVu: Robust Scheduling with Auto-Estimated Job Runtimes
Alexey Tumanov, Angela Jiang, and Jun Woo Park, Carnegie Mellon University; Michael A. Kozuch, Intel Labs; Gregory R. Ganger, Carnegie Mellon University
Light-Weight Contexts: An OS Abstraction for Safety and Performance
James Litton, University of Maryland, College Park and Max Planck Institute for Software Systems (MPI-SWS); Anjo Vahldiek-Oberwagner, Eslam Elnikety, and Deepak Garg, Max Planck Institute for Software Systems (MPI-SWS); Bobby Bhattacharjee, University of Maryland, College Park; Peter Druschel, Max Planck Institute for Software Systems (MPI-SWS)
Machine-Aware Atomic Broadcast Trees for Multicores
Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, and Timothy Roscoe, ETH Zurich
Mithril: Mining Block Correlation for Cache Prefetching
Juncheng Yang, Reza Karimi, and Ymir Vigfusson, Emory University
Morpheus: Towards Automated SLOs for Enterprise Clusters
Sangeetha Abdu Jyothi, Microsoft and University of Illinois at Urbana–Champaign; Carlo Curino, Ishai Menache, and Shravan Matthur Narayanamurthy, Microsoft; Alexey Tumanov, Microsoft and Carnegie Mellon University; Jonathan Yaniv, Technion—Israel Institute of Technology; Ruslan Mavlyutov, Microsoft and University of Fribourg; Íñigo Goiri, Subru Krishnan, Janardhan Kulkarni, and Sriram Rao, Microsoft
NetBricks: Taking the V out of NFV
Aurojit Panda and Sangjin Han, University of California, Berkeley; Keon Jang, Google; Melvin Walls and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley, and International Computer Science Institute
Network Requirements for Resource Disaggregation
Peter X. Gao, Akshay Narayan, Sagar Karandikar, Joao Carreira, and Sangjin Han, University of California, Berkeley; Rachit Agarwal, Cornell University; Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley, and International Computer Science Institute
Non-Intrusive Performance Profiling for Entire Software Stacks Based on the Flow Reconstruction Principle
Xu Zhao, Kirk Rodrigues, Yu Luo, Ding Yuan, and Michael Stumm, University of Toronto
OS Containers on Diet Using CNTR
Jörg Thalheim, Franz Gregor, Pramod Bhatotia, and Christof Fetzer, Technische Universität Dresden
Ouroboros: Bootstrapping a Formally Verified In-Kernel Interpreter
Jared Roesch, Luke Nelson, Xi Wang, and Zachary Tatlock, University of Washington
PBSE: Path-Based Speculative Execution for Robust Tail Tolerance in Data-Parallel Systems
Riza O. Suminto, Cesar Stuardo, Alexandra Clark, Huan Ke, Bo Fu, Tanakorn Leesatapornwongsa, Vincentius Martin, Daniar H. Kurniawan, and Haryadi S. Gunawi, University of Chicago
Push-Button Verification of File Systems via Crash Refinement
Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang, University of Washington
Scalable, Fast Cloud Computing with Execution Templates
Omid Mashayekhi, Hang Qu, Chinmayee Shah, and Philip Levis, Stanford University
Simplifying Datacenter Network Debugging with PathDump
Praveen Tammana, University of Edinburgh; Rachit Agarwal, Cornell University; Myungjin Lee, University of Edinburgh
Smelt: Machine-Aware Atomic Broadcast Trees for Multicores
Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, and Timothy Roscoe, ETH Zurich
Smoother Stream Processing Through Smarter Back Pressure
Xin Chen, Georgia Institute of Technology; Ymir Vigfusson, Emory University; Douglas M. Blough, Georgia Institute of Technology; Fang Zheng and Kun-Lung Wu, IBM T.J. Watson Research Center; Liting Hu, Florida International University
The SNOW Theorem and Latency-Optimal Read-Only Transactions
Haonan Lu, Christopher Hodsdon, and Khiem Ngo, University of Southern California; Shuai Mu, New York University; Wyatt Lloyd, University of Southern California
Tiny Tail Flash: Near-Perfect Elimination of Garbage Collection Tail Latencies in NAND SSDs
Shiqin Yan, Huaicheng Li, Mingzhe Hao, and Hao Tong, University of Chicago; Swaminathan Sundararaman, Parallel Machines; Andrew A. Chien and Haryadi S. Gunawi, University of Chicago
Toward End-to-End Formal Verification of a Secure Messaging Application
Kaiyuan Zhang, Xi Wang, Emina Torlak, and Arvind Krishnamurthy, University of Washington
Unobservable Communication over Fully Untrusted Infrastructure
Sebastian Angel, The University of Texas at Austin and New York University; Srinath Setty, Microsoft Research
Viska: Enabling Interactive Analysis of Performance Measurements
Helga Gudmundsdottir, Babak Salimi, Magdalena Balazinska, Dan R. K. Ports, and Dan Suciu, University of Washington
Wukong+S: Streaming Meets Querying on RDF Streams
Yunhao Zhang, Rong Chen, and Haibo Chen, Shanghai Jiao Tong University
Poster Session and Reception II: Thursday, November 3, 2016
Automatic Online Vertical Scaling in IaaS Clouds
Zhiming Shen, Weijia Song, Robbert van Renesse, and Hakim Weatherspoon, Cornell University
Badis—an Adaptive OS Architecture
Jana Giceva, Gerd Zellweger, Gustavo Alonso, and Timothy Roscoe; ETH Zurich
Browsix: Bridging the Gap Between Unix and the Browser
Bobby Powers, John Vilk, and Emery D. Berger, University of Massachussets Amherst
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, and David Costanzo; Yale University
CLARINET: WAN-Aware Optimization for Analytics Queries
Raajay Viswanathan, University of Wisconsin—Madison; Ganesh Ananthanarayanan, Microsoft; Aditya Akella, University of Wisconsin—Madison
Consolidating Concurrency Control and Consensus for Commits under Conflicts
Shuai Mu and Lamont Nelson, New York University; Wyatt Lloyd, University of Southern California; Jinyang Li, New York University
Coordinated and Efficient Huge Page Management with Ingens
Youngjin Kwon, Hangchen Yu, and Simon Peter, The University of Texas at Austin; Christopher J. Rossbach, The University of Texas at Austin and VMware Research Group; Emmett Witchel, The University of Texas at Austin
Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications
Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, and Henry M. Levy, University of Washington
Don’t Get Caught in the Cold, Warm-up Your JVM: Understand and Eliminate JVM Warm-up Overhead in Data-Parallel Systems
David Lion and Adrian Chiu, University of Toronto; Hailong Sun, Beihang University; Xin Zhuang, University of Toronto; Nikola Grcevski, Vena Solutions; Ding Yuan, University of Toronto
DQBarge: Improving Data-Quality Tradeoffs in Large-Scale Internet Services
Michael Chow, University of Michigan; Kaushik Veeraraghavan, Facebook, Inc.; Michael Cafarella and Jason Flinn, University of Michigan
EbbRT: A Framework for Building Per-Application Library Operating Systems
Dan Schatzberg, James Cadden, Han Dong, Orran Krieger, and Jonathan Appavoo, Boston University
Exploring the Hidden Dimension in Graph Processing
Mingxing Zhang, Yongwei Wu, and Kang Chen, Tsinghua University; Xuehai Qian, University of Southern California; Xue Li and Weimin Zheng, Tsinghua University
Fast and Concurrent RDF Queries with RDMA-Based Distributed Graph Exploration
Jiaxin Shi, Youyang Yao, Rong Chen, and Haibo Chen, Shanghai Jiao Tong University; Feifei Li, University of Utah
Formalizing Address Space Interactions
Reto Achermann and Timothy Roscoe, ETH Zurich
Gemini: A Computation-Centric Distributed Graph Processing System
Xiaowei Zhu, Wenguang Chen, and Weimin Zheng, Tsinghua University; Xiaosong Ma, Hamad Bin Khalifa University
History-Based Harvesting of Spare Cycles and Storage in Large-Scale Datacenters
Yunqi Zhang, University of Michigan and Microsoft Research; George Prekas, École Polytechnique Fédérale de Lausanne (EPFL) and Microsoft Research; Giovanni Matteo Fumarola and Marcus Fontoura, Microsoft; Íñigo Goiri and Ricardo Bianchini, Microsoft Research
JetStream: Cluster-Scale Parallelization of Information Flow Queries
Andrew Quinn, David Devecsery, Peter M. Chen, and Jason Flinn, University of Michigan
Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering
Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, and Dan R. K. Ports, University of Washington
Knockoff: Cheap Versions in the Cloud
Xianzheng Dou, Peter M. Chen, and Jason Flinn, University of Michigan
Kraken: Leveraging Live Traffic Tests to Identify and Resolve Resource Utilization Bottlenecks in Large Scale Web Services
Kaushik Veeraraghavan, Justin Meza, David Chou, Wonho Kim, Sonia Margulis, Scott Michelson, Rajesh Nishtala, Daniel Obenshain, Dmitri Perelman, and Yee Jiun Song, Facebook Inc.
Multi-Temperature LSM Tree-Based Database Storage
Hobin Yoon, Georgia Institute of Technology; Ymir Vigfusson, Emory University and Reykjavik University; Ada Gavrilovska, Georgia Institute of Technology
NICA: OS Support for Near-data Network Application Accelerators
Haggai Eran, Lior Zeno, and Mark Silberstein, Technion—Israel Institute of Technology
Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent
Srinath Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, and Jinglei Ren, Microsoft Research
REX: A Development Platform and Online Learning Approach for Runtime Emergent Software Systems
Barry Porter, Matthew Grieves, Roberto Rodrigues Filho, and David Leslie, Lancaster University
Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data
Tyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, and Emmett Witchel, The University of Texas at Austin
SCk: Scale-Checking and Debugging Scalability Bugs on One Machine
Tanakorn Leesatapornwongsa, Cesar Stuardo, Huan Ke, Jeffrey F. Lukman, Riza O. Suminto, Daniar H. Kurniawan, and Haryadi S. Gunawi, University of Chicago
SCONE: Secure Linux Containers with Intel SGX
Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, and Andre Martin, Technische Universität Dresden; Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, and Mark L Stillwell, Imperial College London; David Goltzsche, Technische Universität Braunschweig; Dave Eyers, University of Otago; Rüdiger Kapitza, Technische Universität Braunschweig; Peter Pietzuch, Imperial College London; Christof Fetzer, Technische Universität Dresden
SGX Enforcement of Use-Based Privacy
Eleanor Birrell, Cornell University; Anders Gjerdrum, Håvard Johansen, and Dag Johansen, UiT The Arctic University of Norway; Robbert van Renesse and Fred B. Schneider, Cornell University
Shuffler: Fast and Deployable Continuous Code Re-Randomization
David Williams-King and Graham Gobieski, Columbia University; Kent Williams-King, University of British Columbia; James P. Blake and Xinhao Yuan, Columbia University; Patrick Colp, University of British Columbia; Michelle Zheng, Columbia University; Vasileios P. Kemerlis, Brown University; Junfeng Yang, Columbia University; William Aiello, University of British Columbia
Slicer: Auto-Sharding for Datacenter Applications
Atul Adya, Daniel Myers, Jon Howell, Jeremy Elson, Colin Meek, Vishesh Khemani, Stefan Fulger, Pan Gu, Lakshminath Bhuvanagiri, Jason Hunter, and Roberto Peon, Larry Kai, Alexander Shraer, and Arif Merchant, Google; Kfir Lev-Ari, Technion—Israel Institute of Technology
TensorFlow: A System for Large-Scale Machine Learning
Martî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 G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng, Google Brain
To Waffinity and Beyond: A Scalable Architecture for Incremental Parallelization of File System Code
Matthew Curtis-Maury, Vinay Devadas, Vania Fang, and Aditya Kulkarni, NetApp, Inc.
XFT: Practical Fault Tolerance beyond Crashes
Shengyun Liu, National University of Defense Technology; Paolo Viotti, EURECOM; Christian Cachin, IBM Research–Zurich; Vivien Quéma, Grenoble Institute of Technology; Marko Vukolić, IBM Research–Zurich
Yak: A High-Performance Big-Data-Friendly Garbage Collector
Khanh Nguyen, Lu Fang, Guoqing Xu, and Brian Demsky; University of California, Irvine; Shan Lu, University of Chicago; Sanazsadat Alamian, University of California, Irvine; Onur Mutlu, ETH Zurich