| 2015 | Arabesque: a system for distributed graph mining. Carlos H. C. Teixeira, Alexandre J. Fonseca, Marco Serafini, Georgos Siganos, Mohammed J. Zaki, Ashraf Aboulnaga |
| 2015 | Building consistent transactions with inconsistent replication. Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports |
| 2015 | Chaos: scale-out graph processing from secondary storage. Amitabha Roy, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel |
| 2015 | Coz: finding code that counts with causal profiling. Charlie Curtsinger, Emery D. Berger |
| 2015 | Cross-checking semantic correctness: the case of finding file system bugs. Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, Taesoo Kim |
| 2015 | Drowsy power management. Matthew Lentz, James Litton, Bobby Bhattacharjee |
| 2015 | E2: a framework for NFV applications. Shoumik Palkar, Chang Lan, Sangjin Han, Keon Jang, Aurojit Panda, Sylvia Ratnasamy, Luigi Rizzo, Scott Shenker |
| 2015 | Existential consistency: measuring and understanding consistency at Facebook. Haonan Lu, Kaushik Veeraraghavan, Philippe Ajoux, Jim Hunt, Yee Jiun Song, Wendy Tobagus, Sanjeev Kumar, Wyatt Lloyd |
| 2015 | Failure sketching: a technique for automated root cause diagnosis of in-production failures. Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea |
| 2015 | Fast in-memory transaction processing using RDMA and HTM. Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen |
| 2015 | High-performance ACID via modular concurrency control. Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang |
| 2015 | Holistic configuration management at Facebook. Chunqiang Tang, Thawan Kooburat, Pradeep Venkatachalam, Akshay Chander, Zhe Wen, Aravind Narayanan, Patrick Dowell, Robert Karl |
| 2015 | How to get more value from your file system directory cache. Chia-Che Tsai, Yang Zhan, Jayashree Reddy, Yizheng Jiao, Tao Zhang, Donald E. Porter |
| 2015 | Implementing linearizability at large scale and low latency. Collin Lee, Seo Jin Park, Ankita Kejriwal, Satoshi Matsushita, John K. Ousterhout |
| 2015 | Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu |
| 2015 | IronFleet: proving practical distributed systems correct. Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill |
| 2015 | JouleGuard: energy guarantees for approximate applications. Henry Hoffmann |
| 2015 | No compromises: distributed transactions with consistency, availability, and performance. Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro |
| 2015 | Opportunistic storage maintenance. George Amvrosiadis, Angela Demke Brown, Ashvin Goel |
| 2015 | Parallelizing user-defined aggregations using symbolic execution. Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz |
| 2015 | Paxos made transparent. Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang |
| 2015 | Pivot tracing: dynamic causal monitoring for distributed systems. Jonathan Mace, Ryan Roelke, Rodrigo Fonseca |
| 2015 | Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015 Ethan L. Miller, Steven Hand |
| 2015 | Read-log-update: a lightweight synchronization mechanism for concurrent programming. Alexander Matveev, Nir Shavit, Pascal Felber, Patrick Marlier |
| 2015 | SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell |
| 2015 | Software defined batteries. Anirudh Badam, Ranveer Chandra, Jon Dutra, Anthony Ferrese, Steve Hodges, Pan Hu, Julia Meinershagen, Thomas Moscibroda, Bodhi Priyantha, Evangelia D. Skiani |
| 2015 | Split-level I/O scheduling. Suli Yang, Tyler Harter, Nishant Agrawal, Salini Selvaraj Kowsalya, Anand Krishnamurthy, Samer Al-Kiswany, Rini T. Kaushik, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
| 2015 | Using Crash Hoare logic for certifying the FSCQ file system. Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2015 | Virtual CPU validation. Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo |
| 2015 | Vuvuzela: scalable private messaging resistant to traffic analysis. Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich |
| 2015 | Yesquel: scalable sql storage for web applications. Marcos K. Aguilera, Joshua B. Leners, Michael Walfish |