| 2014 | KVM/ARM: the design and implementation of the linux ARM hypervisor. | Christoffer Dall, Jason Nieh |
| 2014 | Virtual ghost: protecting applications from hostile operating systems. | John Criswell, Nathan Dautenhahn, Vikram S. Adve |
| 2014 | A CPU: GPU Hybrid Implementation and Model-Driven Scheduling of the Fast Multipole Method. | JeeWhan Choi, Aparna Chandramowlishwaran, Kamesh Madduri, Richard W. Vuduc |
| 2014 | DianNao: a small-footprint high-throughput accelerator for ubiquitous machine-learning. | Tianshi Chen, Zidong Du, Ninghui Sun, Jia Wang, Chengyong Wu, Yunji Chen, Olivier Temam |
| 2014 | Inside windows azure: the challenges and opportunities of a cloud operating system. | Brad Calder |
| 2014 | Measuring GPU Power with the K20 Built-in Sensor. | Martin Burtscher, Ivan Zecena, Ziliang Zong |
| 2014 | Prototyping symbolic execution engines for interpreted languages. | Stefan Bucur, Johannes Kinder, George Candea |
| 2014 | Uncertain: a first-order type for uncertain data. | James Bornholt, Todd Mytkowicz, Kathryn S. McKinley |
| 2014 | Finding trojan message vulnerabilities in distributed systems. | Radu Banabic, George Candea, Rachid Guerraoui |
| 2014 | Leveraging the short-term memory of hardware to diagnose production-run software failures. | Joy Arulraj, Guoliang Jin, Shan Lu |
| 2014 | Cider: native execution of iOS apps on android. | Jeremy Andrus, Alexander Van't Hof, Naser AlDuaij, Christoffer Dall, Nicolas Viennot, Jason Nieh |
| 2014 | VSwapper: a memory swapper for virtualized environments. | Nadav Amit, Dan Tsafrir, Assaf Schuster |
| 2014 | Rhythm: harnessing data parallel hardware for server workloads. | Sandeep R. Agrawal, Valentin Pistol, Jun Pang, John Tran, David Tarjan, Alvin R. Lebeck |
| 2014 | Sapper: a language for hardware-level security policy enforcement. | Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
| 2013 | ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution. | Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam |
| 2013 | HOTL: a higher order theory of locality. | Xiaoya Xiang, Chen Ding, Hao Luo, Bin Bao |
| 2013 | Fast dynamic memory allocator for massively parallel architectures. | Sven Widmer, Dominik Wodniok, Nicolas Weber, Michael Goesele |
| 2013 | Parallelizing data race detection. | Benjamin Wester, David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy |
| 2013 | TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations. | Cheng Wang, Youfeng Wu |
| 2013 | Accelerating simulation of agent-based models on heterogeneous architectures. | Jin Wang, Norman Rubin, Haicheng Wu, Sudhakar Yalamanchili |
| 2013 | Transparent mutable replay for multicore debugging and patch validation. | Nicolas Viennot, Siddharth Nair, Jason Nieh |
| 2013 | Memory reuse optimizations in the R-Stream compiler. | Nicolas Vasilache, Muthu Manikandan Baskaran, Benot Meister, Richard Lethin |
| 2013 | ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers. | Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa |
| 2013 | Comparison based sorting for systems with multiple GPUs. | Ivan Tanasic, Llus Vilanova, Marc Jord, Javier Cabezas, Isaac Gelado, Nacho Navarro, Wen-mei W. Hwu |
| 2013 | DeNovoND: efficient hardware support for disciplined non-determinism. | Hyojin Sung, Rakesh Komuravelli, Sarita V. Adve |