| 2013 | -OVERIFY: Optimizing Programs for Fast Verification. Jonas Wagner, Volodymyr Kuznetsov, George Candea |
| 2013 | 14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa Ana Pueblo, New Mexico, USA, May 13-15, 2013 Petros Maniatis |
| 2013 | Arrakis: A Case for the End of the Empire. Simon Peter, Thomas E. Anderson |
| 2013 | Automated Debugging for Arbitrarily Long Executions. Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea |
| 2013 | Escape Capsule: Explicit State Is Robust and Scalable. Shriram Rajagopalan, Dan Williams, Hani Jamjoom, Andrew Warfield |
| 2013 | Failure Recovery: When the Cure Is Worse Than the Disease. Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Madan Musuvathi, Zheng Zhang, Lidong Zhou |
| 2013 | Global Authentication in an Untrustworthy World. Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie |
| 2013 | HAT, Not CAP: Towards Highly Available Transactions. Peter Bailis, Alan D. Fekete, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica |
| 2013 | Large-Scale Computation Not at the Cost of Expressiveness. Sangjin Han, Sylvia Ratnasamy |
| 2013 | Lightweight Snapshots and System-level Backtracking. Edouard Bugnion, Vitaly Chipounov, George Candea |
| 2013 | Making Every Bit Count in Wide-Area Analytics. Ariel Rabkin, Matvey Arye, Siddhartha Sen, Vivek S. Pai, Michael J. Freedman |
| 2013 | Operating System Support for Augmented Reality Applications. Loris D'Antoni, Alan M. Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David Molnar, Alexander Moshchuk, Eyal Ofek, Franziska Roesner, T. Scott Saponas, Margus Veanes, Helen J. Wang |
| 2013 | QuarkOS: Pushing the Operating Limits of Micro-Powered Sensors. Pengyu Zhang, Deepak Ganesan, Boyan Lu |
| 2013 | Rethinking Network Stack Design with Memory Snapshots. Michael Chan, Heiner Litz, David R. Cheriton |
| 2013 | Solving the Straggler Problem with Bounded Staleness. James Cipar, Qirong Ho, Jin Kyu Kim, Seunghak Lee, Gregory R. Ganger, Garth Gibson, Kimberly Keeton, Eric P. Xing |
| 2013 | The Case for Onloading Continuous High-Datarate Perception to the Phone. Seungyeop Han, Matthai Philipose |
| 2013 | The Case for Tiny Tasks in Compute Clusters. Kay Ousterhout, Aurojit Panda, Josh Rosen, Shivaram Venkataraman, Reynold Xin, Sylvia Ratnasamy, Scott Shenker, Ion Stoica |
| 2013 | The NIC Is the Hypervisor: Bare-Metal Guests in IaaS Clouds. Jeffrey C. Mogul, Jayaram Mudigonda, Jose Renato Santos, Yoshio Turner |
| 2013 | The von Neumann Architecture Is Due for Retirement. Aleksander Budzynowski, Gernot Heiser |
| 2013 | Toward Common Patterns for Distributed, Concurrent, Fault-Tolerant Code. Ryan Stutsman, John K. Ousterhout |
| 2013 | Toward Principled Browser Security. Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, Brad Karp |
| 2013 | Towards Elastic Operating Systems. Amit Gupta, Ehab Ababneh, Richard Han, Eric Keller |
| 2013 | Unified High-Performance I/O: One Stack to Rule Them All. Animesh Trivedi, Patrick Stuedi, Bernard Metzler, Roman A. Pletka, Blake G. Fitch, Thomas R. Gross |
| 2013 | Using Dark Fiber to Displace Diesel Generators. Aman Kansal, Bhuvan Urgaonkar, Sriram Govindan |
| 2013 | Virtualize Storage, Not Disks. William Jannen, Chia-Che Tsai, Donald E. Porter |
| 2013 | Wanted: Systems Abstractions for SDN. Sapan Bhatia, Andy C. Bavier, Larry L. Peterson |
| 2013 | We Need to Talk About NICs. Pravin Shinde, Antoine Kaufmann, Timothy Roscoe, Stefan Kaestle |
| 2013 | When Cycles Are Cheap, Some Tables Can Be Huge. Bin Fan, Dong Zhou, Hyeontaek Lim, Michael Kaminsky, David G. Andersen |