Abstract is missing.
- GPUDet: a deterministic GPU architectureHadi Jooybar, Wilson W. L. Fung, Mike O'Connor, Joseph Devietti, Tor M. Aamodt. 1-12 [doi]
- DeNovoND: efficient hardware support for disciplined non-determinismHyojin Sung, Rakesh Komuravelli, Sarita V. Adve. 13-26 [doi]
- Parallelizing data race detectionBenjamin Wester, David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy. 27-38 [doi]
- Cooperative empirical failure avoidance for multithreaded programsBrandon Lucia, Luis Ceze. 39-50 [doi]
- Parasol and GreenSwitch: managing datacenters powered by renewable energyIñigo Goiri, William A. Katsak, Kien Le, Thu D. Nguyen, Ricardo Bianchini. 51-64 [doi]
- Power containers: an OS facility for fine-grained power and energy management on multicore serversKai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang, Zhuan Chen. 65-76 [doi]
- Paragon: QoS-aware scheduling for heterogeneous datacentersChristina Delimitrou, Christos Kozyrakis. 77-88 [doi]
- ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computersLingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa. 89-100 [doi]
- Production-run software failure diagnosis via hardware performance countersJoy Arulraj, Po-Chun Chang, Guoliang Jin, Shan Lu. 101-112 [doi]
- ConAir: featherweight concurrency bug recovery via single-threaded idempotent executionWei Zhang 0022, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam. 113-126 [doi]
- Transparent mutable replay for multicore debugging and patch validationNicolas Viennot, Siddharth Nair, Jason Nieh. 127-138 [doi]
- Using likely invariants for automated software fault localizationSwarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve. 139-152 [doi]
- The rise of the expert amateur: DIY culture and the evolution of computer scienceEric Paulos. 153-154 [doi]
- Computational sprinting on a hardware/software testbedArun Raghavan, Laurel Emurian, Lei Shao, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin. 155-166 [doi]
- DeAliaser: alias speculation using atomic region supportWonsun Ahn, Yuelu Duan, Josep Torrellas. 167-180 [doi]
- Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systemsHeekwon Park, Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh. 181-192 [doi]
- Cyrus: unintrusive application-level record-replay for replay parallelismNima Honarmand, Nathan Dautenhahn, Josep Torrellas, Samuel T. King, Gilles Pokam, Cristiano Pereira. 193-206 [doi]
- Why you should care about quantile regressionAugusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney. 207-218 [doi]
- STABILIZER: statistically sound performance evaluationCharlie Curtsinger, Emery D. Berger. 219-228 [doi]
- A study of the scalability of stop-the-world garbage collectors on multicoresLokesh Gidra, Gaël Thomas 0001, Julien Sopena, Marc Shapiro. 229-240 [doi]
- Discerning the dominant out-of-order performance advantage: is it speculation or dynamism?Daniel S. McFarlin, Charles Tucker, Craig B. Zilles. 241-252 [doi]
- Iago attacks: why the system call API is a bad untrusted RPC interfaceStephen Checkoway, Hovav Shacham. 253-264 [doi]
- InkTag: secure applications on an untrusted operating systemOwen S. Hofmann, Sangman Kim, Alan M. Dunn, Michael Z. Lee, Emmett Witchel. 265-278 [doi]
- Safe and automatic live update for operating systemsCristiano Giuffrida, Anton Kuijsten, Andrew S. Tanenbaum. 279-292 [doi]
- Verifying security invariants in ExpressOSHaohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan. 293-304 [doi]
- Stochastic superoptimizationEric Schkufza, Rahul Sharma 0001, Alex Aiken. 305-316 [doi]
- Automated repair of binary and assembly programs for cooperating embedded devicesEric Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest. 317-328 [doi]
- Verifying systems rules using rule-directed symbolic executionHeming Cui, Gang Hu, Jingyue Wu, Junfeng Yang. 329-342 [doi]
- HOTL: a higher order theory of localityXiaoya Xiang, Chen Ding, Hao Luo, Bin Bao. 343-356 [doi]
- To hardware prefetch or not to prefetch?: a virtualized environment study and core binding approachHui Kang, Jennifer L. Wong. 357-368 [doi]
- Demand-based coordinated scheduling for SMP VMsHwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, Seungryoul Maeng. 369-380 [doi]
- Traffic management: a holistic approach to memory placement on NUMA systemsMohammad Dashti, Alexandra Fedorova, Justin R. Funston, Fabien Gaud, Renaud Lachaize, Baptiste Lepers, Vivien Quéma, Mark Roth. 381-394 [doi]
- OWL: cooperative thread array aware scheduling techniques for improving GPGPU performanceAdwait Jog, Onur Kayiran, Nachiappan Chidambaram Nachiappan, Asit K. Mishra, Mahmut T. Kandemir, Onur Mutlu, Ravishankar Iyer, Chita R. Das. 395-406 [doi]
- Improving GPGPU concurrency with elastic kernelsSreepathi Pai, Matthew J. Thazhuthaveetil, R. Govindarajan. 407-418 [doi]
- Practical automatic loop specializationTaewook Oh, Hanjun Kim, Nick P. Johnson, Jae W. Lee, David I. August. 419-430 [doi]
- Portable performance on heterogeneous architecturesPhitchaya Mangpo Phothilimthana, Jason Ansel, Jonathan Ragan-Kelley, Saman P. Amarasinghe. 431-444 [doi]
- Efficient virtualization on embedded power architecture® platformsAashish Mittal, Dushyant Bansal, Sorav Bansal, Varun Sethi. 445-458 [doi]
- Research directions for 21st century computer systems: asplos 2013 panelMark D. Hill. 459-460 [doi]
- Unikernels: library operating systems for the cloudAnil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft. 461-472 [doi]
- Fine-grained fault tolerance using device checkpointsAsim Kadav, Matthew J. Renzelmann, Michael M. Swift. 473-484 [doi]
- GPUfs: integrating a file system with GPUsMark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel. 485-498 [doi]
- DDOS: taming nondeterminism in distributed systemsNicholas Hunt, Tom Bergan, Luis Ceze, Steven D. Gribble. 499-508 [doi]
- TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizationsCheng Wang, Youfeng Wu. 509-520 [doi]
- Wait-n-GoTM: improving HTM performance by serializing cyclic dependenciesSyed Ali Raza Jafri, Gwendolyn Voskuilen, T. N. Vijaykumar. 521-534 [doi]
- Volition: scalable and precise sequential consistency violation detectionXuehai Qian, Josep Torrellas, Benjamin Sahelices, Depei Qian. 535-548 [doi]
- Hardware support for fine-grained event-driven computation in Anton 2J. 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. 549-560 [doi]