| HotOS XIV | Lightweight Snapshots and System-level Backtracking | Edouard Bugnion, Vitaly Chipounov, George Candea |
| HotOS XIV | HAT, Not CAP: Towards Highly Available Transactions | Peter Bailis, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica |
| HotOS XIII | Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection | Petros Maniatis, Devdatta Akhawe, Kevin Fall, Elaine Shi, Dawn Song |
| HotOS XIII | Making Programs Forget: Enforcing Lifetime for Sensitive Data | Jayanthkumar Kannan, Byung-Gon Chun |
| HotOS XIII | Exploiting MISD Performance Opportunities in Multi-core Systems | Patrick G. Bridges, Donour Sizemore, Scott Levy |
| HotOS XIII | More Intervention Now! | Moises Goldszmidt, Rebecca Isaacs |
| HotOS XIII | make world | Christopher Smowton |
| HotOS XIII | What If You Could Actually Trust Your Kernel? | Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski |
| HotOS XIII | Provable Security: How Feasible Is It? | Gerwin Klein, Toby Murray, Peter Gammie, Thomas Sewell, Simon Winwood |
| HotOS XIII | Toward Practical and Unconditional Verification of Remote Computations | Andrew J. Blumberg |
| HotOS XIII | MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms | Michael Dietz, Charalampos Papamanthou |
| HotOS XIII | The Case for VOS: The Vector Operating System | Vijay Vasudevan, David G. Andersen, Michael Kaminsky |
| HotOS XIII | Operating Systems Must Support GPU Abstractions | Christopher J. Rossbach, Jon Currey, Emmett Witchel |
| HotOS XIII | Multicore OSes: Looking Forward from 1991, er, 2011 | David A. Holland, Margo I. Seltzer |
| HotOS XIII | Virtually Cool Ternary Content Addressable Memory | Suparna Bhattacharya, K. Gopinath |
| HotOS XIII | The Best of Both Worlds with On-Demand Virtualization | Thawan Kooburat, Michael Swift |
| HotOS XIII | Repair from a Chair: Computer Repair as an Untrusted Cloud Service | Lon Ingram, Ivaylo Popov, Srinath Setty, Michael Walfish |
| HotOS XIII | Structuring the Unstructured Middle with Chunk Computing | Justin Mazzola Paluska, Hubert Pham, Steve Ward |
| HotOS XIII | Macho: Programming with Man Pages | Anthony Cozzie, Murph Finnicum, Samuel T. King |
| HotOS XIII | Pursue Robust Indefinite Scalability | David H. Ackley, Daniel C. Cannon |
| HotOS XIII | Benchmarking File System Benchmarking: It *IS* Rocket Science | Vasily Tarasov, Saumitra Bhanage, Erez Zadok, Margo Seltzer |
| HotOS XIII | Multicore OS Benchmarks: We Can Do Better | Ihor Kuz, Zachary Anderson, Pravin Shinde |
| HotOS XIII | It's Time for Low Latency | Stephen M. Rumble, Diego Ongaro, Ryan Stutsman, Mendel Rosenblum, John K. Ousterhout |
| HotOS XIII | Disk-Locality in Datacenter Computing Considered Irrelevant | Ganesh Ananthanarayanan, Ali Ghodsi, Scott Shenker, Ion Stoica |
| HotOS XIII | Optimizing Data Partitioning for Data-Parallel Computing | Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang |
