| 2013 | A study of the scalability of stop-the-world garbage collectors on multicores. Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro |
| 2013 | Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013 Vivek Sarkar, Rastislav Bodík |
| 2013 | Automated repair of binary and assembly programs for cooperating embedded devices. Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest |
| 2013 | Computational sprinting on a hardware/software testbed. Arun Raghavan, Laurel Emurian, Lei Shao, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin |
| 2013 | ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution. Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam |
| 2013 | Cooperative empirical failure avoidance for multithreaded programs. Brandon Lucia, Luis Ceze |
| 2013 | Cyrus: unintrusive application-level record-replay for replay parallelism. Nima Honarmand, Nathan Dautenhahn, Josep Torrellas, Samuel T. King, Gilles Pokam, Cristiano Pereira |
| 2013 | DDOS: taming nondeterminism in distributed systems. Nicholas Hunt, Tom Bergan, Luis Ceze, Steven D. Gribble |
| 2013 | DeAliaser: alias speculation using atomic region support. Wonsun Ahn, Yuelu Duan, Josep Torrellas |
| 2013 | DeNovoND: efficient hardware support for disciplined non-determinism. Hyojin Sung, Rakesh Komuravelli, Sarita V. Adve |
| 2013 | Demand-based coordinated scheduling for SMP VMs. Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, Seungryoul Maeng |
| 2013 | Discerning the dominant out-of-order performance advantage: is it speculation or dynamism? Daniel S. McFarlin, Charles Tucker, Craig B. Zilles |
| 2013 | Efficient virtualization on embedded power architecture® platforms. Aashish Mittal, Dushyant Bansal, Sorav Bansal, Varun Sethi |
| 2013 | Fine-grained fault tolerance using device checkpoints. Asim Kadav, Matthew J. Renzelmann, Michael M. Swift |
| 2013 | GPUDet: a deterministic GPU architecture. Hadi Jooybar, Wilson W. L. Fung, Mike O'Connor, Joseph Devietti, Tor M. Aamodt |
| 2013 | GPUfs: integrating a file system with GPUs. Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel |
| 2013 | HOTL: a higher order theory of locality. Xiaoya Xiang, Chen Ding, Hao Luo, Bin Bao |
| 2013 | Hardware support for fine-grained event-driven computation in Anton 2. J. P. Grossman, Jeffrey Kuskin, Joseph A. Bank, Michael Theobald, Ron O. Dror, Douglas J. Ierardi, Richard H. Larson, U. Ben Schafer, Brian Towles, Cliff Young, David E. Shaw |
| 2013 | Iago attacks: why the system call API is a bad untrusted RPC interface. Stephen Checkoway, Hovav Shacham |
| 2013 | Improving GPGPU concurrency with elastic kernels. Sreepathi Pai, Matthew J. Thazhuthaveetil, R. Govindarajan |
| 2013 | InkTag: secure applications on an untrusted operating system. Owen S. Hofmann, Sangman Kim, Alan M. Dunn, Michael Z. Lee, Emmett Witchel |
| 2013 | OWL: cooperative thread array aware scheduling techniques for improving GPGPU performance. Adwait Jog, Onur Kayiran, Nachiappan Chidambaram Nachiappan, Asit K. Mishra, Mahmut T. Kandemir, Onur Mutlu, Ravishankar R. Iyer, Chita R. Das |
| 2013 | Paragon: QoS-aware scheduling for heterogeneous datacenters. Christina Delimitrou, Christos Kozyrakis |
| 2013 | Parallelizing data race detection. Benjamin Wester, David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy |
| 2013 | Parasol and GreenSwitch: managing datacenters powered by renewable energy. Iñigo Goiri, William A. Katsak, Kien Le, Thu D. Nguyen, Ricardo Bianchini |
| 2013 | Portable performance on heterogeneous architectures. Phitchaya Mangpo Phothilimthana, Jason Ansel, Jonathan Ragan-Kelley, Saman P. Amarasinghe |
| 2013 | Power containers: an OS facility for fine-grained power and energy management on multicore servers. Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang, Zhuan Chen |
| 2013 | Practical automatic loop specialization. Taewook Oh, Hanjun Kim, Nick P. Johnson, Jae W. Lee, David I. August |
| 2013 | Production-run software failure diagnosis via hardware performance counters. Joy Arulraj, Po-Chun Chang, Guoliang Jin, Shan Lu |
| 2013 | ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers. Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa |
| 2013 | Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems. Heekwon Park, Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh |
| 2013 | Research directions for 21st century computer systems: asplos 2013 panel. Mark D. Hill |
| 2013 | STABILIZER: statistically sound performance evaluation. Charlie Curtsinger, Emery D. Berger |
| 2013 | Safe and automatic live update for operating systems. Cristiano Giuffrida, Anton Kuijsten, Andrew S. Tanenbaum |
| 2013 | Stochastic superoptimization. Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2013 | TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations. Cheng Wang, Youfeng Wu |
| 2013 | The rise of the expert amateur: DIY culture and the evolution of computer science. Eric Paulos |
| 2013 | To hardware prefetch or not to prefetch?: a virtualized environment study and core binding approach. Hui Kang, Jennifer L. Wong |
| 2013 | Traffic management: a holistic approach to memory placement on NUMA systems. Mohammad Dashti, Alexandra Fedorova, Justin R. Funston, Fabien Gaud, Renaud Lachaize, Baptiste Lepers, Vivien Quéma, Mark Roth |
| 2013 | Transparent mutable replay for multicore debugging and patch validation. Nicolas Viennot, Siddharth Nair, Jason Nieh |
| 2013 | Unikernels: library operating systems for the cloud. Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David J. Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft |
| 2013 | Using likely invariants for automated software fault localization. Swarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve |
| 2013 | Verifying security invariants in ExpressOS. Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan |
| 2013 | Verifying systems rules using rule-directed symbolic execution. Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang |
| 2013 | Volition: scalable and precise sequential consistency violation detection. Xuehai Qian, Josep Torrellas, Benjamín Sahelices, Depei Qian |
| 2013 | Wait-n-GoTM: improving HTM performance by serializing cyclic dependencies. Syed Ali Raza Jafri, Gwendolyn Voskuilen, T. N. Vijaykumar |
| 2013 | Why you should care about quantile regression. Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |