| 2013 | A lightweight infrastructure for graph analytics. Donald Nguyen, Andrew Lenharth, Keshav Pingali |
| 2013 | ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013 Michael Kaminsky, Mike Dahlin |
| 2013 | An analysis of Facebook photo caching. Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li |
| 2013 | Asynchronous intrusion recovery for interconnected web services. Ramesh Chandra, Taesoo Kim, Nickolai Zeldovich |
| 2013 | Consistency-based service level agreements for cloud storage. Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, Hussam Abu-Libdeh |
| 2013 | Dandelion: a compiler and runtime for heterogeneous systems. Christopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly |
| 2013 | Discretized streams: fault-tolerant streaming computation at scale. Matei Zaharia, Tathagata Das, Haoyuan Li, Timothy Hunter, Scott Shenker, Ion Stoica |
| 2013 | Do not blame users for misconfigurations. Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy |
| 2013 | Everything you always wanted to know about synchronization but were afraid to ask. Tudor David, Rachid Guerraoui, Vasileios Trigonakis |
| 2013 | Fast dynamic binary translation for the kernel. Piyus Kedia, Sorav Bansal |
| 2013 | From ARIES to MARS: transaction support for next-generation, solid-state drives. Joel Coburn, Trevor Bunker, Meir Schwarz, Rajesh Gupta, Steven Swanson |
| 2013 | From L3 to seL4 what have we learnt in 20 years of L4 microkernels? Kevin Elphinstone, Gernot Heiser |
| 2013 | IOFlow: a software-defined storage architecture. Eno Thereska, Hitesh Ballani, Greg O'Shea, Thomas Karagiannis, Antony I. T. Rowstron, Tom Talpey, Richard Black, Timothy Zhu |
| 2013 | Naiad: a timely dataflow system. Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi |
| 2013 | Optimistic crash consistency. Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
| 2013 | Parrot: a practical runtime for deterministic, stable, and reliable threads. Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant |
| 2013 | ROOT: replaying multithreaded traces with resource-oriented ordering. Zev Weiss, Tyler Harter, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
| 2013 | RaceMob: crowdsourced data race detection. Baris Kasikci, Cristian Zamfir, George Candea |
| 2013 | Replication, history, and grafting in the Ori file system. Ali José Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, David Mazières |
| 2013 | Sparrow: distributed, low latency scheduling. Kay Ousterhout, Patrick Wendell, Matei Zaharia, Ion Stoica |
| 2013 | Speedy transactions in multicore in-memory databases. Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden |
| 2013 | Tango: distributed data structures over a shared log. Mahesh Balakrishnan, Dahlia Malkhi, Ted Wobber, Ming Wu, Vijayan Prabhakaran, Michael Wei, John D. Davis, Sriram Rao, Tao Zou, Aviad Zuck |
| 2013 | The scalable commutativity rule: designing scalable software for multicore processors. Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler |
| 2013 | There is more consensus in Egalitarian parliaments. Iulian Moraru, David G. Andersen, Michael Kaminsky |
| 2013 | Timecard: controlling user-perceived delays in server-based mobile applications. Lenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan |
| 2013 | Towards optimization-safe systems: analyzing the impact of undefined behavior. Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama |
| 2013 | Transaction chains: achieving serializability with low latency in geo-distributed storage systems. Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera, Jinyang Li |
| 2013 | Verifying computations with state. Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish |
| 2013 | VirtuOS: an operating system with kernel virtualization. Ruslan Nikolaev, Godmar Back |
| 2013 | X-Stream: edge-centric graph processing using streaming partitions. Amitabha Roy, Ivo Mihailovic, Willy Zwaenepoel |