default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDASPLOS 2013: Houston, TX, USA
- Vivek Sarkar, Rastislav Bodík:
Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013. ACM 2013, ISBN 978-1-4503-1870-9
Determinism and data races
- Hadi Jooybar, Wilson W. L. Fung, Mike O'Connor
, Joseph Devietti, Tor M. Aamodt:
GPUDet: a deterministic GPU architecture. 1-12 - Hyojin Sung, Rakesh Komuravelli, Sarita V. Adve:
DeNovoND: efficient hardware support for disciplined non-determinism. 13-26 - Benjamin Wester, David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy:
Parallelizing data race detection. 27-38 - Brandon Lucia, Luis Ceze:
Cooperative empirical failure avoidance for multithreaded programs. 39-50
Datacenters
- Iñigo Goiri, William A. Katsak, Kien Le, Thu D. Nguyen, Ricardo Bianchini:
Parasol and GreenSwitch: managing datacenters powered by renewable energy. 51-64 - Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang, Zhuan Chen:
Power containers: an OS facility for fine-grained power and energy management on multicore servers. 65-76 - Christina Delimitrou, Christos Kozyrakis:
Paragon: QoS-aware scheduling for heterogeneous datacenters. 77-88 - Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa:
ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers. 89-100
Debugging
- Joy Arulraj, Po-Chun Chang, Guoliang Jin, Shan Lu:
Production-run software failure diagnosis via hardware performance counters. 101-112 - Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam:
ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution. 113-126 - Nicolas Viennot, Siddharth Nair, Jason Nieh:
Transparent mutable replay for multicore debugging and patch validation. 127-138 - Swarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve:
Using likely invariants for automated software fault localization. 139-152
Keynote
- Eric Paulos:
The rise of the expert amateur: DIY culture and the evolution of computer science. 153-154
Architecture I
- Arun Raghavan, Laurel Emurian, Lei Shao, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin:
Computational sprinting on a hardware/software testbed. 155-166 - Wonsun Ahn, Yuelu Duan, Josep Torrellas:
DeAliaser: alias speculation using atomic region support. 167-180 - Heekwon Park, Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh:
Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems. 181-192 - Nima Honarmand, Nathan Dautenhahn, Josep Torrellas, Samuel T. King, Gilles Pokam, Cristiano Pereira:
Cyrus: unintrusive application-level record-replay for replay parallelism. 193-206
Performance analysis
- Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney:
Why you should care about quantile regression. 207-218 - Charlie Curtsinger, Emery D. Berger:
STABILIZER: statistically sound performance evaluation. 219-228 - Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro:
A study of the scalability of stop-the-world garbage collectors on multicores. 229-240 - Daniel S. McFarlin, Charles Tucker, Craig B. Zilles:
Discerning the dominant out-of-order performance advantage: is it speculation or dynamism? 241-252
Security
- Stephen Checkoway, Hovav Shacham:
Iago attacks: why the system call API is a bad untrusted RPC interface. 253-264 - Owen S. Hofmann, Sangman Kim, Alan M. Dunn, Michael Z. Lee, Emmett Witchel:
InkTag: secure applications on an untrusted operating system. 265-278 - Cristiano Giuffrida, Anton Kuijsten, Andrew S. Tanenbaum:
Safe and automatic live update for operating systems. 279-292 - Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan:
Verifying security invariants in ExpressOS. 293-304
Compilation I
- Eric Schkufza, Rahul Sharma, Alex Aiken:
Stochastic superoptimization. 305-316 - Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest:
Automated repair of binary and assembly programs for cooperating embedded devices. 317-328 - Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang:
Verifying systems rules using rule-directed symbolic execution. 329-342 - Xiaoya Xiang, Chen Ding, Hao Luo, Bin Bao:
HOTL: a higher order theory of locality. 343-356
Scheduling and virtualization
- Hui Kang, Jennifer L. Wong:
To hardware prefetch or not to prefetch?: a virtualized environment study and core binding approach. 357-368 - Hwanju Kim, Sangwook Kim, Jinkyu Jeong, Joonwon Lee, Seungryoul Maeng:
Demand-based coordinated scheduling for SMP VMs. 369-380 - Mohammad Dashti, Alexandra Fedorova, Justin R. Funston, Fabien Gaud, Renaud Lachaize, Baptiste Lepers, Vivien Quéma, Mark Roth:
Traffic management: a holistic approach to memory placement on NUMA systems. 381-394 - Adwait Jog, Onur Kayiran, Nachiappan Chidambaram Nachiappan, Asit K. Mishra, Mahmut T. Kandemir, Onur Mutlu, Ravishankar R. Iyer, Chita R. Das:
OWL: cooperative thread array aware scheduling techniques for improving GPGPU performance. 395-406
Compilation II
- Sreepathi Pai, Matthew J. Thazhuthaveetil, R. Govindarajan:
Improving GPGPU concurrency with elastic kernels. 407-418 - Taewook Oh, Hanjun Kim, Nick P. Johnson, Jae W. Lee, David I. August:
Practical automatic loop specialization. 419-430 - Phitchaya Mangpo Phothilimthana, Jason Ansel, Jonathan Ragan-Kelley, Saman P. Amarasinghe:
Portable performance on heterogeneous architectures. 431-444 - Aashish Mittal, Dushyant Bansal, Sorav Bansal, Varun Sethi:
Efficient virtualization on embedded power architecture® platforms. 445-458
Panel
- Mark D. Hill:
Research directions for 21st century computer systems: asplos 2013 panel. 459-460
OS
- Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David J. Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft:
Unikernels: library operating systems for the cloud. 461-472 - Asim Kadav, Matthew J. Renzelmann, Michael M. Swift:
Fine-grained fault tolerance using device checkpoints. 473-484 - Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel:
GPUfs: integrating a file system with GPUs. 485-498 - Nicholas Hunt, Tom Bergan, Luis Ceze, Steven D. Gribble:
DDOS: taming nondeterminism in distributed systems. 499-508
Architecture II
- Cheng Wang, Youfeng Wu:
TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations. 509-520 - Syed Ali Raza Jafri, Gwendolyn Voskuilen, T. N. Vijaykumar:
Wait-n-GoTM: improving HTM performance by serializing cyclic dependencies. 521-534 - Xuehai Qian, Josep Torrellas, Benjamín Sahelices, Depei Qian:
Volition: scalable and precise sequential consistency violation detection. 535-548 - 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:
Hardware support for fine-grained event-driven computation in Anton 2. 549-560
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-08 22:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
