| 2017 | A Case Against Tiny Tasks in Iterative Analytics. Ehsan Totoni, Subramanya R. Dulloor, Amitabha Roy |
| 2017 | A Clairvoyant Approach to Evaluating Software (In)Security. Bhushan Jain, Chia-Che Tsai, Donald E. Porter |
| 2017 | Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. Beom Heyn Kim, Sukwon Oh, David Lie |
| 2017 | Flash Drive Lifespan *is* a Problem. Tao Zhang, Aviad Zuck, Donald E. Porter, Dan Tsafrir |
| 2017 | From Crash Consistency to Transactions. Yige Hu, Youngjin Kwon, Vijay Chidambaram, Emmett Witchel |
| 2017 | Glimmers: Resolving the Privacy/Trust Quagmire. David Lie, Petros Maniatis |
| 2017 | Gray Failure: The Achilles' Heel of Cloud-Scale Systems. Peng Huang, Chuanxiong Guo, Lidong Zhou, Jacob R. Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao |
| 2017 | Hardware is the new Software. Andrew Baumann |
| 2017 | Hypercallbacks: Decoupling Policy Decisions and Execution. Nadav Amit, Michael Wei, Cheng-Chun Tu |
| 2017 | It's Time to Think About an Operating System for Near Data Processing Architectures. Antonio Barbalace, Anthony Iliopoulos, Holm Rauchfuss, Goetz Brasche |
| 2017 | No!: Not Another Deep Learning Framework. Linh Nguyen, Peifeng Yu, Mosharaf Chowdhury |
| 2017 | OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter. Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran |
| 2017 | OmniX: an accelerator-centric OS for omni-programmable systems. Mark Silberstein |
| 2017 | Performance clarity as a first-class design principle. Kay Ousterhout, Christopher Canel, Max Wolffe, Sylvia Ratnasamy, Scott Shenker |
| 2017 | Preserving Hidden Data with an Ever-Changing Disk. Aviad Zuck, Udi Shriki, Donald E. Porter, Dan Tsafrir |
| 2017 | Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017 Alexandra Fedorova, Andrew Warfield, Ivan Beschastnikh, Rachit Agarwal |
| 2017 | Quantum Operating Systems. Henry Corrigan-Gibbs, David J. Wu, Dan Boneh |
| 2017 | Real-Time Machine Learning: The Missing Pieces. Robert Nishihara, Philipp Moritz, Stephanie Wang, Alexey Tumanov, William Paul, Johann Schleier-Smith, Richard Liaw, Mehrdad Niknami, Michael I. Jordan, Ion Stoica |
| 2017 | Return of the Runtimes: Rethinking the Language Runtime System for the Cloud 3.0 Era. Martin Maas, Krste Asanovic, John Kubiatowicz |
| 2017 | Scalability Bugs: When 100-Node Testing is Not Enough. Tanakorn Leesatapornwongsa, Cesar A. Stuardo, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Haryadi S. Gunawi |
| 2017 | Separating Translation from Protection in Address Spaces with Dynamic Remapping. Reto Achermann, Chris I. Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan S. Milojicic, Geoffrey Ndu, Alexander Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson |
| 2017 | System Programming in Rust: Beyond Safety. Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk |
| 2017 | The Game of Twenty Questions: Do You Know Where to Log? Xu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan, Yuanyuan Zhou |
| 2017 | Thinking about Availability in Large Service Infrastructures. Jeffrey C. Mogul, Rebecca Isaacs, Brent Welch |
| 2017 | Towards Automated Configuration of Systems with Non-Functional Constraints. Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz |
| 2017 | Towards O(1) Memory. Michael M. Swift |
| 2017 | Towards Proving Optimistic Multicore Schedulers. Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller |
| 2017 | Verification in the Age of Microservices. Aurojit Panda, Mooly Sagiv, Scott Shenker |
| 2017 | Why Your Encrypted Database Is Not Secure. Paul Grubbs, Thomas Ristenpart, Vitaly Shmatikov |
| 2017 | Will Serverless End the Dominance of Linux in the Cloud? Ricardo Koller, Dan Williams |