Abstract is missing.
- The cloud will change everythingJames R. Larus. 1-2 [doi]
- Improving software diagnosability via log enhancementDing Yuan, Jing Zheng, Soyeon Park, Yuanyuan Zhou, Stefan Savage. 3-14 [doi]
- DoublePlay: parallelizing sequential logging and replayKaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Peter M. Chen, Jason Flinn, Satish Narayanasamy. 15-26 [doi]
- Hardware acceleration of transactional memory on commodity systemsJared Casper, Tayo Oguntebi, Sungpack Hong, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun. 27-38 [doi]
- Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memoryLuke Dalessandro, François Carouge, Sean White, Yossi Lev, Mark Moir, Michael L. Scott, Michael F. Spear. 39-52 [doi]
- Efficient processor support for DRFx, a memory model with exceptionsAbhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi. 53-66 [doi]
- RCDC: a relaxed consistency deterministic computerJoseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman. 67-78 [doi]
- Specifying and checking semantic atomicity for multithreaded programsJacob Burnim, George C. Necula, Koushik Sen. 79-90 [doi]
- Mnemosyne: lightweight persistent memoryHaris Volos, Andres Jaan Tack, Michael M. Swift. 91-104 [doi]
- NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memoriesJoel Coburn, Adrian M. Caulfield, Ameen Akel, Laura M. Grupp, Rajesh K. Gupta, Ranjit Jhala, Steven Swanson. 105-118 [doi]
- A declarative language approach to device configurationAdrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter. 119-132 [doi]
- Improved device driver reliability through hardware verification reuseLeonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser. 133-144 [doi]
- A case for neuromorphic ISAsAtif Hashmi, Andrew Nere, James Jamal Thomas, Mikko H. Lipasti. 145-158 [doi]
- Mementos: system support for long-running computation on RFID-scale devicesBenjamin Ransford, Jacob Sorber, Kevin Fu. 159-170 [doi]
- Pocket cloudletsEmmanouil Koukoumidis, Dimitrios Lymberopoulos, Karin Strauss, Jie Liu, Doug Burger. 171-184 [doi]
- Blink: managing server clusters on intermittent powerNavin Sharma, Sean Barker, David Irwin, Prashant J. Shenoy. 185-198 [doi]
- Dynamic knobs for responsive power-aware computingHenry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard. 199-212 [doi]
- Flikker: saving DRAM refresh-power through critical data partitioningSong Liu, Karthik Pattabiraman, Thomas Moscibroda, Benjamin G. Zorn. 213-224 [doi]
- MemScale: active low-power modes for main memoryQingyuan Deng, David Meisner, Luiz E. Ramos, Thomas F. Wenisch, Ricardo Bianchini. 225-238 [doi]
- 2ndStrike: toward manifesting hidden concurrency typestate bugsQi Gao, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin. 239-250 [doi]
- ConSeq: detecting concurrency bugs through sequential errorsWei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps. 251-264 [doi]
- S2E: a platform for in-vivo multi-path analysis of software systemsVitaly Chipounov, Volodymyr Kuznetsov, George Candea. 265-278 [doi]
- Ensuring operating system kernel integrity with OSckOwen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel. 279-290 [doi]
- Rethinking the library OS from the top downDonald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen C. Hunt. 291-304 [doi]
- Faults in linux: ten years laterNicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, Gilles Muller. 305-318 [doi]
- Looking back on the language and hardware revolutions: measured power, performance, and scalingHadi Esmaeilzadeh, Ting Cao, Yang Xi, Stephen M. Blackburn, Kathryn S. McKinley. 319-332 [doi]
- Synthesizing concurrent schedulers for irregular algorithmsDonald Nguyen, Keshav Pingali. 333-344 [doi]
- Exploring circuit timing-aware language and compilationGiang Hoang, Robby Bruce Findler, Russ Joseph. 345-356 [doi]
- Orchestration by approximation: mapping stream programs onto multicore architecturesSardar M. Farhad, Yousun Ko, Bernd Burgstaller, Bernhard Scholz. 357-368 [doi]
- On-the-fly elimination of dynamic irregularities for GPU computingEddy Z. Zhang, Yunlian Jiang, Ziyu Guo, Kai Tian, Xipeng Shen. 369-380 [doi]
- Sponge: portable stream programming on graphics enginesAmir Hormati, Mehrzad Samadi, Mark Woh, Trevor N. Mudge, Scott A. Mahlke. 381-392 [doi]
- Inter-core prefetching for multicore processors using migrating helper threadsMd Kamruzzaman, Steven Swanson, Dean M. Tullsen. 393-404 [doi]
- Improving the performance of trace-based systems by false loop filteringHiroshige Hayashizaki, Peng Wu, Hiroshi Inoue, Mauricio J. Serrano, Toshio Nakatani. 405-418 [doi]