OSDI '16 Poster Sessions

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