| 2017 | Algorand: Scaling Byzantine Agreements for Cryptocurrencies. Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich |
| 2017 | Atom: Horizontally Scaling Strong Anonymity. Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford |
| 2017 | Automatically Repairing Network Control Planes Using an Abstract Representation. Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Harry Liu |
| 2017 | 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 |
| 2017 | 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 |
| 2017 | DeepXplore: Automated Whitebox Testing of Deep Learning Systems. Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana |
| 2017 | 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 |
| 2017 | Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control. Jialin Li, Ellis Michael, Dan R. K. Ports |
| 2017 | Hyperkernel: Push-Button Verification of an OS Kernel. Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang |
| 2017 | 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 |
| 2017 | Komodo: Using verification to disentangle secure-enclave hardware from software. Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno |
| 2017 | LITE Kernel RDMA Support for Datacenter Applications. Shin-Yeh Tsai, Yiying Zhang |
| 2017 | Lazy Diagnosis of In-Production Concurrency Bugs. Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu |
| 2017 | 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 |
| 2017 | Low-Latency Analytics on Colossal Data Streams with SummaryStore. Nitin Agrawal, Ashish Vulimiri |
| 2017 | 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 |
| 2017 | Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks. Kay Ousterhout, Christopher Canel, Sylvia Ratnasamy, Scott Shenker |
| 2017 | Multiprogramming a 64kB Computer Safely and Efficiently. Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Alexander Levis |
| 2017 | 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 |
| 2017 | NEVE: Nested Virtualization Extensions for ARM. Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier |
| 2017 | NOVA-Fortis: A Fault-Tolerant Non-Volatile Main Memory File System. Jian Xu, Lu Zhang, Amir Saman Memaripour, Akshatha Gangadharaiah, Amit Borase, Tamires Brito Da Silva, Steven Swanson, Andy Rudoff |
| 2017 | 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 |
| 2017 | Optimizing Big-Data Queries Using Program Synthesis. Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak |
| 2017 | PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees. Pandian Raju, Rohan Kadekodi, Vijay Chidambaram, Ittai Abraham |
| 2017 | Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach. Yongle Zhang, Serguei Makarov, Xiang Ren, David Lion, Ding Yuan |
| 2017 | Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31, 2017 |
| 2017 | 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 |
| 2017 | 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 |
| 2017 | Rocksteady: Fast Migration for Low-latency In-memory Storage. Chinmay Kulkarni, Aniraj Kesavan, Tian Zhang, Robert Ricci, Ryan Stutsman |
| 2017 | 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 |
| 2017 | Scaling a file system to many cores using an operation log. Srivatsa S. Bhat, Rasha Eqbal, Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich |
| 2017 | Secure Page Fusion with VUsion: https: //www.vusec.net/projects/VUsion. Marco Oliverio, Kaveh Razavi, Herbert Bos, Cristiano Giuffrida |
| 2017 | Stadium: A Distributed Metadata-Private Messaging System. Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich |
| 2017 | Strata: A Cross Media File System. Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, Thomas E. Anderson |
| 2017 | Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. Yunhao Zhang, Rong Chen, Haibo Chen |
| 2017 | The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish |
| 2017 | Verifying a high-performance crash-safe file system using a tree specification. Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2017 | WatchIT: Who Watches Your IT Guy? Noam Shalev, Idit Keidar, Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda |
| 2017 | ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked Tasks. George Prekas, Marios Kogias, Edouard Bugnion |
| 2017 | ffwd: delegation is (much) faster than you think. Sepideh Roghanchi, Jakob Eriksson, Nilanjana Basu |