| 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 XII | Hierarchical File Systems Are Dead | Margo Seltzer, Nicholas Murphy |
| HotOS XII | An End to the Middle | Colin Dixon, Arvind Krishnamurthy, Thomas Anderson |
| HotOS XII | No Time for Asynchrony | Marcos K. Aguilera, Michael Walfish |
| HotOS XII | Computer Meteorology: Monitoring Compute Clouds | Lionel Litty, H. Andrés Lagar-Cavilla, David Lie |
| HotOS XII | Wave Computing in the Cloud | Bingsheng He, Mao Yang |
| HotOS XII | On Availability of Intermediate Data in Cloud Computations | Steven Y. Ko, Imranul Hoque, Brian Cho, Indranil Gupta |
| HotOS XII | Mobility Changes Everything in Low-Power Wireless Sensornets | Prabal Dutta, David Culler |
| HotOS XII | Augmented Smartphone Applications Through Clone Cloud Execution | Byung-Gon Chun, Petros Maniatis |
| HotOS XII | Peloton: Coordinated Resource Management for Sensor Networks | Jason Waterman, Geoffrey Werner Challen, Matt Welsh |
| HotOS XII | Migration without Virtualization | Michael A. Kozuch, Michael Kaminsky, Michael P. Ryan |
| HotOS XII | Operating Systems Should Provide Transactions | Donald E. Porter, Emmett Witchel |
| HotOS XII | Your computer is already a distributed system. Why isn't your OS? | Andrew Baumann, Simon Peter, Adrian Schüpbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham, Rebecca Isaacs |
| HotOS XII | FlashVM: Revisiting the Virtual Memory Hierarchy | Mohit Saxena, Michael M. Swift |
| HotOS XII | Operating System Support for NVM+DRAM Hybrid Main Memory | Jeffrey C. Mogul, Eduardo Argollo, Mehul Shah, Paolo Faraboschi |
| HotOS XII | Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine | Ross McIlroy, Joe Sventek |
