ACM Symposium on Operating Systems Principles, SOSP 2017


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked Tasks

George Prekas, Marios Kogias, Edouard Bugnion

ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked Tasks

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

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

MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface

Details
Discussion Comments: 0
Verification: Authors have not verified information

Canopy: An End-to-End Performance Tracing And Analysis System

Jonathan 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

Canopy: An End-to-End Performance Tracing And Analysis System

Details
Discussion Comments: 0
Verification: Authors have not verified information

The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web

Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish

The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Low-Latency Analytics on Colossal Data Streams with SummaryStore

Nitin Agrawal, Ashish Vulimiri

Low-Latency Analytics on Colossal Data Streams with SummaryStore

Details
Discussion Comments: 0
Verification: Authors have not verified information

Secure Page Fusion with VUsion: https: //www.vusec.net/projects/VUsion

Marco Oliverio, Kaveh Razavi, Herbert Bos, Cristiano Giuffrida

Secure Page Fusion with VUsion: https: //www.vusec.net/projects/VUsion

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

My VM is Lighter (and Safer) than your Container

Filipe Manco, Costin Lupu, Florian Schmidt, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata, Costin Raiciu, Felipe Huici

My VM is Lighter (and Safer) than your Container

Details
Discussion Comments: 0
Verification: Authors have not verified information

Lazy Diagnosis of In-Production Concurrency Bugs

Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu

Lazy Diagnosis of In-Production Concurrency Bugs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data

Yunhao Zhang, Rong Chen, Haibo Chen

Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data

Details
Discussion Comments: 0
Verification: Authors have not verified information

Hyperkernel: Push-Button Verification of an OS Kernel

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang

Hyperkernel: Push-Button Verification of an OS Kernel

Details
Discussion Comments: 0
Verification: Authors have not verified information

Rocksteady: Fast Migration for Low-latency In-memory Storage

Chinmay Kulkarni, Aniraj Kesavan, Tian Zhang, Robert Ricci, Ryan Stutsman

Rocksteady: Fast Migration for Low-latency In-memory Storage

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Optimizing Big-Data Queries Using Program Synthesis

Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak

Optimizing Big-Data Queries Using Program Synthesis

Details
Discussion Comments: 0
Verification: Authors have not verified information

ffwd: delegation is (much) faster than you think

Sepideh Roghanchi, Jakob Eriksson, Nilanjana Basu

ffwd: delegation is (much) faster than you think

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Log20: Fully Automated Optimal Placement of Log Printing Statements under Specified Overhead Threshold

Xu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan, Yuanyuan Zhou

Log20: Fully Automated Optimal Placement of Log Printing Statements under Specified Overhead Threshold

Details
Discussion Comments: 0
Verification: Authors have not verified information

Multiprogramming a 64kB Computer Safely and Efficiently

Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Levis

Multiprogramming a 64kB Computer Safely and Efficiently

Details
Discussion Comments: 0
Verification: Authors have not verified information

NetCache: Balancing Key-Value Stores with Fast In-Network Caching

Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica

NetCache: Balancing Key-Value Stores with Fast In-Network Caching

Details
Discussion Comments: 0
Verification: Authors have not verified information

DeepXplore: Automated Whitebox Testing of Deep Learning Systems

Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana

DeepXplore: Automated Whitebox Testing of Deep Learning Systems

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees

Pandian Raju, Rohan Kadekodi, Vijay Chidambaram, Ittai Abraham

PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees

Details
Discussion Comments: 0
Verification: Authors have not verified information

Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms

Eli Cortez, Anand Bonde, Alexandre Muzio, Mark Russinovich, Marcus Fontoura, Ricardo Bianchini

Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

WatchIT: Who Watches Your IT Guy?

Noam Shalev, Idit Keidar, Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda

WatchIT: Who Watches Your IT Guy?

Details
Discussion Comments: 0
Verification: Authors have not verified information

KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC

Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, Yongqiang Xiong, Andrew Putnam, Enhong Chen, Lintao Zhang

KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC

Details
Discussion Comments: 0
Verification: Authors have not verified information

Prochlo: Strong Privacy for Analytics in the Crowd

Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld

Prochlo: Strong Privacy for Analytics in the Crowd

Details
Discussion Comments: 0
Verification: Authors have not verified information

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, Matthew Burke, Wyatt Lloyd

SVE: Distributed Video Processing at Facebook Scale

Details
Discussion Comments: 0
Verification: Authors have not verified information

Scaling a file system to many cores using an operation log

Srivatsa S. Bhat, Rasha Eqbal, Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich

Scaling a file system to many cores using an operation log

Details
Discussion Comments: 0
Verification: Authors have not verified information

Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks

Kay Ousterhout, Christopher Canel, Sylvia Ratnasamy, Scott Shenker

Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Strata: A Cross Media File System

Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, Thomas E. Anderson

Strata: A Cross Media File System

Details
Discussion Comments: 0
Verification: Authors have not verified information

CrystalNet: Faithfully Emulating Large Production Networks

Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan

CrystalNet: Faithfully Emulating Large Production Networks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control

Jialin Li, Ellis Michael, Dan R. K. Ports

Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control

Details
Discussion Comments: 0
Verification: Authors have not verified information

Komodo: Using verification to disentangle secure-enclave hardware from software

Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno

Komodo: Using verification to disentangle secure-enclave hardware from software

Details
Author Comments: The same version of the paper can also be found here: https://www.microsoft.com/en-us/research/wp-content/uploads/2017/10/komodo.pdf
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Algorand: Scaling Byzantine Agreements for Cryptocurrencies

Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich

Algorand: Scaling Byzantine Agreements for Cryptocurrencies

Details
Discussion Comments: 0
Verification: Authors have not verified information

Stadium: A Distributed Metadata-Private Messaging System

Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich

Stadium: A Distributed Metadata-Private Messaging System

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Verifying a high-performance crash-safe file system using a tree specification

Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Verifying a high-performance crash-safe file system using a tree specification

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Drizzle: Fast and Adaptable Stream Processing at Scale

Shivaram Venkataraman, Aurojit Panda, Kay Ousterhout, Michael Armbrust, Ali Ghodsi, Michael J. Franklin, Benjamin Recht, Ion Stoica

Drizzle: Fast and Adaptable Stream Processing at Scale

Details
Discussion Comments: 0
Verification: Authors have not verified information

Atom: Horizontally Scaling Strong Anonymity

Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford

Atom: Horizontally Scaling Strong Anonymity

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automatically Repairing Network Control Planes Using an Abstract Representation

Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Harry Liu

Automatically Repairing Network Control Planes Using an Abstract Representation

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach

Yongle Zhang, Serguei Makarov, Xiang Ren, David Lion, Ding Yuan

Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach

Details
Discussion Comments: 0
Verification: Authors have not verified information

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, Steven Swanson, Andy Rudoff

NOVA-Fortis: A Fault-Tolerant Non-Volatile Main Memory File System

Details
Discussion Comments: 0
Verification: Authors have not verified information

NEVE: Nested Virtualization Extensions for ARM

Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier

NEVE: Nested Virtualization Extensions for ARM

Details
Discussion Comments: 0
Verification: Authors have not verified information

LITE Kernel RDMA Support for Datacenter Applications

Shin-Yeh Tsai, Yiying Zhang

LITE Kernel RDMA Support for Datacenter Applications

Details
Discussion Comments: 0
Verification: Authors have not verified information