


default search action
ASPLOS-XVI, 2011: Newport Beach, CA, USA
- Rajiv Gupta, Todd C. Mowry:

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011. ACM 2011, ISBN 978-1-4503-0266-1
Keynote
- James R. Larus:

The cloud will change everything. 1-2
Better logging support for software debugging
- Ding Yuan, Jing Zheng, Soyeon Park, Yuanyuan Zhou, Stefan Savage:

Improving software diagnosability via log enhancement. 3-14 - Kaushik Veeraraghavan, Dongyoon Lee

, Benjamin Wester, Jessica Ouyang, Peter M. Chen, Jason Flinn, Satish Narayanasamy
:
DoublePlay: parallelizing sequential logging and replay. 15-26
Understanding and improving transactional memory
- Jared Casper, Tayo Oguntebi, Sungpack Hong, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

:
Hardware acceleration of transactional memory on commodity systems. 27-38 - Luke Dalessandro, François Carouge, Sean White, Yossi Lev, Mark Moir, Michael L. Scott

, Michael F. Spear
:
Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory. 39-52
Innovations in memory ordering models for parallel machines
- Abhayendra Singh, Daniel Marino, Satish Narayanasamy

, Todd D. Millstein, Madanlal Musuvathi:
Efficient processor support for DRFx, a memory model with exceptions. 53-66 - Joseph Devietti

, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman:
RCDC: a relaxed consistency deterministic computer. 67-78 - Jacob Burnim, George C. Necula, Koushik Sen:

Specifying and checking semantic atomicity for multithreaded programs. 79-90
Programming for persistent memory
- Haris Volos, Andres Jaan Tack, Michael M. Swift:

Mnemosyne: lightweight persistent memory. 91-104 - Joel Coburn, Adrian M. Caulfield, Ameen Akel, Laura M. Grupp, Rajesh K. Gupta, Ranjit Jhala, Steven Swanson

:
NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories. 105-118
Enhancing device driver reliability
- Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter:

A declarative language approach to device configuration. 119-132 - Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser:

Improved device driver reliability through hardware verification reuse. 133-144
Novel computing platforms
- Atif Hashmi, Andrew Nere, James Jamal Thomas, Mikko H. Lipasti:

A case for neuromorphic ISAs. 145-158 - Benjamin Ransford, Jacob Sorber

, Kevin Fu:
Mementos: system support for long-running computation on RFID-scale devices. 159-170 - Emmanouil Koukoumidis, Dimitrios Lymberopoulos, Karin Strauss, Jie Liu, Doug Burger:

Pocket cloudlets. 171-184
Saving power and energy
- Navin Sharma, Sean Kenneth Barker, David E. Irwin, Prashant J. Shenoy

:
Blink: managing server clusters on intermittent power. 185-198 - Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard:

Dynamic knobs for responsive power-aware computing. 199-212 - Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Benjamin G. Zorn:

Flikker: saving DRAM refresh-power through critical data partitioning. 213-224 - Qingyuan Deng, David Meisner, Luiz E. Ramos, Thomas F. Wenisch, Ricardo Bianchini:

MemScale: active low-power modes for main memory. 225-238
Recognizing software and concurrency bugs
- Qi Gao, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin:

2ndStrike: toward manifesting hidden concurrency typestate bugs. 239-250 - Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu

, Thomas W. Reps:
ConSeq: detecting concurrency bugs through sequential errors. 251-264 - Vitaly Chipounov, Volodymyr Kuznetsov, George Candea:

S2E: a platform for in-vivo multi-path analysis of software systems. 265-278
Rethinking and protecting operating systems
- Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel

:
Ensuring operating system kernel integrity with OSck. 279-290 - Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen C. Hunt:

Rethinking the library OS from the top down. 291-304
Learning from the past: drawing conclusions from extensive measurement studies
- Nicolas Palix

, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller:
Faults in linux: ten years later. 305-318 - Hadi Esmaeilzadeh, Ting Cao, Xi Yang, Stephen M. Blackburn

, Kathryn S. McKinley:
Looking back on the language and hardware revolutions: measured power, performance, and scaling. 319-332
New compiler optimizations
- Donald Nguyen, Keshav Pingali:

Synthesizing concurrent schedulers for irregular algorithms. 333-344 - Giang Hoang, Robby Bruce Findler, Russ Joseph:

Exploring circuit timing-aware language and compilation. 345-356 - Sardar M. Farhad, Yousun Ko, Bernd Burgstaller, Bernhard Scholz:

Orchestration by approximation: mapping stream programs onto multicore architectures. 357-368
Exploiting parallelism on GPUs
- Eddy Z. Zhang, Yunlian Jiang, Ziyu Guo, Kai Tian, Xipeng Shen

:
On-the-fly elimination of dynamic irregularities for GPU computing. 369-380 - Amir Hormati, Mehrzad Samadi, Mark Woh, Trevor N. Mudge, Scott A. Mahlke:

Sponge: portable stream programming on graphics engines. 381-392
Novel performance improvements
- Md. Kamruzzaman, Steven Swanson

, Dean M. Tullsen:
Inter-core prefetching for multicore processors using migrating helper threads. 393-404 - Hiroshige Hayashizaki, Peng Wu, Hiroshi Inoue, Mauricio J. Serrano, Toshio Nakatani:

Improving the performance of trace-based systems by false loop filtering. 405-418

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














