ASPLOS-XVI, 2011: Newport Beach, CA, USA

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 L. 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
  

Last update Tue May 21 16:15:27 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page