ASPLOS 2013 Accepted Papers
Adwait Jog, Onur Kayiran, Nachiappan Chidambaram Nachiappan, Asit K. Mishra, Mahmut T. Kandemir, Onur Mutlu, Ravishankar Iyer and Chita R. Das.
OWL: FOcused Thread-array aWare ScheduLing for Enhanced Performance in GPGPUs
Nicholas Hunt, Tom Bergan, Luis Ceze and Steven Gribble.
DDOS: Taming Nondeterminism in Distributed Systems
Asim Kadav, Matthew J. Renzelmann and Michael M. Swift.
Fine-Grained Fault Tolerance using Device Checkpoints
Xiaoya Xiang, Hao Luo, Bin Bao and Chen Ding.
HOT: a Higher Order Theory of Locality
Taewook Oh, Hanjun Kim, Nick P. Johnson, Jae W. Lee and David I. August.
Practical Automatic Loop Specialization
Phitchaya Phothilimthana, Jason Ansel, Jonathan Ragan-Kelley and Saman Amarasinghe.
Portable Performance on Heterogeneous Architectures
Hadi Jooybar, Wilson W. L. Fung, Mike O'Connor, Joseph Devietti and Tor M. Aamodt.
GPUDet: A Deterministic GPU Architecture
Benjamin Wester, David Devecsery, Peter Chen, Jason Flinn and Satish Narayanasamy.
Parallelizing Data Race Detection
Hyojin Sung, Rakesh Komuravelli and Sarita Adve.
Efficient Hardware Support for Disciplined Non-Determinism
Cristiano Giuffrida, Anton Kuijsten and Andrew S. Tanenbaum.
Safe and Automatic Hot Updates for Operating Systems
Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang and Zhuan Chen.
Power Containers: An OS Facility for Fine-Grained Power and Energy Management on Multicore Servers
Lokesh Gidra, Gaël Thomas, Julien Sopena and Marc Shapiro.
A study of the Scalability of Stop-the-World Garbage Collectors on Multicore
Owen Hofmann, Alan Dunn, Sangman Kim, Michael Lee and Emmett Witchel.
InkTag: Secure Applications on an Untrusted Operating System
Íñigo Goiri, William Katsak, Kien Le, Thu D. Nguyen and Ricardo Bianchini.
Parasol and GreenSwitch: Managing Datacenters Powered by Renewable Energy
Syed Ali Raza Jafri, Gwendolyn Voskuilen and T. N. Vijaykumar.
Wait-n-GoTM: Improving HTM Performance by Serializing Cyclic Dependencies
Aashish Mittal, Dushyant Bansal, Sorav Bansal and Varun Sethi.
Efficient Virtualization on Embedded Power Architecture Platforms
Brandon Lucia and Luis Ceze.
Cooperative Empirical Failure Avoidance for Multithreaded Programs
Heekwon Park, Seungjae Baek, Jongmoo Choi, Donghee Lee and Sam Noh.
Regularities Considered Harmful: Forcing Randomness to Memory Accesses to Reduce Row Buffer Conflicts for Multi-Core, Multi-Bank Systems
Eric Schulte, Jonathan Dilorenzo, Stephanie Forrest and Westley Weimer.
Automated Repair of Binary and Assembly Programs for Cooperating Embedded Devices
Arun Raghavan, Laurel Emurian, Lei Shao, Marios Papaefthymiou, Kevin Pipe, Thomas Wenisch and Milo Martin.
A Hardware/Software Testbed for Computational Sprinting
Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee and Seungryoul Maeng.
Demand-Based Coordinated Scheduling for SMP VMs
Cheng Wang and Youfeng Wu.
TSO_Atomicity: Efficient Hardware Primitive for TSO-Preserving Region Optimizations
Sreepathi Pai, M J Thazhuthaveetil and R Govindarajan.
Improving GPGPU Concurrency with Elastic Kernels
Joy Arulraj, Po-Chun Chang, Guoliang Jin and Shan Lu.
Production-Run Software Failure Diagnosis via Hardware Performance Counters
Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand and Jon Crowcroft.
Unikernels: Library Operating Systems for the Cloud
Xuehai Qian, Benjamin Sahelices, Josep Torrellas and Depei Qian.
Volition: Scalable and Precise Sequential Consistency Violation Detection
Nima Honarmand, Nathan Dautenhahn, Gilles Pokam, Cristiano Pereira, Samuel King and Josep Torrellas.
Cyrus: Unintrusive Application-Level Record-Replay for Replay Parallelism
J.P. Grossman, Jeffrey S. Kuskin, Joseph A. Bank, Michael Theobald, Ron O. Dror, Douglas J. Ierardi, Richard H. Larson, U. Ben Schafer, Brian Towles, Cliff Young and David E. Shaw.
Hardware Support for Fine-Grained Event-Driven Computation in Anton 2
Wonsun Ahn, Yuelu Duan and Josep Torrellas.
LAS: Loop-based Alias Speculation Using Atomic Region Support
Swarup Sahoo, John Criswell, Chase Geigle and Vikram Adve.
Using Likely Invariants for Automated Software Bug Diagnosis
Eric Schkufza, Rahul Sharma and Alex Aiken.
Stochastic Superoptimization
Hui Kang and Jennifer Wong.
To Hardware Prefetch or Not to Prefetch? A Virtualized Environment Study & Core Binding Approach
Daniel McFarlin, Charles Tucker and Craig Zilles.
Discerning the Dominant Out-of-Order Performance Advantage: is it Dynamism or Speculation?
Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey and Mary Lou Soffa.
ReQoS: Reactive Static/Dynamic Compilation for QoS in Warehouse Scale Computers
Haohui Mai, Edgar Pek, Hui Xue, Madhusudan Parthasarathy and Samuel King.
Building a Secure Foundation for Mobile Apps
Heming Cui, Gang Hu, Jingyue Wu and Junfeng Yang.
Verifying Systems Rules Using Rule-Directed Symbolic Execution
Nicolas Viennot, Sid Nair and Jason Nieh.
Transparent Mutable Replay for Multicore Debugging and Patch Validation