default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDASPLOS-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.
last updated on 2024-11-11 21:35 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:
