SOSP 2017 Program
Full Citation in the ACM Digital Library
SOSP'17 Proceedings Front Matter (Title, Copyright, Foreword, Contents, Sponsors, Organizers)
SOSP'17 Proceedings Back Matter (Author index)
SOSP'17 Talk Videos (See Table of Contents)
Paper PDF Talk Slides Talk Video Audience Questions Author Responses
Sunday, October 29, 2017
Breakfast (Foyer area) 7:30 AM - 8:30 AM |
Welcome and awards (China Hall) 8:30 AM - 9:00 AM |
Welcome |
General Chairs: Haibo Chen (Shanghai Jiao Tong University) and Lidong Zhou (Microsoft) PC Chairs: Lorenzo Alvisi (Cornell University) and Peter Chen (University of Michigan) |
Session 1: Bug hunting, Chair: Shan Lu (China Hall) 9:00 AM - 10:15 AM |
Best Paper DeepXplore: Automated Whitebox Testing of Deep Learning Systems |
Kexin Pei (Columbia University); Yinzhi Cao (Lehigh University); Junfeng Yang, Suman Jana (Columbia University) |
Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach |
Yongle Zhang, Serguei Makarov, Xiang Ren, David Lion, Ding Yuan (University of Toronto) |
Canopy: An End-to-End Performance Tracing And Analysis System |
Jonathan Kaldor (Facebook); Jonathan Mace (Brown University); Michał Bejda, Edison Gao, Joe O'Neill, Kian Win Ong, Bill Schaller, Pingjia Shan, Brendan Viscomi, Vinod Venkataraman, Kaushik Veeraraghavan, Yee Jiun Song (Facebook) |
Break 10:15 AM - 10:45 AM |
Session 2: Scalability, Chair: Geoff Volker (China Hall) 10:45 AM - 12 Noon |
Algorand: Scaling Byzantine Agreements for Cryptocurrencies |
Yossi Gilad (MIT CSAIL / Boston University); Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich (MIT CSAIL) |
Scaling a file system to many cores using an operation log |
Srivatsa S. Bhat (MIT CSAIL and VMware); Rasha Eqbal (MIT CSAIL and Apple); Austin T. Clements (MIT CSAIL and Google); M. Frans Kaashoek, Nickolai Zeldovich (MIT CSAIL) |
SVE: Distributed Video Processing at Facebook Scale |
Qi 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 (Facebook); Matthew Burke (University of Southern California; Facebook; Cornell); Wyatt Lloyd (University of Southern California; Facebook; Princeton) |
Lunch (Grand Ballroom) 12 Noon - 1:30 PM |
Session 3: In-network computing, Chair: Aditya Akella (China Hall) 1:30 PM - 2:45 PM |
Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control |
Jialin Li, Ellis Michael, Dan R. K. Ports (University of Washington) |
NetCache: Balancing Key-Value Stores with Fast In-Network Caching |
Xin Jin (Johns Hopkins University); Xiaozhou Li (Barefoot Networks); Haoyu Zhang (Princeton University); Robert Soulé (Barefoot Networks and Università della Svizzera italiana); Jeongkeun Lee (Barefoot Networks); Nate Foster (Barefoot Networks and Cornell University); Changhoon Kim (Barefoot Networks); Ion Stoica (UC Berkeley) |
KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC |
Bojie Li (USTC and Microsoft Research); Zhenyuan Ruan (UCLA and Microsoft Research); Wencong Xiao (Beihang University and Microsoft Research); Yuanwei Lu (USTC and Microsoft Research); Yongqiang Xiong (Microsoft Research); Andrew Putnam (Microsoft); Enhong Chen (USTC); Lintao Zhang (Microsoft Research) |
Break 2:45 PM - 3:15 PM |
Session 4: Resource management, Chair: Rebecca Isaacs (China Hall) 3:15 PM - 4:30 PM |
Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms |
Eli Cortez (Microsoft); Anand Bonde (Microsoft Research); Alexandre Muzio (ITA, Brazil); Mark Russinovich, Marcus Fontoura (Microsoft); Ricardo Bianchini (Microsoft Research) |
MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface |
Mingzhe Hao, Huaicheng Li, Michael Hao Tong, Chrisma Pakha, Riza O. Suminto, Cesar A. Stuardo, Andrew A. Chien, Haryadi S. Gunawi (University of Chicago) |
Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks |
Kay Ousterhout (UC Berkeley); Christopher Canel (Carnegie Mellon University); Sylvia Ratnasamy (UC Berkeley); Scott Shenker (UC Berkeley, ICSI) |
Break 4:30 PM - 5:00 PM |
Dinner and poster session (Grand Ballroom) 5:00 PM - 7:00 PM |
Birds of feather session (Beijing, Shanghai, Dalian) 7:00 PM - 9:00 PM |
Monday, October 30, 2017
Breakfast (Foyer area) 7:30 AM - 8:30 AM |
Session 5: Kernels, Chair: Don Porter (China Hall) 8:30 AM - 9:45 AM |
NEVE: Nested Virtualization Extensions for ARM |
Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh (Columbia University); Marc Zyngier (ARM Ltd) |
My VM is Lighter (and Safer) than your Container |
Filipe Manco (NEC Europe Ltd.); Costin Lupu (University Politehnica of Bucharest); Florian Schmidt, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata (NEC Europe Ltd.); Costin Raiciu (University Politehnica of Bucharest); Felipe Huici (NEC Europe Ltd.) |
Multiprogramming a 64 kB Computer Safely and Efficiently |
Amit Levy (Stanford University); Bradford Campbell (University of Virginia); Branden Ghena (University of California, Berkeley); Daniel B Giffin (Stanford University); Pat Pannuto, Prabal Dutta (University of California, Berkeley); Philip Levis (Stanford University) |
Break 9:45 AM - 10:15 AM |
Session 6: Verification, Chair: Manos Kapritsos (China Hall) 10:15 AM - 11:30 AM |
Hyperkernel: Push-Button Verification of an OS Kernel |
Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang (University of Washington) |
Verifying a high-performance crash-safe file system using a tree specification |
Haogang Chen (Databricks); Tej Chajed (MIT CSAIL); Stephanie Wang (UC Berkeley); Alex Konradi, Atalay Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich (MIT CSAIL) |
Komodo: Using verification to disentangle secure-enclave hardware from software |
Andrew Ferraiuolo (Cornell University); Andrew Baumann, Chris Hawblitzel (Microsoft Research); Bryan Parno (Carnegie Mellon University) |
Lunch (Grand Ballroom) 11:30 AM - 1:00 PM |
Session 7: Potpourri, Chair: Peter Druschel (China Hall) 1:00 PM - 2:15 PM |
LITE Kernel RDMA Support for Datacenter Applications |
Shin-Yeh Tsai, Yiying Zhang (Purdue University) |
ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked Tasks |
George Prekas, Marios Kogias, Edouard Bugnion (EPFL) |
ffwd: delegation is (much) faster than you think |
Sepideh Roghanchi, Jakob Eriksson, Nilanjana Basu (University of Illinois at Chicago) |
Break 2:15 PM - 2:45 PM |
Session 8: Adaptation and repair, Chair: Robbert van Renesse (China Hall) 2:45 PM - 4:00 PM |
Automatically Repairing Network Control Planes Using an Abstract Representation |
Aaron Gember-Jacobson (Colgate University); Aditya Akella (University of Wisconsin-Madison); Ratul Mahajan (IntentionNet); Hongqiang Liu (Microsoft Research) |
Drizzle: Fast and Adaptable Stream Processing at Scale |
Shivaram Venkataraman, Aurojit Panda, Kay Ousterhout (UC Berkeley); Ali Ghodsi (UC Berkeley / Databricks); Michael Armbrust (Databricks); Benjamin Recht (UC Berkeley); Michael J. Franklin (UC Berkeley / University of Chicago); Ion Stoica (UC Berkeley) |
Rocksteady: Fast Migration for Low-latency In-memory Storage |
Chinmay Kulkarni, Aniraj Kesavan, Tian Zhang, Robert Ricci, Ryan Stutsman (University of Utah) |
Break 4:00 PM - 4:30 PM |
Session 9: Privacy, Chair: Brad Karp (China Hall) 4:30 PM - 5:45 PM |
Atom: Horizontally Scaling Strong Anonymity |
Albert Kwon (MIT); Henry Corrigan-Gibbs (Stanford); Srinivas Devadas (MIT); Bryan Ford (EPFL) |
Stadium: A Distributed Metadata-Private Messaging System |
Nirvan Tyagi (Cornell University); Yossi Gilad (MIT CSAIL/Boston University); Derek Leung (MIT CSAIL); Matei Zaharia (Stanford); Nickolai Zeldovich (MIT CSAIL) |
Prochlo: Strong Privacy for Analytics in the Crowd |
Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan (Google Brain); David Lie (Google Brain & University of Toronto); Mitch Rudominer, Usharee Kode, Julien Tinnes, Bernhard Seefeld (Google Inc.) |
Student Research Competition presentations (Beijing Room) 5:45 PM - 7:00 PM |
Birds of feather session (Dalian, Shanghai Room) 6:00 PM - 7:00 PM |
Banquet and awards (Grand Ballroom) 7:00 PM - 9:00 PM |
ACM SIGOPS business meeting (Grand Ballroom) 9:00 PM - 10:00 PM |
Tuesday, October 31, 2017
Breakfast (Foyer area) 7:30 AM - 8:30 AM |
Session 10: Storage systems, Chair: Frans Kaashoek (China Hall) 8:30 AM - 9:45 AM |
Strata: A Cross Media File System |
Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel (UT Austin); Thomas Anderson (University of Washington) |
NOVA-Fortis: A Fault-Tolerant Non-Volatile Main Memory File System |
Jian Xu, Lu Zhang, Amirsaman Memaripour, Akshatha Gangadharaiah, Amit Borase, Tamires Brito Da Silva (UC San Diego); Andy Rudoff (Intel); Steven Swanson (UC San Diego) |
PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees |
Pandian Raju, Rohan Kadekodi (University of Texas at Austin); Vijay Chidambaram (University of Texas at Austin and VMware Research); Ittai Abraham (VMware Research) |
Break 9:45 AM - 10:15 AM |
Session 11: Security, Chair: Miguel Castro (China Hall) 10:15 AM - 11:30 AM |
WatchIT: Who Watches Your IT Guy? |
Noam Shalev, Idit Keidar (Technion); Yaron Weinsberg (Microsoft); Yosef Moatti, Elad Ben-Yehuda (IBM Research) |
Secure Page Fusion with VUsion |
Marco Oliverio (Vrije Universiteit Amsterdam and University of Calabria); Kaveh Razavi, Herbert Bos, Cristiano Giuffrida (Vrije Universiteit Amsterdam) |
Best Paper The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web |
Cheng Tan, Lingfan Yu (NYU); Joshua B. Leners (Two Sigma); Michael Walfish (NYU) |
Lunch (Grand Ballroom) 11:30 AM - 1:00 PM |
Session 12: Understanding failures, Chair: Jason Flinn (China Hall) 1:00 PM - 2:15 PM |
Log20: Fully Automated Optimal Placement of Log Printing Statements under Specified Overhead Threshold |
Xu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan (University of Toronto); Yuanyuan Zhou (University of California, San Diego) |
Lazy Diagnosis of In-Production Concurrency Bugs |
Baris Kasikci (University of Michigan and Microsoft Research); Weidong Cui, Xinyang Ge, Ben Niu (Microsoft Research) |
CrystalNet: Faithfully Emulating Large Production Networks |
Hongqiang Harry Liu, Yibo Zhu (Microsoft Research); Jitu Padhye, Jiaxin Cao, Sri Tallapragada (Microsoft); Nuno P. Lopes, Andrey Rybalchenko (Microsoft Research); Guohan Lu, Lihua Yuan (Microsoft) |
Break 2:15 PM - 2:45 PM |
Session 13: Data analytics, Chair: Byung-Gon Chun (China Hall) 2:45 PM - 4:00 PM |
Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data |
Yunhao Zhang, Rong Chen, Haibo Chen (Shanghai Jiao Tong University) |
Optimizing Big-Data Queries Using Program Synthesis |
Matthias Schlaipfer (TU Wien); Kaushik Rajan, Akash Lal (Microsoft); Malavika Samak (MIT) |
Low-Latency Analytics on Colossal Data Streams with SummaryStore |
Nitin Agrawal, Ashish Vulimiri (Samsung Research) |
Excursion 4:30 PM - 7:00 PM |